I Outline Everything
literallythevoid.com·1d·
Discuss: Hacker News
🔬Static Analysis
2025 Essay Competition: Focus on Quantum Biology
qspace.fqxi.org·21h·
Discuss: Hacker News
✓Automated Theorem Proving
ACP Agent Communication Protocol Course with Deeplearning.ai
learn.deeplearning.ai·11h·
Discuss: Hacker News
🌐NetworkProtocols
LLM Failures
funcall.blogspot.com·4d·
Discuss: Hacker News
🐫OCaml
REST Is for Humans, Not for APIs
jabbawookiees.bearblog.dev·3d·
Discuss: Hacker News
🌐NetworkProtocols
Show HN: A fast 3D collision detection algorithm
cairno.substack.com·4d·
Discuss: Substack
🎮Verification Games
Show HN: GrokVocab – I Built a Vocabulary App Without Flashcards or Memorization
grokvocab.com·22h·
Discuss: Hacker News
🎮Verification Games
We have computation because of weaving
maalvika.substack.com·1d·
Discuss: Substack
💾Retro Computing
Realbasic (2000)
joelonsoftware.com·2d·
Discuss: Hacker News
💾Retro Computing
Writing an LLM from scratch, part 16 -- layer normalisation
gilesthomas.com·4d·
Discuss: Hacker News
🏹Effect Systems
Inheritance and Polymorphism in Plain C
coz.is·5d·
Discuss: Hacker News, r/C_Programming, r/programming
🔬Static Analysis
Designing a CPU with only Memory Chips
hackaday.com·1d
⚙️Operating System Design
Subgraph Counting under Edge Local Differential Privacy Based on Noisy Adjacency Matrix
arxiv.org·3d
💻CS
Show HN: Cactus – Ollama for Smartphones
news.ycombinator.com·2d·
Discuss: Hacker News
🐫OCaml
Havoc – Heap Allocated Value Object Containers
github.com·6d·
Discuss: Hacker News
🛡️seL4
Multigranular Evaluation for Brain Visual Decoding
arxiv.org·2d
🏹Effect Systems
We Need Knowledge Distillation for Solving Math Word Problems
arxiv.org·5d
🎮Verification Games
Evaluating Large Multimodal Models for Nutrition Analysis: A Benchmark Enriched with Contextual Metadata
arxiv.org·3d
🐫OCaml
SQLBarber: A System Leveraging Large Language Models to Generate Customized and Realistic SQL Workloads
arxiv.org·4d
🔤DSLs
Perceptual Distortions and Autonomous Representation Learning in a Minimal Robotic System
arxiv.org·2d
🔄Finite State Machines