1
Types are a basic tool of software design (2018)
Static or dynamic, a program's design is written in its types.
New
The latest blog posts to take off on Hacker News. 327 posts.
2
Lightstorm: Minimalistic Ruby Compiler
Some time ago I was talking about an ahead-of-time Ruby compiler. We started the project with certain goals and hypotheses in mind, and while the original compiler is at nearly 90% completion, there are still those other 90% that needs to be done.
3
Ada's dependent types, and its types as a whole
So I like to joke occasionally on the Fediverse that when looking at Wikipedia's list of programming languages supporting dependent types :
4
Implementing SM-2 in Rust
An implemenation of the SuperMemo-2 algorithm.
5
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...
6
Into CPS, Never to Return
CPS, or continuation-passing style, is an intermediate representation for programs, particularly functional programs. It’s used in compilers for languages such as SML and Scheme. Much of its utility comes from its support for tail calls and nonlocal control flow such as call/cc, but it can also be used as an…
7
Ruby 3.4.0
We are pleased to announce the release of Ruby 3.4.0. Ruby 3.4 adds it block parameter reference,changes Prism as default parser, adds Happy Eyeballs Version...
8
C++ is an absolute blast
Where I try to explain why I feel like C\+\+ is so much fun, and to correct some misinformation.
9
The intricacies of implementing memoization in Ruby
A long time ago, I wrote a memoization library for Ruby. It was not easy, but I learned a great deal in the process. In this article, I am share these learnings and showing you how deep the memoization rabbit hole goes.
10
What would it take to add refinement types to Rust?
A few years ago, on a whim, I wrote YAIOUOM. YAOIOUM was a static analyzer for Rust that checked that the code was using units of measures correctly, e.g. a distance in meters is not a distance in centimeters, dividing meters by seconds gave you a value in m / s (aka m * s^-1). YAIOUOM was an example of a refinement…
11
Fighting spam with Haskell at Meta (2015)
Visit the post for more.
12
Four limitations of Rust's borrow checker
I’ve been using Rust for hobby projects since 2016 and have been working professionally in Rust since 2021, so I tend to consider myself pretty knowledgeable about Rust. I’m already familiar with all the common limitations of Rust’s type system and how to work around them, so it’s pretty rare that I have to “fight the…
13
JEP 483: Ahead-of-Time Class Loading and Linking
Improve startup time by making the classes of an application instantly available, in a loaded and linked state, when the HotSpot Java Virtual Machine starts. Achieve this by monitoring the application during one run and storing the loaded and linked forms of all classes in a cache for use in subsequent runs. Lay a…
14
Curl removes experimental HTTP back end in Rust
The ride is coming to an end. The experiment is done. We tried, but we admit defeat. Four years ago we started adding support for an alternative HTTP backend in curl. It would use a library written in rust, called hyper. The idea was to introduce an alternative implementation of HTTP internals that you could ……
15
How types make hard problems easy
A deep dive into how I use types to the fullest
16
Error Stacking in Rust
How to handle and report errors effectively in Rust applications is a common question. This blog shares our experience organizing variant types of Error in a complex system like GreptimeDB, from how an error is defined to how to log the error or present it to end-users. Such a system is composed of multiple components…
17
Half My Life with Perl
I had never met Randal Schwartz before, but when I reached out to him about contributing to year 25 of the Perl Advent Calendar, he immediately agreed. This year I wanted to try some new things and Randal suggested giving a Perl-specific talk which he had given once before, but which was lacking in recording quality…
18
Java in the Small
Java has many features that make it well suited for large, long-lasting projects. But I find it surprisingly good for small tasks as well. Recent language features make it even better. The killer features are compile-time typing and great tool support.
19
Translating 10M lines of Java to Kotlin
Meta has been on a years-long undertaking to translate our entire Android codebase from Java to Kotlin. Today, despite having one of the largest Android codebases in the world, we’re well pas…
20
How we centralized and structured error handling in Golang
Handling errors in Go is simple and flexible – yet no structure! It’s supposed to be simple, right? Just return an error , wrapped with a message, and move on. Well, that simplicity quickly turns into chaotic as our codebase grows with more packages, more developers, and more “quick fixes” that stay there forever…
21
Crunch – a Scheme compiler with a minimal runtime
Hi, I'm Peter Bex, a Scheme and free software enthusiast from the Netherlands. See my user page on the CHICKEN wiki or my git server for some of my projects.
22
Go Protobuf: The New Opaque API
We are adding a new generated code API to Go Protobuf.
23
Using Drop for safety in Rust
A deep dive into Rust’s vec::Drain and its Drop implementation as an example of how ownership prevents subtle bugs—memory and otherwise!
24
In-Depth Ruby Concurrency: Navigating the Ruby Concurrency Landscape
I was honored to present a talk on Ruby concurrency at RubyConf 2024. It represents a high-level distillation of much of my writing and research over the past year. The conference itself was great, and presenting was such a fun experience. Here is the talk, titled “In-Depth Ruby Concurrency: Navigating the Ruby…
25
Array Languages for Clojurians (2020)
appliedscience.studio ships with Moz DA 25 and 70 referring domains — a rare descriptive .studio pickup. Listed at $100.
26
Garbage collected smart pointers in Rust via concurrent cycle collection
Scheme to the Spec is a series on the more complex, often overlooked aspects of programming language implementation.
27
Common misconceptions about compilers
A curated list of misconceptions about mainstream compilers.
28
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…
29
8 months of OCaml after 8 years of Haskell in production (2023)
Dmitrii Kovanikov's Personas Web Space
30
Bicameral, Not Homoiconic
Parenthetically Speaking: Articles by Shriram Krishnamurthi