Happy New Year HN

https://tenor.com/view/gg-gif-12398339126318398543

#HackerNews #HappyNewYear #HN #TechCommunity #NewYear2024 #Celebration #HackerNews #Innovation

Auto-grading decade-old Hacker News discussions with hindsight

https://karpathy.bearblog.dev/auto-grade-hn/

#HackerNews #Auto-grading #HN #discussions #hindsight #grading #AI #analysis

Turtletoy

https://turtletoy.net/

#HackerNews #Turtletoy #Turtle #Graphics #Coding #Creativity #Programming #HN

Functional Data Structures and Algorithms: a Proof Assistant Approach

https://fdsa-book.net/

#HackerNews #FunctionalDataStructures #Algorithms #ProofAssistant #Programming #HN

An Italian Company Builds the First Known Propellantless Space-Propulsion System

https://www.satcom.digital/news/genergo-an-italian-company-builds-the-worlds-first-known-propellantless-space-propulsion-system-flight-tested-and-validated-on-orbit

#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