Hacker Newsnew | past | comments | ask | show | jobs | submit | fromlogin
SpecForge – A Platform for Authoring Formal Specifications (imiron.io)
50 points by agnishom 4 hours ago | past | 3 comments
Monitoring Events That Carry Data (imiron.io)
2 points by agnishom 5 months ago | past
Monitoring Data-Dependent Temporal Patterns (imiron.io)
2 points by todsacerdoti 5 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: