121
Ruby's Timeout is dangerous and Thread.raise is terrifying (2015)
Why Ruby’s Timeout is dangerous (and Thread.raise is terrifying)
122
How types make hard problems easy
A deep dive into how I use types to the fullest
123
124
Approximating sum types in Python with Pydantic
TL;DR: You can use Pydantic’s support for tagged unions to approximate sum types in Python; go right to Sum types in Python (and onwards) to see how it’s done.
125
An unordered list of things I miss in Go
I like Go. I think it is a reasonable good language , and has some good qualities that makes up for its flaws. However, this doesn't mean I think the language couldn't be better, far from it.
126
Zngur: A C++/Rust interop tool
Zngur (/zængɑr/) is a C++/Rust interop tool. It tries to expose arbitrary Rust types, methods, and functions while preserving their semantics and ergonomics as much as possible. Using Zngur, you can use arbitrary Rust crates in your C++ code as easily as using them in normal Rust code, and you can write idiomatic…
127
How to read C type declarations (2003)
Even relatively new C programmers have no trouble reading simple C declarations such as
128
Pratt Parsers: Expression Parsing Made Easy (2011)
Every now and then, I stumble onto some algorithm or idea that’s so clever and such a perfect solution to a problem that I feel like I got smarter or gained a new superpower just by learning it. Heaps were one, just about the only thing I got out of my truncated CS education. I recently stumbled onto another: Pratt or…
129
Lush: My favorite small programming language
I meant to write about this when I started my blog in 2009. Eventually Lush kind of faded out of my consciousness, as it was a lot easier to get work doing stuff in R or Matlab or whatever. The guy…
130
Extending Rust's Effect System
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.
131
132
A look at the Mojo language for bioinformatics
A look at a Mojo benchmark for bioinformatics, and Mojo in general.
133
Swift for C++ Practitioners, Part 1: Intro and Value Types
Swift for C++ Practitioners, Part 1: Intro & Value Types
134
Smart Pointers in (GNU) C
I am a big fan of C, but some part of me always yearn to have just enough higher level constructs.
135
Lessons learned from a successful Rust rewrite
I have written about my on-going rewrite-it-to-Rust effort at work: 1 , 2 , 3 . And now it's finished, meaning it's 100% Rust and 0% C++ - the public C API has not changed, just the implementation, one function at time until the end. Let's have a look back at what worked, what didn't, and what can be done about it.
136
A lowering strategy for control effects in Rust
The Rust language has incrementally grown a set of patterns to support control-flow effects including error handling, iteration, and asynchronous I/O. In The registers of Rust , boats lays out four aspects of this pattern shared by Rust’s three effects. Today these effects are typically used in isolation, or at most…
137
C++ Safety, in Context
Scope. To talk about C++’s current safety problems and solutions well, I need to include the context of the broad landscape of security and safety threats facing all software. I chair the ISO C++ s…
138
Rust panics under the hood, and implementing them in .NET
I am currently working on a Rust to .NET compiler, rustc_codegen_clr . To get it to work, I need to implement many Rust features using .NET APIs. One of such features is panicking and unwinding.
139
From string to AST: parsing (2019)
Whether you have to do with data in the form of CSV, JSON or a full-blooded programming language like C, JavaScript, Scala, or maybe a query language like SQL, you always transform some sequence of characters (or binary values) into a structured representation. Whatever you’ll do with that representation depends on…
140
Dynamic translation of Smalltalk to WebAssembly
continuing with the DNA theme… In Catalyst, a WebAssembly implementation of the OpenSmalltalk virtual machine, there are three linguistic levels in play: Smalltalk, JavaScript (JS), and WebAs…
141
Conservative GC can be faster than precise GC
wingolog: article: conservative gc can be faster than precise gc
142
Aggregating all cinema showtimes in Germany with Clojure
How I build a website for choosing movies
143
The Evolution of a Haskell Programmer (2001)
Some time later, I came across Iavor�s "jokes" page, including a funny bit called � The Evolution of a Programmer � in which the traditional imperative "Hello, world" program is developed through several variations, from simple beginnings to a ridiculously complex extreme. A moment�s thought turned up the factorial…
144
The evolution of a Scheme programmer (2020)
For a real-life implementation, see how Racket's math/number-theory does it here .
145
OOP is not that bad
OOP is certainly not my favorite paradigm, but I think mainstream statically-typed OOP does a few things right that are very important for programming with many people, over long periods of time.
146
Let rand = main as usize (2022)
The other day I posted something silly, and learned some interesting things about raw pointers in Rust.
147
Higher-kinded bounded polymorphism in OCaml (2021)
How bounded higher-kinded polymorphism arises in practice, and how to express it in OCaml, in several different ways. Some ways are rather concise -- but less widely known.
148
Turnstyle – An esoteric, graphical functional language
An esoteric, graphical functional language
149
Rewriting Rust: A Response
Joseph Gentle wrote a post on how he wants Rust to change. I am already working on that.
150
Shell scripting with Elixir
Using Elixir instead of Python or Ruby for shell scripting.