GoKawiil - Tech News

Topics: Today This Week This Month This Year

SeL4 security proofs now complete on AArch64 (news.ycombinator.com)

2026-08-24 | get Raspberry Pi 4 Model B 4GB → | tags: sel4, proofcraft, arm64

A QNX-inspired operating system with selectable kernels (news.ycombinator.com)

2026-06-28 | get QNX Neutrino RTOS → | tags: qnx, qsoe, sel4

QSOE: QNX-inspired OS with dual-kernel architecture (news.ycombinator.com)

2026-06-22 | get QNX Neutrino RTOS → | tags: qnx, sel4, riscv

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

Today's top topics: ai safety openai ai agents anthropic dario amodei artificial intelligence android england succession crisis software engineering