🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

China breakthrough in indium selenide (InSe) wafers with perfect stoichiometry
news.cgtn.com·9h·
Discuss: Hacker News
💾Retro Computing
API Security in IAM: Architecture, Best Practices, and Threat Mitigation
guptadeepak.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
How to Make a RAG Application With LangChain4j
foojay.io·3d·
Discuss: r/programming
🐫OCaml
Paylias: A payment network alternative to Visa and Mastercard
paylias.xyz·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Undone Computer Science
undonecs.org·3d·
Discuss: Hacker News, r/compsci
🔬Unikernels
Build your CV on Subreply as a LinkedIn alternative
subreply.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
AtCoder Finals Problem Statement
atcoder.jp·4d·
Discuss: Hacker News
💻CS
Own the Browser
browserbase.com·2d·
Discuss: Hacker News
🔬Unikernels
A platform that discovers the latest and most innovative SaaS products
saashunt.best·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The Forced Use of AI is Getting Out of Hand
marketsaintefficient.substack.com·18h·
Discuss: Substack, r/programming
✓Automated Theorem Proving
Shaping AI's Mind from the Shadows: My Journey with ArXiv and Alpay Algebra
lightcapai.medium.com·3d·
Discuss: Hacker News
🎮Verification Games
Assistants Aren't the Future of AI
blog.sshh.io·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Speeding up zsh and Oh-My-Zsh (2018)
blog.jonlu.ca·7h·
Discuss: Hacker News
💾Retro Computing
Writing the Perfect Question (2010)
codeblog.jonskeet.uk·3d·
Discuss: Hacker News
🔬Static Analysis
Notes on Image Generation with GPT-4.1
taoofmac.com·14h·
Discuss: Hacker News
💾Retro Computing
HPE Smart Array P420 on desktop
reddit.com·4h·
Discuss: r/homelab
🏠HomeLab
Show HN: From Zod schema to agent-ready MCP server – minimal, typed, deployable
github.com·5d·
Discuss: Hacker News
🌐NetworkProtocols
Kolmogorov Arnold Networks (KANs) for Imbalanced Data -- An Empirical Perspective
arxiv.org·6h
🏹Effect Systems
Popular NPM linter packages hijacked via phishing to drop malware
bleepingcomputer.com·1d·
Discuss: Hacker News
🔬Unikernels
PLEX: Perturbation-free Local Explanations for LLM-Based Text Classification
arxiv.org·5d
✓Automated Theorem Proving