🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Show HN: Santa Paravia En Fiumaccio' in WebAssembly
g5t.de·2d·
Discuss: Hacker News
🇵🇹Portugal
A Friendly Introduction to SVG
joshwcomeau.com·7h·
Discuss: Hacker News, r/webdev
💾Retro Computing
Why use Enum instead of boolean for method parameters?
javarevisited.substack.com·4d·
Discuss: r/programming
🔍Formal Verification
Hack, Hacky, Hacker
aneeshsathe.com·2d·
Discuss: Hacker News
🔬Unikernels
Feedback is broken. I'm building a solution
feedplain.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Ruby 3.4.5 Released
ruby-lang.org·2d·
Discuss: Hacker News
❄️Nixified Development
How to generate a TypeScript SDK for your API spec
buildwithfern.com·5d·
Discuss: Hacker News
🌐NetworkProtocols
FAQ: What's a KevlinHenney?
kevlinhenney.medium.com·2d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
Why I Talk to Myself
elijahpotter.dev·20h·
Discuss: Hacker News
🔄Reproducible Builds
Beast X for Bayesian phylogenetic, phylogeographic and phylodynamic inference
nature.com·22h·
Discuss: Hacker News
🔠Type-Level Programming
Sandcastles Made of Bits
jsfour.substack.com·5d·
Discuss: Substack
🧱Immutable Infrastructure
TransEvalnia: Reasoning-based Evaluation and Ranking of Translations
arxiv.org·3d
🐫OCaml
Cheap all NVMe Proxmox machine for hosting routing, NAS and other services
reddit.com·23h·
Discuss: r/homelab
💾Retro Computing
Beyond Single Models: Enhancing LLM Detection of Ambiguity in Requests through Debate
arxiv.org·4d
✓Automated Theorem Proving
Distant Writing: Literary Production in the Age of Artificial Intelligence
papers.ssrn.com·4d·
Discuss: Hacker News
🔤DSLs
A multi-strategy improved snake optimizer for three-dimensional UAV path planning and engineering problems
arxiv.org·16h
🤖Program Synthesis
Microsoft alerts businesses, governments to server software attack
cnbc.com·8h·
Discuss: Hacker News
🌐NetworkProtocols
Show HN: New Audiobook Generator for Nvidia Using Chatterbox TTS
github.com·1d·
Discuss: Hacker News
🔬Unikernels
SkySense V2: A Unified Foundation Model for Multi-modal Remote Sensing
arxiv.org·16h
🐫OCaml
We built AI dev agent that turns Jira tickets into ready PRs – no human needed
deepsense.ai·4d·
Discuss: Hacker News
🤖Program Synthesis