Song recommendations with pipes and filters
blog.ploeh.dk·4d
λLambda Formalization
Simply Plural Web App
app.apparyllis.com·1d
🌀Brotli Dictionary
Not Even Bronze? Evaluating LLMs on 2025 International Math Olympiad
matharena.ai·22h·
Discuss: Hacker News
🧮SMT Solvers
Why we finally allowed arbitrary waits in our tests
octomind.dev·14h·
Discuss: Hacker News, r/programming
🔍Concolic Testing
Crawling a billion web pages in just over 24 hours, in 2025
andrewkchan.dev·2d·
Discuss: Hacker News, r/programming
⚡Redis Internals
I analyzed ChatGPT with Chrome devtools to uncover its web search query patterns
acme.bot·15h·
Discuss: Hacker News
📊Search Ranking
New Tech Uses Twisted Light to Reveal Hidden Images
scitechdaily.com·11m
🌈Holographic Storage
Study reveals genetic drivers of rapid freshwater adaptation in a wild fish
phys.org·15h
⚡Incremental Computation
Discovery of a tRNA methyltransferase with an unusual domain architecture and functional features
phys.org·15h
🧬Palindrome Codes
What’s the most ridiculous reason your Kubernetes cluster broke — and how long did it take to find it?
reddit.com·19h·
Discuss: r/kubernetes
❄️Nix Flakes
Sometimes Breaking Docker Best Practices Actually Works in Your Favor
hackernoon.com·4d
🧱Immutable Infrastructure
15 Tiny Python Scripts to Supercharge Your Social Media Workflow
dev.to·4d·
Discuss: DEV
📡RSS Automation
From Chat to Specs: A Deep Dive into AI-Assisted Development with Kiro
dev.to·3d·
Discuss: DEV
📏Code Metrics
Machine Learning Fundamentals: decision trees with python
dev.to·3d·
Discuss: DEV
🔗Topological Sorting
Context Forge – A CLI-first tool for managing Claude context and AI workflows
github.com·6d·
Discuss: Hacker News
⚡Proof Automation
For the Love of Code: a summer hackathon for joyful, ridiculous, and wildly creative projects
github.blog·2d·
Discuss: r/commandline, r/webdev
🚀Indie Hacking
New AI-powered method accelerates protein simulations and reveals complex folding dynamics
phys.org·14h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
The Power of Building from Scratch
towardsdatascience.com·2d
🌍Cultural Algorithms
The AI Framework Trap
hackernoon.com·4d
⚡Proof Automation
Adversarial Activation Patching: A Framework for Detecting and Mitigating Emergent Deception in Safety-Aligned Transformers
arxiv.org·4d
💻Local LLMs