Hacker Newsnew | past | comments | ask | show | jobs | submit | fromlogin
SpecForge – A Platform for Authoring Formal Specifications (imiron.io)
81 points by agnishom 52 days ago | past | 12 comments
Monitoring Events That Carry Data (imiron.io)
2 points by agnishom 6 months ago | past
Monitoring Data-Dependent Temporal Patterns (imiron.io)
2 points by todsacerdoti 7 months ago | past
Solving LinkedIn Queens Using Haskell (imiron.io)
101 points by agnishom on June 24, 2025 | past | 46 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: