Re:Löb and möb: strange loops in Haskell
by quchen on Monday January 30, 2023 @01:39PM
(#34584385)
FWIW I program my CNC with Haskell, how's that for academic
[ Parent
| on HN ]
Re:Löb and möb: strange loops in Haskell
by reikonomusha on Monday January 30, 2023 @02:23PM
(#34585048)
A Haskell programmer and a Python programmer both programmed a CNC machine, and decided to blog about it. One of them talked about an object they milled and the modicum of glue needed to speak G-code, and the other described an elegant algebraic structure using rank-2 polymorphism to express milling paths on any arbitrary manifold embedded in R^3.
Which programmer was more likely to write which blog post?
This little joke is meant to paint a picture for how many programmers see (what they believe is usual) Haskell discourse—like that of the article—perhaps including the commenter you're responding to.
Re:Löb and möb: strange loops in Haskell
by 1letterunixname on Monday January 30, 2023 @10:34PM
(#34590543)
Unfortunately, it's nothing new. America's mainstream historical ethos derives from a deep anti-intellectual sentiment of an expat merchant class who frowned upon academia and the Old World. The Puritans at least left a positive legacy in Boston, despite generally shunning ideas and people who dared to think differently. The American frontier acted as a risk tolerance filter of peoples from around the world to emigrate. There are systemic problems of economic and policing inequality, and under-socialism in the US.
How does America receive those from distant lands now?
What future does America have without prestigious, selective academic institutions except a brain drain exodus?