Easy dynamic dispatch using GLIBC Hardware Capabilities
kvr.at·1d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
Opossum Attack: Application Layer Desynchronization Using Opportunistic TLS
opossum-attack.com·5d·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
Legalise AC
samdumitriu.com·2h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
SCP-055 is an "antimeme" – it erases itself from memory when observed
scp-wiki.wikidot.com·14h·
Discuss: Hacker News
💾Retro Computing
Perfetto: Debugging scheduling blockages with tracing and callstack sampling
perfetto.dev·2d·
Discuss: Hacker News
👁️System Observability
The Bytebot Core – From Linux Container to Agent Control Surface
bytebot.ai·1d·
Discuss: Hacker News
💾Retro Computing
LLM Inference Handbook
bentoml.com·2d·
Discuss: Hacker News
🛡️seL4
Plurality Philosophy in an Oversized Nutshell
vitalik.eth.limo·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Reinforcement Learning with Action Chunking
arxiv.org·2d
🎮Verification Games
Solving the Constrained Random Disambiguation Path Problem via Lagrangian Relaxation and Graph Reduction
arxiv.org·3d
💻CS
The Next Wave
dumindu.github.io·3d·
Discuss: Hacker News, r/programming
🤖Program Synthesis
"high level" languages are easier to optimize
jyn.dev·1d·
Discuss: Lobsters, Hacker News, Hacker News
🔤DSLs
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org·2d
🔍Formal Verification
College question
reddit.com·6d·
Discuss: r/homelab
🏠HomeLab
Who wants to play with my love hole?
github.com·20h·
Discuss: Hacker News
🐫OCaml
A Formal Refutation of the Blockchain Trilemma
arxiv.org·4d
🌐NetworkProtocols
Perspective Chapter: Insights from Kalman Filtering with Correlated Noises Recursive Least-Square Algorithm for State and Parameter Estimation
arxiv.org·2d
👁️System Observability
AGI Is Mathematically Impossible (3): Kolmogorov Complexity
news.ycombinator.com·14h·
Discuss: Hacker News
✓Automated Theorem Proving
Why can't anything in open source work following the instructions.
reddit.com·2d·
Discuss: r/homelab
📦Unikernel Systems
Robust Bandwidth Estimation for Real-Time Communication with Offline Reinforcement Learning
arxiv.org·4d
👁️System Observability