Coding with AI changes teamwork and the agile process
heise.de·6h
🔄Language Evolution
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·2d·
Discuss: Lobsters
⚖️Verification Calculi
Flag this post
Reverse Vibe Coding
blog.za3k.com·11h·
Discuss: Hacker News
🚀Indie Hacking
Flag this post
Patterns for Defensive Programming in Rust
corrode.dev·3d·
🔒Type Safety
Flag this post
An Approach to Artificial Sentience
hard2reach.github.io·19h·
Discuss: Hacker News
Incremental Computation
Flag this post
Why Engineers Can't Be Rational About Programming Languages
spf13.com·1d·
📏Code Metrics
Flag this post
Supercharging the ML and AI Development Experience at Netflix
netflixtechblog.medium.com·17h·
Discuss: Hacker News
🌊Stream Processing
Flag this post
Product Designer's workflow for prototyping with Cursor
hvpandya.com·2d·
Discuss: Hacker News
🌀Brotli Internals
Flag this post
How an Attacker Drained $128M from Balancer Through Rounding Error Exploitation
research.checkpoint.com·1h
🎫Kerberos Attacks
Flag this post
Fragments Nov 3
martinfowler.com·1d
🌀Brotli Internals
Flag this post
Prog8
github.com·21h·
Discuss: Hacker News
🔩Systems Programming
Flag this post
Simple Additions, Substantial Gains: Expanding Scripts, Languages, and Lineage Coverage in URIEL+
arxiv.org·2d
🔗Concatenative Languages
Flag this post
Building an AI-Powered E-Shopping Platform with Intelligent Product Recommendations
dev.to·1d·
Discuss: DEV
🤖AI Curation
Flag this post
Quantum Machine Unlearning: Foundations, Mechanisms, and Taxonomy
arxiv.org·1d
⚛️Quantum Archives
Flag this post
The Riddle of Reflection: Evaluating Reasoning and Self-Awareness in Multilingual LLMs using Indian Riddles
arxiv.org·1d
💻Local LLMs
Flag this post
The Hardest Bug to Fix Is Ambiguity
dev.to·2d·
Discuss: DEV
⚖️Hoare Logic
Flag this post
Condition-Invariant fMRI Decoding of Speech Intelligibility with Deep State Space Model
arxiv.org·8h
🎧Learned Audio
Flag this post
Sherlock: Reliable and Efficient Agentic Workflow Execution
arxiv.org·1d
Proof Automation
Flag this post
What a diff makes: automating code migration with large language models
arxiv.org·1d
🔄Language Evolution
Flag this post
Machine Learning-assisted Dynamics-Constrained Day-Ahead Energy Scheduling
arxiv.org·8h
🧠Machine Learning
Flag this post