GHC Developer Blog: GHC 9.10.3-rc4 is now available
haskell.org·21h
🦀Rust
Atlassian Corporation (TEAM): A Bull Case Theory
finance.yahoo.com·1d
⚖Algorithmic Game Theory
A programmer's field guide to assertions
typesanitizer.com·1d·
Discuss: Lobsters
🧩Theorem Proving
Arch testing VM on Proxmox: LUKS volume password is not accepted at boot
ordinatechnic.com·13h·
Discuss: r/archlinux
👐Open Source Software
Optimizing generative AI models with quantization
developers.redhat.com·14h
🔧Compiler Design
Plan E for AI Doom
lesswrong.com·1d
🤖Sci-Fi
Why AI fails at business context, and what to do about it
infoworld.com·12h
🧩Theorem Proving
How to assemble 3D Environments for your game?
reddit.com·23h·
Discuss: r/gamedev
🧫Cellular Automata
Automated Building Heritage Assessment Using Street-Level Imagery
arxiv.org·17h
🎲Probabilistic Programming
Pivoting back to cloud-native development and DevOps
reddit.com·1h·
Discuss: r/devops
🌍Distributed Systems
From Feedback to Failure: Automated Android Performance Issue Reproduction
arxiv.org·17h
🎲Probabilistic Programming
Versatile Video Tokenization with Generative 2D Gaussian Splatting
arxiv.org·17h
🎲Probabilistic Programming
Survey-to-Behavior: Downstream Alignment of Human Values in LLMs via Survey Questions
arxiv.org·17h
🧭SMT Solvers
(Part 2) Build a Simple Chat Character Gallery: Project Setup
dev.to·3d·
Discuss: DEV
🤝Protocol Design
Software Engineering Laws - Product Development
leadership.garden·4d
👐Open Source Software
Revolutionizing Code Testing: Uber's Toolbox of AI Innovations
dev.to·1d·
Discuss: DEV
🤖Sci-Fi
Beyond Chatbots: How Multi-Agent AI Systems Are Revolutionizing Software Engineering
dev.to·1d·
Discuss: DEV
🤖Sci-Fi
Building a smart, agentic email assistant
dev.to·2d·
Discuss: DEV
🧮Programming Language Theory
Coding in the Age of AI
dev.to·13h·
Discuss: DEV
🔍Static Analysis
100,000 strong - CodeFactory server
engineering.hackerearth.com·2d
🔌Network Programming