From punch cards to prompts: a history of how software got better
stackoverflow.blog·9h
🔄Reproducible Builds
Song recommendations with F# free monads
blog.ploeh.dk·2d
🔗Functional Compilers
The Former Lead For Apple Graphics Drivers On Linux Is Now Working At Intel
phoronix.com·3h·
Discuss: r/linux
🐧FOSS
Enabling Kotlin Incremental Compilation on Buck2
engineering.fb.com·21h
🔄Reproducible Builds
Reloading classes in python and shared borders
andrewpwheeler.com·1d·
Discuss: Hacker News
🦀Rust Macros
Show HN: CodeBoarding – Visualize Code Structure
codeboarding.org·13h·
Discuss: Hacker News
🦀Rust Macros
AppJet is back powered by AI
blog.qoddi.com·1h·
Discuss: Hacker News
🔌Interface Evolution
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·2d·
Discuss: Hacker News
⚡Hardware Transactional Memory
Show HN: Prompttest – Pytest for LLMs
github.com·1d·
Discuss: Hacker News
⚡Proof Automation
Does GPT-4 surpass human performance in linguistic pragmatics?
arxiv.org·1d
🎙️Whisper
Benchmarking GPT-5 vs Claude 4 Sonnet on 200 Requests
dev.to·23h·
Discuss: DEV
⚙️Compression Benchmarking
Automate the Testing of Your LLM Prompts
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Best 10 AI Coding Sites in 2025: Which One Should You Trust?
medium.com·2d·
Discuss: Hacker News
🚀Indie Hacking
Show HN: An AI "senior engineer" that crafts specs before vibe coding
github.com·21h·
Discuss: Hacker News
🇯🇵Japanese Computing
Context Engineering: Bringing Engineering Discipline to Prompts—Part 3
oreilly.com·2d
🔄Archival Workflows
SOC-CERT: Automated Threat Intelligence System with n8n & AI
dev.to·51m·
Discuss: DEV
🏠Homelab Pentesting
Vibe Coding Doesn't Replace Tech Skills; It Requires More of Them
pawelbrodzinski.substack.com·57m·
Discuss: Substack
📏Code Metrics
k-NN Classification and Model Evaluation
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Why I'm declining your AI generated MR
blog.stuartspence.ca·16h·
Discuss: Hacker News, r/programming
🔄Language Evolution
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·1d
🎯Gradual Typing