Topics /

Programming Languages

The most popular blog posts about programming languages on Hacker News. 3,709 posts.

Any year
1504

Having fun abusing the C language

I was looking through the book Expert C Programming again when I came upon their “light relief” section on The International Obfuscated C Code Competition . It’s a contest to write the most obscure code. That the language C has a competition where you write confusing code in it probably says something about the…

1506

ClojureScript 101

While none of the ideas in core.async are new, understanding how to solve problems with CSP is simply not as well documented as using plain callbacks or Promises . My previous posts have mostly explored fairly sophisticated uses of core.async , this post instead takes the form of a very basic tutorial on using…

1511

Stop making me memorize the borrow checker

I started learning Rust about 3 or 4 years ago. I am now knee-deep in several very complex Rust projects that keep slamming into the limitations of the Rust compiler. One of the most common and obnoxious problems is hitting a situation the borrow-checker can’t deal with and realizing that I need to completely…

1513

Hindley-Milner Type Inference (2012)

Robin Milner's type system with parametric polymorphism was a significant advance over the systems of Russell and Church. Arguably it is the ability to use type-variables that makes higher order logic a practical vehicle for proving non-trivial theorems. The Hindley-Milner algorithm is used to automatically infer…

1522

Both true and false: a Zen moment with C

I ran into a really fun bug at work yesterday, where I discovered that my C program was branching down logically inconsistent code paths. After drinking another cup of coffee and firing up GDB I realized that somehow, a boolean variable in my code was simultaneously testing as both true and not true.