Linear Risk Sharing on Networks
freakonometrics.hypotheses.org·3d
🤝Consensus Networks
Vibing a Non-Trivial Ghostty Feature
simonwillison.net·1d
🧪Binary Fuzzing
How Much Is the Treasure in the Tomb of Horrors Worth? I Did the Math
knightsdigest.com·7h·
Discuss: Hacker News
📏Linear Logic
Satisfaction of Render Pipelines
azeemba.com·8h·
Discuss: Lobsters, Hacker News
🌊Stream Processing
SAT problems are kind of cool
blog.karanjanthe.me·4d·
Discuss: Hacker News
🧮SMT Solvers
The Morality of Modeling
isaacbound.substack.com·7h·
Discuss: Substack
🔲Cellular Automata
Show HN: Using an LLM to sensibly sort a shopping receipt
treblig.org·3d·
Discuss: Hacker News
🔗Constraint Handling
Rust is a low-level systems language (not!)
reddit.com·20h·
Discuss: r/rust
🦀Rust Macros
The Pain Driven Workflow
magistr.me·3d·
Discuss: Hacker News
⚡Incremental Computation
Evolution Strategies at Scale: LLM Fine-Tuning Beyond Reinforcement Learning
arxiviq.substack.com·3d·
Discuss: Substack
💻Local LLMs
Stop Worrying and Love the Bomb
bitbytebit.substack.com·1d·
Discuss: Substack
⚙️Build Archaeology
StruSR: Structure-Aware Symbolic Regression with Physics-Informed Taylor Guidance
arxiv.org·3d
🧠Machine Learning
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·3d
🔨Compilers
Self-Improving LLM Agents at Test-Time
arxiv.org·2d
🧠Intelligence Compression
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG
Building Self-Correcting Database Agents with Meta's Llama-4-Scout: From Natural Language to SQL Insights
dev.to·3d·
Discuss: DEV
🗄️Database Internals
Cactus Language • Semantics 2
inquiryintoinquiry.com·4d
🔢Denotational Semantics
Vibe-Coding vs. AI-Assisted Development
adaptivealchemist.com·2d·
Discuss: Hacker News
⚡Incremental Computation
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.org·5d
✓Automated Theorem Proving
Attention Sinks and Compression Valleys in LLMs are Two Sides of the Same Coin
arxiv.org·3d
🧠Neural Compression