HackerTrans
TopNewTrendsCommentsPastAskShowJobs

walterburns

no profile record

comments

walterburns
·قبل شهرين·discuss
My first thought was, "language". The Broca's area is on the left side of the brain, which is the center of control for logic, language and the right hand. It makes sense to me that an evolutionary feedback loop would develop between the hands and complex language development. So it's not odd that the average human brain would develop -somewhat better control over the right hand than the left.
walterburns
·قبل 4 أشهر·discuss
I don't understand why the author bought an iPhone. That's the deal - you do things Apple's way in exchange for not having to figure out how you'll do them. For most people this is a massive convenience, and that's why they pay so much for Apple products (and why I don't).
walterburns
·قبل 7 أشهر·discuss
On Writing Well, by William Zinsser. Hilarious, enlightening, affirming of everyone's need and ability to write well.
walterburns
·قبل 8 أشهر·discuss
"But we'd like to give a type to this function. In most languages (Haskell, Typescript, C++, Rust, C#, etc.) there is no way to do that.[2] "

Can't you do this with a GADT? With a GADT, the type of the output can be specified by which branch of the GADT the input matches. Seems quite a similar idea.