Posts that commenters keep linking to, ranked by how many different people have cited them in Hacker News comments. 662 posts.
The Rust programming language has been able to run on bare-metal without the standard library for quite some while now. However, most Rust applications depend on the std crate, and therefore still need a full operating system to run.
Welcome! This is a series of blog posts that shows you how to build a text editor in Rust.
In my last post I showed what makes the Nim programming language special. Today, let’s consider Nim from another angle: What makes Nim a practical programming language?
Asynchronous Rust is powerful but has a reputation for being hard to learn. There have been various ideas on how to fix the trickiest aspects, though with my focus being on Tokio 1.0, I had not been able to dedicate much focus to those topics. However, Niko’s async vision effort has recently started the discussion…
This is the transcript of my RustConf 2023 talk: "Extending Rust's Effect System", presented on September 13th 2023 in Albuquerque, New Mexico and streamed online.
Discussing a recent academic finding on Java and Scala, from industry's perspective.
“C++11 feels like a new language.” – Bjarne Stroustrup The C++11 standard offers many useful new features. This page focuses specifically and only on those features that make C++11 really feel like…
Oftentimes when I am conversing about the design of Rust with other users - as on RFCs or the internals forum - I witness a peculiar remark about “explicitness.” It usually goes something like this: I do not like Feature Design X because it is too implicit. Magic is okay in Other Language Y, but Rust is supposed to be…
After working through “the book” on the Rust programming language and getting started with the first non-trivial, real-world application I found myself faced with a question I didn’t yet feel well-equipped to handle: “How should you structure error handling in a mature rust application?”
A draft design document describing lightweight userland cooperative threads for SBCL.
Type inference is a major feature of several programming languages, most notably languages from the ML family like Haskell. In this post I want to provide a brief overview of type inference, along with a simple Python implementation for a toy ML-like language.
Programming language performance is something that nearly everyone cares about at some point, whether they realise it or not. If you’re a programmer, you sometimes have to make your programs run fast; if you’re a user, you might be frustrated at a program that runs slowly, without knowing that it’s caused by a poor…
On April 8, 2020, John Horton Conway developed symptoms of COVID-19. On April 11, 2020, he succumbed to the disease. 1 2 3 4
For a real-life implementation, see how Racket's math/number-theory does it here .
A blog about life between two parens.
OK OK, I couldn't resist that title but it probably goes a bit far. Let me try for a little more nuance:
I spoke at TXJS , a really excellent regional JS conference, in June. Thanks to @SlexAxton , rmurphey , and everyone else involved. My talk was concerned with the good, bad, and ugly of Ecma TC39 (and I mean those words in the best possible way!), mixing philosophy with historical events from the last 14 years.
I had originally shared a version of this post with a small, private mailing list, but then I figured there'd be no harm in sharing it with a larger audience so here it is.
Solving Logic Puzzles with Prolog
Implementing a programming language is an experience no programmer should go without; the process fosters a deep understanding of computation, and it's fun!
The web site has since been through various iterations and changes, therefore I include some screenshots below for posterity (because my design is much more beautiful than what is now online ;-).
this is the first entry in an n-part series explaining the techniques and design principles of ClojureScript . translations: [ 日本語 ]
A longer explanation of why I think that the CoffeeScript scoping is problematic and should be changed.
Programming is all about managing complexity. Without good tools to manage it, the complexity of programs becomes mentally intractable for our limited brains and we’d lose control and understanding of our programs (imagine writing a big software system entirely in assembly language).
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:
Comments extracted from a code review. I've been asked to disseminate them more widely. I should say something about regular expressio...
2013 Update: I was young and stupid when I wrote this. I fear that Haskell is doomed to succeed. — Tony Hoare I ♥ Lisp. I think it's t...
