31
More powerful Go execution traces
New features and improvements to execution traces from the last year.
32
Programming languages that blew my mind (2023)
I’ve been a programmer since the age of 8, and some kind of developer for most of my life. Throughout my life as a coder, both hobbyist and professional, I’ve learnt plenty of programming languages that felt like cookie-cutter clones of each other, but also a few programming languages that changed the way I looked at…
33
Rewriting Rust
The Rust programming language feels like a first generation product. You know what I mean. Like the first iPhone - which was amazing by the way. They made an entire operating system around multitouch. A smart phone with no keyboard. And a working web browser. Within a few months, we
34
Why "Structure and Interpretation of Computer Programs" matters (2011)
In 2011, to celebrate the 150th anniversary of MIT, the Boston Globe made a list of the most important innovations developed there. They asked me to explain the importance of SICP, and this is what I sent them:
35
A Tour of the Lisps
2023 seems to have been the year where I "made the rounds" of a number of major Lisps. There were several elements that lead to this. Firstly must have been my exposure to Elixir in 2022, which introduced me to the idea of debugging live systems and "staying in your program". Secondly must have been my chief complaint…
36
Translation of Rust's core and alloc crates to Coq for formal verification
We continue our work on formal verification of Rust programs with our tool coq-of-rust, to translate Rust code to the formal proof system Coq. One of the limitation we had was the handling of primitive constructs from the standard library of Rust, like Option::unwrapordefault or all other primitive functions. For each…
37
38
The beautiful dissociation of the Japanese language
An extra dimension that you can play with
39
Swift Static Linux SDK
Swift is a general-purpose programming language built using a modern approach to safety, performance, and software design patterns.
40
A comparison of Rust’s borrow checker to the one in C#
OK, so C# doesn’t share the Rust concept of “borrowing,” so it wouldn’t technically be correct to call this “borrow checking,” but in practice when people talk about “Rust’s borrow checker” they’re talking about all of the static analysis Rust does to ensure memory safety, for which I think this qualifies.
41
I have no constructor, and I must initialize
It has been three days. The room is cold and dark, but your screens are blinding. You feel disoriented as you come in and out of dissociative episodes. Now and again, you laugh, to no accompaniment. Why are you here? Was this your fault?
42
Swift Homomorphic Encryption
We’re excited to announce a new open source Swift package for homomorphic encryption in Swift: swift-homomorphic-encryption.
43
Lua is so underrated
Introduction The more I learn about Lua's design and implementation, the more impressed I am. It's very rare to see software that does so much with so lit...
44
What I think about Lua after shipping a project with 60k lines of code
Lead programmer talks Lua’s flexibility, challenges, and integration with Defold game engine after 60k lines of code in Craftomation 101.
45
Hyrum’s Law in Golang
Occurrence of Hyrum's law in Golang
46
scrapscript.py
Scrapscript is a small, pure, functional, content-addressable, network-first programming language. It’s designed to allow creating small, simply shareable programs. The language was created by Taylor Troesh and the main implementation was created by me and Chris.
47
C++ is an absolute blast
Where I try to explain why I feel like C\+\+ is so much fun, and to correct some misinformation.
48
I learned Haskell in just 15 years
Haskell is a programming language invented sometime in the 20th century by Scottish logicians as a prank. ¹ Fifteen years or so ago, for reasons I can no longer remotely recall, I started learning Haskell. Now, I have finally written a useful program in Haskell, and I am pretty sure I can do it again, if I ever need…
49
C Macro Reflection in Zig
Zig’s reflection combined with Zig’s ability to import C header files means Zig can be used for C macro reflection.
50
Cognition: A new antisyntax language redefining metaprogramming
Other languages are inflexible and broken. Let's fix that.
51
The lost language extensions of MetaWare's High C compiler (2023)
This book I got in a pile of FM TOWNS books turns out to be a lot more interesting that I was expecting an '80s C compiler manual to be. For as long as C and its relatives have been in mainstream use,…
52
Speeding up Ruby by rewriting C in Ruby
There is a recent language comparison repo which has been getting shared a lot. In it, CRuby was the third slowest option, only beating out R and Python. The repo author, @BenjDicken, created a fun visualization of each language’s performance. Here’s one of the visualizations, which shows Ruby as the third slowest…
53
54
Secure Randomness in Go 1.22
ChaCha8Rand is a new cryptographically secure pseudorandom number generator used in Go 1.22.
55
The Rust calling convention we deserve
I will often say that the so-called “C ABI” is a very bad one, and a relatively unimaginative one when it comes to passing complicated types effectively. A lot of people ask me “ok, what would you use instead”, and I just point them to the Go register ABI , but it seems most people have trouble filling in the gaps of…
56
Go Protobuf: The New Opaque API
We are adding a new generated code API to Go Protobuf.
57
A Friendly Introduction to Assembly for High-Level Programmers
A friendly introduction to assembly for high-level programmers — Hello
58
Rust for tokenising and parsing
Macros, iterators, patterns, error handling and match make Rust almost perfect
59
Game Programming in Prolog
This article explains how a game can be made in Prolog by leveraging the hidden power of logic programming. Inspired by the elegance of data-driven design and declarative programming paradigms, I will be explaining a new way of designing game rules which can at the same time be used as the source code of the gameplay…
60
How Python asyncio works: recreating it from scratch
Learn how asyncio works by recreating it from scratch with Python generators and using the __await__ dunder method for the async/await keywords.