Protocol for data validation
Followers: 1,301
A large cross-section of developers are ready to jump ship as soon as any other manufacturer of laptops can get the… https://t.co/TiE86jvZyn
This was a really great talk on how to find errors in spreadsheets. In programming languages, we mostly use static… https://t.co/YTPofyUpR8
RT @avichal: 1/ The biggest mistake of the Internet era was believing platforms could be value-neutral. As we learned, software without eth…
RT @dtran320: .@rickyyean, @SushioGoto & I are starting a book club where we'll write, reflect, & try to synthesize into a single group sum…
"anyone who was alive 2,000-3,000 years ago is either the ancestor of everyone who’s now alive, or no one at all."… https://t.co/YitEgPexHm
RT @czaplic: New @elmlang release today! ✨ 0.19.1 ✨ Faster builds than ever, but most excited about the new syntax errors! Hoping they wi…
You can watch, or start playing if you have a twitch account: https://t.co/k6XfE0S3MR Are there other games that a… https://t.co/Th6bj79Rp5
This is interesting. Twitch is normally a platform for watching games. While people experimented with Twitch plays… https://t.co/B2mlfc9EFT
This guy is using twitch as the distribution for his game. You play the game by typing in the chat, doing "office w… https://t.co/2HjR1OFpri
Add constraints to get a functional DSL to handle essential business logic. And all the accidental complexity is ha… https://t.co/pXdl5kFLJr
Specifically, it might allow for out-of-tar-pit architectures described in the paper of the same name.… https://t.co/6O7ozyyUag
I think this approach of adding constraints to a language to fit a domain is interesting and might bear fruit. So i… https://t.co/EkbxzCHQKG
Lisp is Turing Complete. Most query languages are not. However Eve is based on Datalog (non-Turing Complete), claim… https://t.co/c0cfs1eX7D
SQL is like this. When relational databases first came out people didn't think it would be fast enough. After decad… https://t.co/WkbqRwhEqK
he also said: "...it will be possible to write efficient implementations based on Bel, by adding restrictions. If y… https://t.co/U869hXDz8y
@pg buried the lede here: "What happens if... you keep using the axiomatic approach [of Lisp] till you have somethi… https://t.co/ojO46S56To
Underlying Lisp are axioms about pairs. Underlying SQL are axioms about sets. I think there's an equivalence here,… https://t.co/Qm0osFz5My
RT @bramcohen: Testing your phone: 🇹🇼🇹🇼🇹🇼
RT @random_walker: My university just announced that it’s dumping Blackboard, and there was much rejoicing. Why is Blackboard universally r…
I've completed a game and earned 126 gold in @miraclemerchant. Here's my best potion! https://t.co/oBOFmRUeEL https://t.co/xcGEHfqMsF
Isn't the concept of interrelationship why Tim Berners-Lee invented HTML to conceptualize hypertext? I guess if An… https://t.co/fRpPzQZfZa
