Critique of Empirical Evidence and Formal Methods in Software Engineering
I'm a big advocate of Empirical Software Engineering. I wrote a talk on it. I wrote a 6000-word post covering one controversy. I spend a lot of time reading...
Read the full articleYou might also wanna read
Why code review fails at bug detection — and what it's actually good for
Engineers and experts say code review rarely catches bugs — its real job is flagging code that's painful to maintain later.
thenewstack.io·6d ago
Why not understanding your entire codebase can be a pragmatic approach to software engineering
As a software engineer, how well do you have to understand your own codebase?
seangoedecke.com·6d ago
A critical look at the dogmatic adoption of TDD and GenAI in software development
I’ve gotten a lot of flack throughout my career over my disdain towards test-driven development (TDD). I have met a lot of people who swear
drewdevault.com·1mo agoProofs (and Refutations) using Z3
People often think of formal methods and theorem provers as forbidding tools, cool in theory but with a steep learning curve that makes them
Why AI-Generated Code Is Breaking the Traditional Code Review Model
A software development essay argues that code review has always been a compromise, focusing on the diff rather than the upstream intent behi
Context Engineering: A Useful Skill, Not the New Software Engineering
A collection of LLM psots besed on the authors experience. Including some tools for productivity.
llmapplied.blogspot.com·10d ago
Comments
Sign in to join the conversation.
No comments yet. Be the first.