New features in GCC 16: Improved error messages and SARIF output(developers.redhat.com)

116 points by siteshwar 5 months ago | 19 comments

Precision over perception: Why architecture matters in benchmarking(redhat.com)

12 points by salkahfi 6 months ago | 0 comments

The CPU is back: Rethinking the CPU-GPU split for LLM inference(redhat.com)

28 points by eigenBasis 2 months ago | 2 comments

DeepCodeBench: Real-World Codebase Understanding by Q&A Benchmarking(qodo.ai)

69 points by blazercohen 1 year ago | 5 comments

Benchmarking coding agents on Databricks' multi-million line codebase(databricks.com)

133 points by tanelpoder 3 months ago | 58 comments

AI agent benchmarks are broken(ddkang.substack.com)

167 points by neehao 1 year ago | 79 comments

Using AI to reverse engineer hardware(blogs.gnome.org)

224 points by ErenayDev 11 days ago | 198 comments

Blog post by Christian F.K. Schaller, a Red Hat developer, about using AI tools to reverse engineer hardware, presumably for Linux driver development.

AI models may be capable of self-replicating without access to a datacenter(anthropic.com)

36 points by artninja1988 14 days ago | 26 comments

Anthropic Frontier Red Team post reporting experiments suggesting small AI models may soon self-replicate on commercial IoT devices without datacenter access.

AI will make formal verification go mainstream(martin.kleppmann.com)

782 points by evankhoury 10 months ago | 394 comments

Martin Kleppmann blog post predicting that AI will bring formal verification with proof assistants like Rocq, Isabelle and Lean into mainstream software engineering.

What AI-Native Looks Like(fagnerbrack.com)

14 points by fagnerbrack 1 month ago | 7 comments

A blog post by Fagner Brack on Medium describing what an AI-native approach to software development with stable infrastructure looks like.

AI Made Writing Code Easier. It Made Being an Engineer Harder(ivanturkovic.com)

343 points by saikatsg 7 months ago | 242 comments

Blog post by Ivan Turkovic arguing that AI tools make producing code easier while making the broader job of being a software engineer harder.

We should be more ambitious with the software we build(danluu.com)

865 points by ltratt 1 day ago | 755 comments

Dan Luu essay arguing that advancing AI coding models let developers build more ambitious software, citing pgrust, a regex engine, ripgrep fork, and board game AI projects.