GoKawiil - Tech News

Topics: Today This Week This Month This Year

Formal methods and the future of programming (news.ycombinator.com)

2026-06-14 | get Formal Methods for Software → | tags: formal methods, jane street, sel4

Formal Methods and the Future of Programming (news.ycombinator.com)

2026-06-14 | get Formal Methods Software Toolkit → | tags: formal methods, jane street, sel4

Show HN: Anos – a hand-written ~100KiB microkernel for x86-64 and RISC-V (news.ycombinator.com)

2026-04-04 | get Minimalist Microkernel Kit → | tags: microkernel, anos, risc-v

Xous Operating System (news.ycombinator.com)

2026-01-14 | get Smartwatch → | tags: agreement, communications, embedded

Today's top topics: blade runner ridley scott neo-noir fan art writing authors fourth wing nvidia vernor vinge