Bayes predictive framework
danmackinlay.name·1d
🧮Kolmogorov Bounds
🐍 My Python Journey: Week 3 – The Realm of Operators
dev.to·2d·
Discuss: DEV
📝Concrete Syntax
ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com·1d·
Discuss: Hacker News
🧠Lisp Dialects
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
arxiv.org·3d
🧮Algebraic Archives
floccinaucinihilipilification
en.wiktionary.org·22h·
Discuss: Hacker News
🔤Morphological Analysis
Data Science Weekly – Issue 607
datascienceweekly.substack.com·5h·
Discuss: Substack
📰RSS Archaeology
FrugalRAG: Learning to retrieve and reason for multi-hop QA
arxiv.org·5h
🔍Information Retrieval
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org·1d
📼Tape Combinators
Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
arxiv.org·1d
🧮Theorem Proving
Modeling CORS frameworks with CodeQL to find security vulnerabilities
github.blog·15h
✅Format Verification
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page·16h·
Discuss: Hacker News
🧠Separation Logic
Using AI for Data Modeling in Dbt
mikkeldengsoe.substack.com·1h·
Discuss: Substack
🚚Data Migration
My first verified (imperative) program
markushimmel.de·3d·
Discuss: Lobsters, Hacker News, r/programming
⚔️Lean Tactics
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io·19h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
The Bitter Lesson (2025)
artfintel.com·1h·
Discuss: Hacker News
🌍Cultural Algorithms
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.org·5h
🧮Kolmogorov Complexity
[D] Does prompt injection like in this article really works?
reddit.com·1d·
Discuss: r/MachineLearning
🎯Proof Tactics
Build an MCP application with Mistral models on AWS
aws.amazon.com·17h
🌊Streaming Systems
Why No Single Algorithm Solves Deduplication — and What to Do Instead
hackernoon.com·1d
🔍MinHash Variants
Helpful function to find memory leaks in JavaScript
news.ycombinator.com·1d·
Discuss: Hacker News
🎯Gradual Typing