think you replied on the wrong post friend.
Which is funny, because my mind filled in the word "social media" and I thought it was a fair point, until I got to the word "Cable".
Readit Newsfrogulis commented on Org-social is a decentralized social network that runs on Org Mode github.com/tanrax/org-soc... · Posted by u/tanrax
frogulis commented on The new literalism plaguing today’s movies newyorker.com/culture/cri... · Posted by u/frogulis
What’s your take on Hickey’s talk titled “Maybe Not” which fundamentally criticizes static types? Is there a middle ground where some form of static typing makes sense in a Clojure-esque world?
Been a while since I've watched/read it, but I remember the ideas in Maybe Not being quite interesting.
To me, the really important idea wasn't a criticism of static types in general.
Instead it was the idea that static typing in most (all?) mainstream implementations conflates concepts that should be separate, specifically the shape of the information that we have (e.g. what fields of what types), and whether a particular bit of information is available and required (e.g. nullability).
He contends that the former belongs in our usual "type definition", whereas the latter relates instead to a given context. For example, my PassportForm type always has a date-of-birth field in its _shape_, but whether it's statically required/present to exist depends on whether we're at a HTTP API boundary, an internal domain function boundary, writing into a database.
It sounded like that kind of "nullability masking" was intended as a feature of Spec, but I don't get the impression it was ever implemented.
frogulis commented on Scientists use bacteria to turn plastic waste into paracetamol theguardian.com/science/2... · Posted by u/bdev12345
"Fruit flies like a banana" is arguably the quintessential example of ambiguity in English grammar. It shows that the grammatical structure of a sentence (which words are nouns, which are verbs, etc.) cannot be reliably recovered even if we know the meaning and possible grammatical categories of every word.
Both ways to parse it are grammatically sound:
(Fruit) (flies) (like a banana)
(Fruit flies) (like) (a banana)
To decide which meaning was likely intended, the listener needs to make a value judgement about the speaker, based on detailed knowledge of the everyday world.
Even spoken aloud, there's a natural-sounding stress pattern that is ambiguous. Love it.
frogulis commented on Why Property Testing Finds Bugs Unit Testing Does Not (2021) buttondown.com/hillelwayn... · Posted by u/Tomte
Here's a great talk by John Hughes, one of the authors of QuickCheck, with real-life examples:
Thanks, that's gotta be one of the best talks I've ever watched. A passionate speaker, talking about fascinating, useful tech, giving specific real world examples of utility, AND showing how to actually apply it for interesting "dirty" situations.
frogulis commented on Why Property Testing Finds Bugs Unit Testing Does Not (2021) buttondown.com/hillelwayn... · Posted by u/Tomte
Aw man, I was nodding along with the "most examples suck" section and then... it ended :(
> As Mark Twain said, “A lie can travel around the world and back again while the truth is lacing up its boots.” Actually he probably didn’t say that—but everyone keeps saying he did, illustrating the point perfectly.
Well played.
In a classic case of the Baader-Meinhof phenomenon, I recently read "The Truth" by Terry Pratchett, which repeatedly makes reference to that phrase, and I am now noticing it everywhere, whereas previously I can't recall being aware of it at all.
Nothing special about the 20% proportion, just that it's proportional to a number which results in perverse incentives.