Top posts

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

Programming Languages
Any year
3902

R7RS versus R6RS (2018)

InPhase asked today on #scheme about the R7RS vs R6RS debate. I followed the original debate closely and have experience both using and implementing R6RS. I also recently added R7RS support in Akku.scm 0.3.0, so I feel like I can weigh in on this. It’s a topic that many feel passionately about, and I’m also firmly on…

3910

Zig 0.6.0 Release Notes

Zig is a general-purpose programming language and toolchain for maintaining robust , optimal , and reusable software. With special thanks to many generous sponsors , the Zig project is financially sustainable and currently supports one full-time developer . Let's reboot systems programming.

3917

Learning Lean: Part 1

Motivation I’ve been captivated by the recent movement to popularize mathematics formalization through the Lean theorem prover, and this year I’m diving deeper into learning it. For those unfamiliar with this revolution, I highly recommend watching Kevin Buzzard’s talks on YouTube for an overview of why formal…

3918

Debugging Lisp, Part 5

This post is for all of the miscellaneous features that arent large enough to get their own individual posts. If you havent read all of them, here are the links to the previous posts on recompilation, inspection, class redefinition, and restarts. One somewhat obscure tool for debugging is SBCLs trace. SBCLs trace goes…

3924

Bitten by Unicode

One product of mine takes reports that come in as a table that’s been exported to PDF, which means text extraction. For dollar figures I find a prefixed dollar symbol and convert the number following it into a float . If there’s a hyphen in addition to the dollar symbol, it’s negative.