Top posts

Every blog post that took off on Hacker News, ranked by the votes of its best submission. 21,843 posts.

Software Engineering
Any year
18753

Micro-monolith anti-pattern

Microservice-based architecture gains popularity every day. This approach has many advantages. The most important advantages include independent deployments, shortened and simplified deployment pipelines, limited communication between teams, and technology freedom. These core advantages support the quick delivery of…

18757

Why Specifications Don't Compose

Recently my friend Lars Hupel and I had a discussion on why formal methods don’t compose well. You can read the conversation here. We focused mostly on composing formally-verified code. I want to talk a little more about the difficulties in composing specifications. This is half because it’s difficult for interesting…

18763

Gotk3: GTK3 the Go way

Today marks the first release of gotk3, Conformal’s own GTK3 bindings for Go (available on Github here ). These bindings were developed out of a frustration with other GTK bindings for Go either using ancient versions of GTK, not handling memory in a way a Go developer would expect, or simply not working at all on our…