Composing pure Haskell assertions
blog.ploeh.dk·20h
⚖️Verification Calculi
How AI Tools Cut Customer Escalation Time: From Days of Manual Work to Minutes
engineering.salesforce.com·1d
🌊Stream Processing
Synergistic action of specialized metabolites in the human oral microbiome
pnas.org·15h·
Discuss: Hacker News
🧬Copy Number Variants
High-level intuitions for the Bulletproofs/IPA protocol
cryptologie.net·3d
🎯Performance Proofs
my work colleagues use generics everywhere for everything
reddit.com·3d·
Discuss: r/golang
💧Liquid Types
FlashVU: Chat with your client CSVs, get instant AI-driven insights
flashvu.com·11h·
Discuss: Hacker News
📡RSS Automation
Real AI Agents and Real Work
oneusefulthing.org·9h·
Discuss: Hacker News
🤖AI Curation
Essential books for modern technology leaders
hyperact.co.uk·6h·
Discuss: Hacker News
❄️Nix Adoption
The LLM Hype Train: A Pamphlet[?] You Should Read with Your Manager
patrickm.de·11h·
Discuss: Hacker News
💻Local LLMs
Go ahead, write the stupid code
spikepuppet.io·1d·
Discuss: Hacker News, r/programming
📝Compiler Design
AWS Weekly Roundup: Amazon S3, Amazon Bedrock AgentCore, AWS X-Ray and more (September 29, 2025)
aws.amazon.com·11h
🌊Streaming Systems
Towards Minimal Causal Representations for Human Multimodal Language Understanding
arxiv.org·1d
🧠Machine Learning
How to Build Recommendations That Connect Across Movies, Music, Books, and Art
dev.to·1d·
Discuss: DEV
🌍Cultural Algorithms
d2: Improved Techniques for Training Reasoning Diffusion Language Models
arxiv.org·1d
💻Local LLMs
Why Chain of Thought Fails in Clinical Text Understanding
arxiv.org·1d
🧮Kolmogorov Complexity
To AI or Not to AI
antropia.studio·16h·
Discuss: Hacker News
🌀Brotli Internals
Using AI for Secure Coding: Avoiding Common Vulnerabilities
dev.to·1d·
Discuss: DEV
🧪Protocol Fuzzing
8 N8N Fundamentals That Will Make You Build Workflows Like a Pro
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
Singularity: LKM rootkit for modern kernels (6x)
github.com·1d·
Discuss: Hacker News
🔌Operating system internals
Advancing Natural Language Formalization to First Order Logic with Fine-tuned LLMs
arxiv.org·1d
🌳Context free grammars