🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

How do I get better at programming
google.com·10h·
Discuss: r/programming
💻CS
Securely Expose Local Docker Services Using Cloudflare Tunnel
blog.prateekjain.dev·18h·
Discuss: r/devops, r/programming, r/selfhosted
⎈Kubernetes
Don’t compare programming to the real world
expressionstatement.com·3d·
Discuss: r/programming
👁️System Observability
Google Gemini flaw hijacks email summaries for phishing
bleepingcomputer.com·16h·
Discuss: Hacker News
✓Automated Theorem Proving
You're Not Refactoring – You're Just Moving Code Around
thecynical.dev·20h·
Discuss: Hacker News
🔬Static Analysis
Show HN: Bedrock – An 8-bit computing system for running programs anywhere
benbridle.com·3d·
Discuss: Hacker News
⚙️PL Implementation
IndexTTS2: Emotional duration-controlled autoregressive zero-shot text-to-speech
index-tts.github.io·8h·
Discuss: Hacker News
🐫Embedded OCaml
A model for IV&V that's useful
waldo.jaquith.org·3d·
Discuss: Hacker News
🔄Reproducible Builds
The human harbor: Navigating identity and meaning in the AI age
venturebeat.com·12h·
Discuss: Hacker News
🤖Program Synthesis
Beyond CVE: Integrating Multiple Sources for Complete Vulnerability Intelligence
guptadeepak.com·3d·
Discuss: Hacker News
👁️System Observability
The Complete MCP Experience: Full Specification Support in VS Code
code.visualstudio.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
The Wild West of Agentic AI – An Attack Surface CISOs Can't Afford to Ignore
securityweek.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·3d·
Discuss: Substack
🐫Embedded OCaml
The Non-Linear Representation Dilemma: Is Causal Abstraction Enough for Mechanistic Interpretability?
arxiv.org·6h
➡️Category Theory
How to Interview AI Engineers
blog.promptlayer.com·2d·
Discuss: Hacker News
🤖Program Synthesis
Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural Leaks
arxiv.org·5d
⚙️Operating System Design
Swapping space with a friend, for proxmox backups. Using IPSec tunnels. Time for a router upgrade.
i.redd.it·1d·
Discuss: r/homelab
📡Network Protocol Design
The Right Approach to Authorization in RAG
osohq.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
RadiomicsRetrieval: A Customizable Framework for Medical Image Retrieval Using Radiomics Features
arxiv.org·6h
🧱Immutable Infrastructure
The Color Doesn't Matter
tristanpemble.com·9h·
Discuss: Hacker News
🏹Effect Systems