agnishom

Karma: 1,383
Created: 2 years ago

Recent Submissions

1. ▲ SpecForge – A Platform for Authoring Formal Specifications (docs.imiron.io) 80 points · 4 days ago · 12 comments
2. ▲ Hannah Fry Wins the Leelavati Prize in 2026 for Mathematics Outreach (maths.cam.ac.uk) 604 points · 8 days ago · 110 comments
3. ▲ Ergo: Long Form Philosophy Lectures (ergo.org) 29 points · 24 days ago · 8 comments

All submissions on HN · View profile on HN