Hacker News new | past | comments | ask | show | jobs | submit | from login

Identifying Leap Years (2020) (davecturner.github.io) 28 points by g0xA52A2A 10 months ago | past | 6 comments TLA+ in Isabelle/HOL (davecturner.github.io) 79 points by kalaracey on Dec 25, 2023 | past | 2 comments Working with timezones (davecturner.github.io) 4 points by BerislavLopac on Aug 15, 2018 | past Working with timezones (davecturner.github.io) 1 point by ScottWRobinson on Aug 12, 2018 | past

Consider applying for YC's Summer 2025 batch! Applications are open till May 13 Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: