Ask HN: I've been writing a weekly newsletter for 164 weeks––what can I improve?
2020-08-21
QSN: A Familiar String Interchange Format
2020-08-21
Smith's Introduction to Formal Logic (philosophy textbook) now free to download
2020-08-21
An Introduction to Formal Verification for Software Systems
2020-08-21
An Introduction to Formal Verification for Software Systems
2020-08-20
FBI NIBRS crime data now available in Dolt format
2020-08-19
RFC 8805 – A Format for Self-Published IP Geolocation Feeds
2020-08-10
Launch HN: Rally.Video (YC S20) – Dynamic video platform for social groups
2020-08-10
Show HN: I made a route planner app (update from 2018)
2020-08-09
A marketplace to learn digital skills interactively (feedback needed)
2020-08-08