Formal specifications and static checking of interfaces in Julia
2023-09-22
Show HN: Charset Normalizer library – port from Python to Rust
2023-09-22
Ask HN: Should we be saving our favorite information locally?
2023-09-22
Ask HN: Can you “teach yourself” Computer Science?
2023-09-22
Electrons from Earth may be forming water on the moon
2023-09-22
Composable static typing, proofs and formal verification for Julia
2023-09-22
Show HN: Transform-x - Convert between JSON, SQLite and Excel formats.
2023-09-21
TextBundle Format – Zipped plain text file and its assets
2023-09-21
Ask HN: Resignation after offer letter or contract
2023-09-21
Unum, a Better Number Format
2023-09-21