HACL*, a formally verified cryptographic library written in F*
2019-04-04
Could Consciousness Come Down to the Way Things Vibrate?
2019-04-03
Themis crypto library adds Rust support in 0.11
2019-04-03
Why existing profanity libraries are bad and how I built a better one
2019-04-03
A JavaScript library for paginating data from multiple sources
2019-04-03
Htmlgo – A library for writing type-safe HTML in Go
2019-04-03
Show HN: NES emulation library in a single C header
2019-04-03
EverCrypt, a cryptographic library that is provably secure against known attacks
2019-04-03
Microsoft announces will shut down eBook program, confiscate customer libraries
2019-04-02
MesaLink 1.0: a memory safe TLS library in production with 10M monthly users
2019-04-02