JavaScript is the only language that takes Curry-Howard correspondence and logical implication seriously.
JavaScript is amazing!
- JavaScript is the only language that takes Curry-Howard correspondence and logical implication seriously.Oh JavaScript... This is why we don't get along.
- He couldn’t even develop & build virtual legsIt's been a massive day for AI with announcements from Meta, Figure, cancer-detecting AI, and more. The 7 most important developments that happened: 1. Zuck reveals plans to develop and build open-source AGI.
- Uiua (wee-wuh 🔉) is a stack-oriented array programming language with a focus on simplicity, beauty, and tacit code. uiua.org
- This would have been such a good movie. So much better than Yesterday.Replying to @anon_opinI like the theory he's like that terrible Yesterday movie where only one guy knows the songs of the Beatles and launches a career singing them. He's that guy but in our universe and we're missing out on one of the most awesome bands of all time.
