There are exponentially many vectors with small inner product
lmao.bearblog.dev·1d·
Discuss: Hacker News
➡️Category Theory
Forget Borrow Checkers: C3 Solved Memory Lifetimes With Scopes
c3-lang.org·10h·
Discuss: Lobsters, Hacker News, r/programming
🔬Static Analysis
Let It Snow
arraythinking.wordpress.com·8h·
Discuss: Hacker News
📦Unikernel Systems
Show HN: A fast 3D collision detection algorithm
cairno.substack.com·2d·
Discuss: Substack
🎮Verification Games
How I ported Penko Park to Switch
ghostbutter.com·1d·
Discuss: Hacker News
💾Retro Computing
The Right Approach to Authorization in RAG
osohq.com·1d·
Discuss: Hacker News
🛡️seL4
Beauty Comes from Absence
karlkoch.me·1d·
Discuss: Hacker News
➡️Category Theory
Show HN: I built an AI tool to retrieve technical achievements from your GitHub
git-achievements.com·1d·
Discuss: Hacker News
❄️Nixified Development
Programming = proving? The Curry-Howard correspondence today
xavierleroy.org·4d·
Discuss: Hacker News
➡️Category Theory
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.org·19h
✓Automated Theorem Proving
Curriculum Negative Mining For Temporal Networks
arxiv.org·19h
➡️Category Theory
Working with AI: Measuring the Occupational Implications of Generative AI
arxiv.org·19h
💻CS
Position: We Need An Algorithmic Understanding of Generative AI
arxiv.org·19h
✓Automated Theorem Proving
Reinforcement Learning with Action Chunking
arxiv.org·19h
🎮Verification Games
How to Interview AI Engineers
blog.promptlayer.com·2h·
Discuss: Hacker News
🤖Program Synthesis
Operator-based machine learning framework for generalizable prediction of unsteady treatment dynamics in stormwater infrastructure
arxiv.org·3d
💻CS
Building Real-Time AI Streaming Services with AWS Lambda and Architect
metaduck.com·7h·
Discuss: Hacker News
🌐NetworkProtocols
StreamDiffusion: A Pipeline-level Solution for Real-time Interactive Generation
arxiv.org·2d
🧪Property-Based Testing
The Next Wave
dumindu.github.io·1d·
Discuss: Hacker News, r/programming
🤖Program Synthesis
Writing an LLM from scratch, part 16 -- layer normalisation
gilesthomas.com·3d·
Discuss: Hacker News
🐫Embedded OCaml