Topics /

Software Engineering

The most popular blog posts about software engineering on Hacker News. 21,827 posts.

Any year
6305

Algebraic Semantics for Machine Knitting

As programming languages researchers, we’re entitled to a certain level of mathematical rigor behind the languages we write and analyze. Programming languages have semantics , which are definitions of what statements in the language mean. We can use those semantics to do all sorts of useful things, like error…

6314

An incoherent Rust

Coherence and the orphan rules are a frequent source of complaints about Rust, and a common topic of language proposals. This post covers most of the existing proposals around coherence and my vision for how we should solve coherence once and for all.