Every blog post that took off on Hacker News, ranked by the votes of its best submission. 3,709 posts.
I show how two domain-specific type systems, information flow control and two-party communication protocols, can be implemented in Rust using type-level programming. I explain how interesting properties of these domains can be verified at compile-time. Finally, I construct a general correspondence between type…
Around four years ago, when I had first decided to start at Mozilla research, I had planned to write an LR(1) parser generator. It seemed like a good way to get to know Rust. However, I found that newborns actually occupy somewhat more time than anticipated (read: I was lucky to squeeze in a shower), and hence that…
Write an awesome description for your new site here. It will appear in your document head meta (for Google search results) and in your feed.xml site description.
An overview of self-supervised pretext tasks in Natural Language Processing
An entry on some of the cleverest (and clearest) functional designs I've worked on, and how it came to be
When programming in Go, the amount of error handling is something that slaps you in the face. Most API’s you deal with will expose errors. It can become overwhelming, but with a few tips and a guiding principle we can make handling errors easy, keep our code clean and give you the confidence that nothing is breaking…
(From someone who has spent far too much time thinking about the designs of programming languages)
Last week someone posted a /r/cpp thread titled “Declaring all variables local to a function as const”: Ok, so I’m an old-school C++ programmer using the language now since the early ’90s. I’m a fan of const-correctness for function and member declarations, parameters, and the like. Where, I believe, it actually…
C array types are weird. In this article I’ll explain what I find weird about them, what I’d do differently, and ramble on a few related things.
Last week, someone posted a question on the Clojure group asking for a comparison between Clojure and Scala. Since my most popular blog pos...
My engineer friends are surprised when I mention I know and I even wrote code in the D programming language (aka Dlang).
Does Python still have a need for class without @dataclass?
Cyclic dependencies: Part 1
A blog by sunfishcode
In my previous blog post on pointer provenance, I have shown that not thinking carefully about pointers can lead to a compiler that is internally inconsistent: programs that are intended to...
Almost exactly one year ago I quit my job to create a Haskell startup as a solo developer. I had about 20 ideas, but eventually settled on the idea of dependency project health tracking with Deadpendency.
Practical Racket macros
Learn Rust to 80% in 5 minutes by leveraging your existing JavaScript knowledge. In this article, I list a number of differences Rust has compared to JS that is crucial to understanding it.
A few thoughts on why I think you should learn Racket.
I've been spending a lot of time in JavaScript land lately. It's not totally unexpected – when I first applied for a job with Mozilla, I was warned only semi-jokingly that "they hire all the best Python programmers and then force them to write JavaScript". I've no deep love or hate for it as a language, but JavaScript…
This is a self-contained computer with its own display and keyboard, based on an ATmega1284, that you can program in the high-level language Lisp:
A language server for Standard ML.
Amiga C Tutorial
Scott Mabin's blog
