We shouldn’t have needed lockfiles
tonsky.me·23h·
Discuss: Lobsters, Hacker News
👐Open Source Software
Bringing the best of AI to college students for free - The Keyword
news.google.com·7h
🤖Sci-Fi
Dropping an SQLite index for a 300x speedup (2019)
nickb.dev·1d·
Discuss: Hacker News
🗄️Database Theory
v3.37.4
gitlab.exherbo.org·13h
🦀Rust
The Christofides Algorithm
alon.kr·1d·
Discuss: Hacker News
🕸️Graph Theory
SearchResearch Challenge (8/6/25): Best ways to do just-in-time learning?
searchresearch1.blogspot.com·7h·
Discuss: searchresearch1.blogspot.com
🧩Theorem Proving
I Spent $500 To Test Devin For Prompt Injection So That You Don't Have To
embracethered.com·15h·
Discuss: Hacker News
🧭SMT Solvers
Designing a Keyboard for a Touchpad
reddit.com·17h·
Discuss: r/ErgoMechKeyboards
🧮Programming Language Theory
How MLB keeps fans connected to the game – one cache hit at a time
cloud.google.com·2d
🏗Computer Architecture
CAN Help - figuring out basic CAN 2.0A as a beginner
reddit.com·7h·
Discuss: r/embedded
🏗Computer Architecture
DataGrip and Database tools UX Survey #2 Results
blog.jetbrains.com·2d
💾Retrocomputing
GitHub Copilot - Reusable Prompts Part 3: More Experiments, More Mayhem 🌀
dev.to·11h·
Discuss: DEV
🦀Rust
Measuring Dependencies between Biological Signals with Temporal Self-supervision, and its Limitations
arxiv.org·19h
⚙Functional Programming
Relative Completeness of Incorrectness Separation Logic
arxiv.org·1d
✅Formal Verification
Optimal Scheduling Algorithms for LLM Inference: Theory and Practice
arxiv.org·1d
🔗Parser Combinators
Part 7: Interacting with ERC-721 NFTs using `web3.py`
dev.to·3h·
Discuss: DEV
🤝Protocol Design
Confronting AI’s Next Big Challenge: Inference Compute
thenewstack.io·10h
🎲Probabilistic Programming
IKOD: Mitigating Visual Attention Degradation in Large Vision-Language Models
arxiv.org·19h
🎲Probabilistic Programming
Design Patterns by Purpose: Reuse (Part 2)
dev.to·6d·
Discuss: DEV
⚙Functional Programming
T-GRAG: A Dynamic GraphRAG Framework for Resolving Temporal Conflicts and Redundancy in Knowledge Retrieval
arxiv.org·1d
🎲Probabilistic Programming