🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Israeli unit tasked with smearing Gaza journalists as Hamas fighters – report
theguardian.com·13h·
Discuss: Hacker News, r/news
⚙️PL Implementation
80% of Norwegian Public Sector to Use Chainsaws by End of Year, Government Says
eaj.no·1d·
Discuss: Hacker News
🐫Embedded OCaml
The quiet work of changing your mind
mfelix.org·2d·
Discuss: Hacker News
➡️Category Theory
Jerome Powell and the Authoritarian Sirens of Odysseus
forkingpaths.co·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
2000s chatbot SmarterChild explains everything about our relationship with A.I
slate.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Rust CUDA August 2025 project update
rust-gpu.github.io·4d·
Discuss: Hacker News
⚙️PL Implementation
Top custom JavaScript functions of all time (2005)
web.archive.org·4d·
Discuss: Hacker News
🏹Effect Systems
Code with AI the Hard Way
kamens.com·5d·
Discuss: Hacker News
✓Automated Theorem Proving
Designing With AI, Not Around It: Practical Advanced Techniques For Product Design Use Cases
smashingmagazine.com·4d·
Discuss: Hacker News
🤖Program Synthesis
Latest Windows patches cause false alarm error to appear in event viewer
theregister.com·2d·
Discuss: Hacker News
❄️Nixified Development
The Productivity Paradox: Why AI Tools Haven't Decreased Developer Performance
cydia.space·5d·
Discuss: r/programming
👁️System Observability
Designing for humans: Why most enterprise adoptions of AI fail
markgreville.ie·4d·
Discuss: Hacker News, Hacker News
🤖Program Synthesis
Ngrok – Your Localhost’s Passport to the Internet
reddit.com·5d·
Discuss: r/programming
🌐NetworkProtocols
Reverse Engineering Life: A teardown of the DNA source code of a whole bacterium (WHY2025)
cdn.media.ccc.de·4d
➡️Category Theory
SharpXR: Structure-Aware Denoising for Pediatric Chest X-Rays
arxiv.org·3d
🔠Type-Level Programming
Topology Generation of UAV Covert Communication Networks: A Graph Diffusion Approach with Incentive Mechanism
arxiv.org·4d
📡Network Protocol Design
Secure Transmission for Cell-Free Symbiotic Radio Communications with Movable Antenna: Continuous and Discrete Positioning Designs
arxiv.org·4d
📡Network Protocol Design
Planning a homelab and network upgrade
i.redd.it·6d·
Discuss: r/homelab
🏠HomeLab
CISO: Species Distribution Modeling Conditioned on Incomplete Species Observations
arxiv.org·4d
💻CS
DKG-LLM : A Framework for Medical Diagnosis and Personalized Treatment Recommendations via Dynamic Knowledge Graph and Large Language Model Integration
arxiv.org·5d
➡️Category Theory