Functional Data Structures and Algorithms: a Proof Assistant Approach
#HackerNews #FunctionalDataStructures #Algorithms #ProofAssistant #Programming #HN
An Italian Company Builds the First Known Propellantless Space-Propulsion System
#HackerNews #ItalianInnovation #SpacePropulsion #Propellantless #Technology #News #HN
"Why don't you use dependent types?"
https://lawrencecpaulson.github.io//2025/11/02/Why-not-dependent.html
#HackerNews #dependenttypes #programming #philosophy #typeTheory #HN #discussion #HackerNews