Du neuf du côté TypeScript

Announcing TypeScript 5.8

A 10x Faster TypeScript

Non mais Alloy quoi

Alloy 6.2.0 released

Practical Alloy - A hands-on guide to formal software design

Du neovim

What's new in neovim 0.11

Adding types to your neovim configuration

Blogpost en série

Making a clean architecture blog engine from scratch - part 1 / part 2 / part 3

Building a search engine from scratch, in Rust

Par part 1: Sequent calculus

Series: Making a language

En vrac

Why We Designed TigerBeetle's Docs from Scratch

A road to common lisp

Understanding Yoneda

15 lessons from 15 years in tech

Designing type inference for high quality type errors

Writing a formatter has never been so easy: a Topiary tutorial

The problem with type aliases

Systems correctness practices at AWS

React is the New IBM

Nix - Death by a thousand cuts

My Nix(OS) notes

Why is Git Autocorrect too fast for Formula One drivers?

How to do patch-based review with git range-diff

A Basic Inductive Type Comparison: Rust, Lean, C, C++

Be aware of the Makefile effect

My Principles for Building Software

Visual-Focused Algorithms Cheat Sheet

The way we're thinking about breaking changes is really silly

Operationalizing Macaroons

Evolving Scala

Terrible Horrible No Good Very Bad Python

A Perplexing Javascript Parsing Puzzle