Looks similar
We Are Not Supporting OpenTF(medium.com)
38 points by talonx | 37 comments
My job search story(medium.com)
80 points by romafirst3 | 51 comments
Related stories
What AI-Native Looks Like(fagnerbrack.com)
14 points by fagnerbrack | 7 comments
A blog post by Fagner Brack on Medium describing what an AI-native approach to software development with stable infrastructure looks like.
The new skill in AI is not prompting, it's context engineering(philschmid.de)
832 points by robotswantdata | 467 comments
Blog post by Philipp Schmid arguing that context engineering, supplying LLMs with the right information and tools, matters more than prompting for AI agents.
Phi-4: Microsoft's Newest Small Language Model Specializing in Complex Reasoning(techcommunity.microsoft.com)
399 points by lappa | 136 comments
Microsoft AI Platform Blog post announcing Phi-4, a small language model specializing in complex reasoning.
AI will make formal verification go mainstream(martin.kleppmann.com)
782 points by evankhoury | 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.
You are never taught how to build quality software(florianbellmann.com)
480 points by RunOrVeith | 411 comments
Blog post by Florian Bellmann arguing that software developers are never formally taught how to build quality software and discussing QA practices.
Personal software factories are a waste of time(peterp.me)
63 points by thegreatpeter | 64 comments
A blog post arguing software engineers should not spend time building personal AI-driven software factories and should instead build actual products.











