Topics /

Software Engineering

The most popular blog posts about software engineering on Hacker News. 14,537 posts.

Any year
5167

Painting in Clojure

Learning Clojure by building a digital Jackson Pollock. This article and the source code backing it can be found on GitHub . Below is an example of what we will be building, running the code found in this page.

5179

Formal Methods: Just Good Engineering Practice? (2024)

Earlier this week, I did the keynote at TLA+ conf 2024 ( watch the video or check out the slides ). My message in the keynote was something I have believed to be true for a long time: formal methods are an important part of good software engineering practice. If you’re a software engineer, especially one working on…

5180

The single most important criteria when replacing GitHub

I could write a lot of things about the Github acquisition by Microsoft. About Github's embrace and extend of git, and how it passed unnoticed by people who now fear the same thing now that Microsoft is in the picture. About the stultifying effects of Github's centralization, and its retardant effect on general…

5185

Backseat Software

What if your car worked like so many apps? You’re driving somewhere important…maybe running a little bit late. A few minutes into the drive, your car pulls over to the side of the road and asks:

5187

Constraints in Go

Freedom is nothing without constraints, and Go’s generics gives us a powerful way to build polymorphic types and functions constrained by type sets . Let’s geek out.