Frozen Lobster - Preserved goodness

rohanverma.net lobste.rs search

archives

posts

Daily lobste.rs News for 2022-09-22

22 Sep 2022 - 1 minute read

Introducing LiteFS (comments)
Extracting a Verified Interpreter from Isabelle/HOL (comments)
Entitlement in Open Source (comments)
Introducing the Framework Laptop Chromebook Edition (comments)
Solving the Dog-Bunny Puzzle with Program Verification Technology (comments)
Betterbird: a fine-tuned version of Mozilla Thunderbird (comments)
Cosmopolitan v2.1 (comments)
Thelio 2022 Redesign Review (comments)
Can I Use a System Call? (comments)
The Val Programming Language (comments)

© 2023 - Rohan Verma.
Daily top stories from lobste.rs
This page was generated using the Bodhi theme for Hugo.