Show HN: Vekos – a Rust OS with Built-In Cryptographic Verification(github.com)69 points by jgiraldo29 1 year ago | 14 comments
A desktop environment without graphics (tmux-like)(github.com)140 points by mustaphah 1 year ago | 45 comments
Vrs: Personal Software Runtime inspired by Emacs, Plan 9, Erlang, Hypermedia(github.com)109 points by surprisetalk 1 year ago | 7 comments
Show HN: Coderive – Iterating through 1 Quintillion Inside a Loop in just 50ms(github.com)6 points by DanexCodr 10 months ago | 4 comments
Show HN: Bitcoin Smart Contract SDK, So Easy to Use(github.com)3 points by hyunhum 2 years ago | 0 comments
Show HN: Txt2plotter – True centerline vectors from Flux.2 for pen plotters(github.com)29 points by tsanummy 9 months ago | 7 comments
