There are exponentially many vectors with small inner product
lmao.bearblog.dev·1d·
Discuss: Hacker News
➡️Category Theory
Orca Build System
orca-app.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
📦Unikernel Systems
The zero-day that could've compromised every Cursor and Windsurf user
bleepingcomputer.com·11h·
Discuss: Hacker News
📦Unikernel Systems
Being a Script
raphaelbastide.com·1d·
Discuss: Hacker News
🛡️seL4
FuzzFeed: An Automatic Approach to Weakest Precondition Generation using LLMs and Fuzzing
arxiv.org·2d
🧪Property-Based Testing
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org·23h
🔍Formal Verification
Semantically Separating Nominal Wyvern for Usability and Decidability
arxiv.org·3d
🐫OCaml
METR's AI productivity study is really good
seangoedecke.com·1d·
Discuss: Hacker News
👁️System Observability
guile lab notebook: on the move!
wingolog.org·3d·
Discuss: Lobsters, Hacker News, r/programming
👁️System Observability
Beyond Console.log: Smarter Debugging with Modern JavaScript Tooling
blog.appsignal.com·2d·
Discuss: Hacker News
👁️System Observability
Ground Truth Ambient Occlusion
github.com·8h·
Discuss: Hacker News
🧱Immutable Infrastructure
How I build software quickly
evanhahn.com·4d·
Discuss: Lobsters, Hacker News, Hacker News
🔄Reproducible Builds
Beyond the Linear Separability Ceiling
arxiv.org·23h
➡️Category Theory
Emergent misalignment as prompt sensitivity: A research note
arxiv.org·1d
✓Automated Theorem Proving
Lambda calculus cooked N ways: Benchmarks for capture-avoiding substitution
github.com·4d·
Discuss: Hacker News
🐫OCaml
Show HN: PromptDrifter – Catch LLM prompt drift before it breaks prod
github.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Expediting data extraction using a large language model (LLM) and scoping review protocol: a methodological study within a complex scoping review
arxiv.org·1d
🐫OCaml
I'm more proud of these 128 kilobytes than anything I've built since
medium.com·7h·
Discuss: Hacker News
🔬Unikernels
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.org·23h
✓Automated Theorem Proving
How to Interview AI Engineers
blog.promptlayer.com·7h·
Discuss: Hacker News
🤖Program Synthesis