🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

The US fertility rate reached an all-time low in 2024, CDC data shows
cdc.gov·1d·
Discuss: Hacker News
🐫OCaml
What Does Consulting Do?
nber.org·9h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Comparison of Tribblix and Other Illumos Distributions
tribblix.org·3d·
Discuss: Hacker News
📦Unikernel Systems
Optimi-Zi(n)g Sudoku-Solving
log.pfad.fr·3d·
Discuss: Lobsters, Hacker News
🎮Verification Games
I Made Doom Run Inside a QR Code and Wrote a Custom Compression Algorithm for It
old.reddit.com·2d·
Discuss: r/computerscience
💾Retro Computing
What Is a Terminal?
wezterm.org·4d·
Discuss: Hacker News
💾Retro Computing
Ask HN: Building an Overengineered Chicken Coop with Hybrid Energy Harvesting
news.ycombinator.com·1d·
Discuss: Hacker News
🏠HomeLab
Migrating to AWS in production with zero downtime
loops.so·6d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Why Reality Has a Well-Known Math Bias
linch.substack.com·1d·
Discuss: Substack
➡️Category Theory
Novel Uses of Core Java for Low-Latency and High-Performance Systems
blog.vanillajava.blog·6d·
Discuss: r/programming
👁️System Observability
Europe's Self Inflicted Cloud Crisis
berthub.eu·4d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
For a human, AI is just a part of being. For a model, a human is all of being
habr.com·2d·
Discuss: Hacker News
🎮Verification Games
Benchmarks for AI in Software Engineering
cacm.acm.org·4d·
Discuss: Hacker News
👁️System Observability
Kolmogorov Arnold Network Autoencoder in Medicine
arxiv.org·36m
💻CS
Enhancing Speech Emotion Recognition Leveraging Aligning Timestamps of ASR Transcripts and Speaker Diarization
arxiv.org·1d
🐫OCaml
Contraction, Criticality, and Capacity: A Dynamical-Systems Perspective on Echo-State Networks
arxiv.org·4d
🐫OCaml
CQE under Epistemic Dependencies: Algorithms and Experiments (extended version)
arxiv.org·5d
✓Automated Theorem Proving
Predicting Cognition from fMRI:A Comparative Study of Graph, Transformer, and Kernel Models Across Task and Rest Conditions
arxiv.org·36m
🐫OCaml
SIFOTL: A Principled, Statistically-Informed Fidelity-Optimization Method for Tabular Learning
arxiv.org·4d
🔠Type-Level Programming
AlphaGo Moment for Model Architecture Discovery
arxiv.org·4d·
Discuss: Hacker News
🐫OCaml