Hacker News with Generative AI: Software Engineering

Software Engineering Laws (manager.dev)
Some of those are famous, and some are quite niche. ALL of them are super useful to engineers and managers.
Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods (queue.acm.org)
AWS (Amazon Web Services) strives to deliver reliable services that customers can trust completely.
In retrospect, DevOps was a bad idea (rethinkingsoftware.substack.com)
In retrospect, DevOps was a bad idea.
There is no Vibe Engineering (serce.me)
You've probably heard about "vibe coding" by now. The term was recently coined by Andrej Karpathy in his tweet. Andrej defines Vibe Coding as "a new kind of coding, where you fully give in to the vibes, embrace exponentials, and forget that the code even exists". The key difference between vibe coding and normal coding is that the engineer doesn’t interact with the codebase directly, and instead converses with the agent and inspects the final outcome.
Vets Who Code (vetswhocode.io)
VetsWhoCode is a veteran-led 501(c)(3) committed to empowering veterans and military spouses through a high-quality, AI-powered software engineering training program.
You're protecting your data wrong – Introducing the Protected Query Pattern (vercel.app)
Securing modern full-stack applications can be complex. You have to manage authorizations in many different contexts from UI to data mutation functions.
Ask HN: If you had 100 hours to learn something new, what would you learn? (ycombinator.com)
As a software engineer, To boost your career in this era.
Vibe Coding: A 20-Year Engineer's Love Letter and Warning (reddit.com)
As a principal engineer who’s coded through four tech eras, I adore vibe coding for democratizing creativity—but it’s a double-edged sword.
Literate Development: AI-Enhanced Software Engineering (substack.com)
Why Software Engineering Will Never Die (i-programmer.info)
A new published paper, "Preparing Students for the Software Industry New Demands", is ostensibly a study on how graduates can become job ready. However, it also prompts thinking about the extent to which programmer jobs are threatened by low code tools or ai-assisted tools.
My team loved to ship fast and sink later (rosesecurity.dev)
This is part three of my microblog series exploring the subtle dysfunctions that plague engineering organizations. After discussing over-abstraction as a liability and unpacking how excessive toil kills engineering teams, this post tackles a nuanced threat: when “moving fast” becomes a cultural shortcut for cutting corners.
The Death of Software Engineering by a Thousand Prompts (verdikapuku.com)
My wife is working on an idea for a social platform. She’s been using Lovable to build it. Over the past week, she’s made very good progress independently but once a day she would get stuck because the AI isn’t doing what she’s expecting. Unfortunately, she doesn’t know full-stack development well enough to prompt it towards resolution or how to edit the code herself. When that happens, I come to her rescue.
I just got kicked out of Columbia for taking a stand against LeetCode interviews (twitter.com)
Something went wrong, but don’t fret — let’s give it another shot.
Ask HN: Do US engineering skills translate well to European companies? (ycombinator.com)
I currently reside in the US and am looking to move to Europe (most likely Germany) some time in the next three years. Has anybody made this journey and have some insights to share?
HoarePrompt: Structural Reasoning About Program Correctness in Natural Language (github.com/msv-lab)
HoarePrompt structurally reasons about program correctness in natural language using large language models (LLMs). Drawing inspiration from the strongest postcondition calculus, it employs a step-by-step process to generate natural language descriptions of reachable program states at various program points. By aligning formal semantics with informal requirements, HoarePrompt enables LLMs to detect bugs that violate natural language specifications.
Coordinating the Superbowl's visual fidelity with Elixir (elixir-lang.org)
How do you coordinate visual fidelity across two hundred cameras for a live event like the Super Bowl?
What is Growth Engineering? A deep dive with MasterClass's former Head of Growth (pragmaticengineer.com)
Growth engineering was barely known a decade ago, but today, most scaleups and many publicly traded tech companies have dedicated growth teams staffed by growth engineers. However, some software engineers are still suspicious of this new area because of its reputation for hacky code with little to no code coverage.
Leaked software engineering recruiter selection guideline (twitter.com)
Something went wrong, but don’t fret — let’s give it another shot.
War story: the hardest bug I ever debugged (clientserver.dev)
All of a sudden, without any ostensible cause, Google Docs was flooded with errors. How it took me 2 days and a coworker to solve the hardest bug I ever debugged.
Why Vibe Coding Is Overrated (lycee.ai)
Vibe coding is on the rise.
The Software Engineering Identity Crisis (annievella.com)
Many of us became software engineers because we found our identity in building things. Not managing things. Not overseeing things. Building things. With our own hands, our own minds, our own code.
They lied to you, building software is hard (toddle.dev)
Every week there seems to be a new tool that promises to let anyone build applications 10x faster. The promise is always the same and so is the outcome.
Vibe Coder – AI Engineer YC Job posting: Satire or not Satire? (ycombinator.com)
The more I read this job posting, the more I think it is satire: https://www.ycombinator.com/companies/domu-technology-inc/jobs/hwWsGdU-vibe-coder-ai-engineer<p>> At least 50% of the code you write right now should be done by AI; Vibe coding experience is non-negotiable.<p>> Ready to grind long hours, including weekends<p>All of this to "Automate debt collection calls for banks". Am I out of touch here?
Ask HN: How should junior programmers use and/or not use AI for programming? (ycombinator.com)
I am observing at my company that junior programmers, who have been allowed to use AI for helping with their coding seem to be losing their coding skills and critical skills.
Move faster, wait less: Improving code review time at Meta (engineering.fb.com)
When done well, code reviews can catch bugs, teach best practices, and ensure high code quality. At Meta we call an individual set of changes made to the codebase a “diff.” While we like to move fast at Meta, every diff must be reviewed, without exception. But, as the Code Review team, we also understand that when reviews take longer, people get less done.
1x Engineer (1x.engineer)
You might have already heard of a 10x engineer. Probably too often, actually. If there's such a thing as a 10x engineer, surely there must be a 1x engineer, too?
Grease: An Open-Source Tool for Uncovering Hidden Vulnerabilities in Binary Code (galois.com)
Proactively and defensively ensuring the absence of vulnerabilities in binary code is crucial for deploying high-assurance systems. GREASE is an open-source tool leveraging under-constrained symbolic execution to help software reverse engineers analyze binaries and uncover hard-to-spot bugs, ultimately enhancing system security. This kind of binary analysis is especially important for systems that include COTS software that is only provided in binary form.
How I force LLMs to generate correct code (claudio.uk)
In my daily work as consultant, I'm often dealing with large pre-existing code bases.
Teaching a new way to prevent outages at Google (sre.google)
From a young age, I enjoyed the detective work of diagnosing and fixing a broken system–electronics, in my case.
Show top LLMs some code and they'll merrily add in the bugs they saw in training (theregister.com)
Researchers have found that large language models (LLMs) tend to parrot buggy code when tasked with completing flawed snippets.