From punch cards to prompts: a history of how software got better
stackoverflow.blog·2h
🔄Reproducible Builds
Song recommendations with F# free monads
blog.ploeh.dk·1d
🔗Functional Compilers
Winetricks/winetricks
github.com·1d
🔄Sync Engine
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·1d·
Discuss: Hacker News
⚡Hardware Transactional Memory
Writing Strong Content with AI
elite-ai-assisted-coding.dev·1d·
Discuss: Hacker News
📝Concrete Syntax
Typeclassopedia
wiki.haskell.org·2d·
Discuss: Hacker News
🧬Functional Programming
A beginner's guide to the Flux-Kontext-Max model by Black-Forest-Labs on Replicate
dev.to·5h·
Discuss: DEV
🎙️Whisper
VISION: Robust and Interpretable Code Vulnerability Detection Leveraging Counterfactual Augmentation
arxiv.org·2h
🔍Vector Forensics
Reasoning Steps as Curriculum: Using Depth of Thought as a Difficulty Signal for Tuning LLMs
arxiv.org·2h
🧮SMT Solvers
Thoughts on systems thinking and production excellence from Release It
stevenoxley.com·15h·
Discuss: Hacker News
🛡️Error Boundaries
Does GPT-4 surpass human performance in linguistic pragmatics?
arxiv.org·1d
🎙️Whisper
A chatbot that builds Rails apps
kodykendall.com·1d·
Discuss: Hacker News
🦋Format Metamorphosis
Benchmarking GPT-5 vs Claude 4 Sonnet on 200 Requests
dev.to·16h·
Discuss: DEV
⚙️Compression Benchmarking
Automate the Testing of Your LLM Prompts
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Some anecdotes from vibe-coding a Sublime Text plugin
willett.io·2d·
Discuss: Hacker News
🔗Concatenative Languages
Context Engineering: Bringing Engineering Discipline to Prompts—Part 3
oreilly.com·1d
🔄Archival Workflows
k-NN Classification and Model Evaluation
dev.to·23h·
Discuss: DEV
🧠Machine Learning
Why I'm declining your AI generated MR
blog.stuartspence.ca·9h·
Discuss: Hacker News, r/programming
🔄Language Evolution
The AI Data Scientist
arxiv.org·1d
🧪Data science
RLMR: Reinforcement Learning with Mixed Rewards for Creative Writing
arxiv.org·2h
🔲Cellular Automata