Psychopaths Show Disturbing Brain Gaps
rudebaguette.com·1d·
Discuss: Hacker News
🏹Effect Systems
Rack vertical rails
lanberg.eu·3d·
Discuss: r/homelab
🏠HomeLab
I was wrong about robots.txt
evgeniipendragon.com·3d·
Discuss: Lobsters, Hacker News
🛡️seL4
Zig's new Writer
openmymind.net·3d·
Discuss: Lobsters, Hacker News, r/programming
🔤DSLs
Async I/O on Linux and durability
blog.canoozie.net·2d·
Discuss: Lobsters, Hacker News
⚙️Operating System Design
I Spy: Escalating to Entra ID's Global Admin with a First-Party App
securitylabs.datadoghq.com·7h·
Discuss: Hacker News
🛡️seL4
Short Takes #2
secondthoughts.ai·2d·
Discuss: Hacker News
🤖Program Synthesis
Situated Software (2004)
web.archive.org·4d·
Discuss: Hacker News
🧱Immutable Infrastructure
Negativity drives online news consumption – Nature Human Behaviour
nature.com·2d·
Discuss: Hacker News
🔠Type-Level Programming
Show HN: Toy LLM Daydreaming
github.com·2d·
Discuss: Hacker News
🔬Unikernels
Ask HN: How to Argue Against AI Enthusiasts?
news.ycombinator.com·2d·
Discuss: Hacker News
🎮Verification Games
Show HN: I built an SDK for building an AI RAG app with Supabase and pgvector
github.com·4d·
Discuss: Hacker News
🔬Unikernels
Knowledge Conceptualization Impacts RAG Efficacy
arxiv.org·5d
🏹Effect Systems
GALDS: A Graph-Autoencoder-based Latent Dynamics Surrogate model to predict neurite material transport
arxiv.org·4d
🔠Type-Level Programming
Anthropomimetic Uncertainty: What Verbalized Uncertainty in Language Models is Missing
arxiv.org·4d
✓Automated Theorem Proving
On Information Geometry and Iterative Optimization in Model Compression: Operator Factorization
arxiv.org·5d
🔠Type-Level Programming
Polygonal Obstacle Avoidance Combining Model Predictive Control and Fuzzy Logic
arxiv.org·5d
🤖Program Synthesis
Boffins detail new algorithms to losslessly boost AI perf by up to 2.8x
theregister.com·3d·
Discuss: Hacker News
🐫OCaml
Show HN: Tanu – High-performance WebAPI testing framework for Rust
github.com·4d·
Discuss: Hacker News
🧪Property-Based Testing
Need graphics card ideas for old Supermicro X7DWE
reddit.com·1d·
Discuss: r/homelab
💾Retro Computing