This week I built datasette-ripgrep—a web application for running regular expression searches against source code, built on top of the amazing ripgrep command-line tool. datasette-ripgrep demo I’ve deployed a demo …
Learn the meaning behind mathematical symbols used in Machine Learning using your knowledge of Python.
Bridging the gap between stateful and event sourced sub-systems
I show how two domain-specific type systems, information flow control and two-party communication protocols, can be implemented in Rust using type-level programming. I explain how interesting properties of these domains can be verified at compile-time. Finally, I construct a general correspondence between type…
Mostly non-fiction books this year. Some in English, some in German.
Biggest .1 release from Wolfram. 182 completely new functions, plus updates and enhancements. Includes full HiDPI support, computation with video, data structures, asymptotic superfunction, mathematical functions, plotting, geometric optimization, vector plotting, cross-hatching, computational topology, tabular data…
Learn how to download fundamentals data with Python using the yahoo_fin package, including P/E and P/S ratios, return on equity, and more.
Deepen your understanding of AES implementation using golang.
Here is my (extended) family tree: Everyone in the tree shares at least one common ancestor and at least one common descendant. This ...
This week's post will cover a command line tool that helps you play the video game Stardew Valley .
tl;dr: With the Netpbm file formats, it’s trivial to output pixels using nothing but text based IO
If you read a description of a static analysis in a paper, what might you find? There’ll be some cute model of a language. Maybe some inference rules describing the analysis itself, but those rules probably rely on a variety of helper functions. These days, the analysis likely involves some logical reasoning: about…
Realtime rendering and videogame programming mostly, but I love computer science and visuals in all their forms. This is a notepad of my ideas.
You are seeing this because the administrator of this website has set up Anubis to protect the server against the scourge of AI companies aggressively scraping websites . This can and does cause downtime for the websites, which makes their resources inaccessible for everyone.
But OCaml is Pretty Great
I got into a discussion about monads recently. On a search to find some resources to share, I realized that most essays explained them with type signatures and rules. A missing ingredient to grok them, I think, is to understand the intuition behind them. How could you end up inventing monads?
An essay that bids farewell to x87 – a computing architecture too long for this world.
Is APL dead? Not anymore. Changes in modern hardware, business needs, development methods, and our understanding of programming makes APL in its modern state perhaps more relevant and viable than ever before.
Recently I revealed the secret of academic success. This was so popular (16000 views!) that I decided I would follow up with the secret of software success – success in producing software. No…
Some hints and tips for getting started with Mypy and introducing it to existing projects
Key path expressions as functions, callAsFunction, and more
Back in April of last year, the speedometer failed in my ‘94 Explorer. Rather than hunting down a replacement cable and tearing apart the dash just to restore an old analog needle, I opted to build a digital replacement using a Raspberry Pi and GPS.
Example based guide for text processing with Perl from the command line
I can build this. — every developer at least once
Compiling Lisp primitive unary functions to x86-64
This article explains how recurrent neural networks (RNN's) work without using the neural network metaphor. It uses a visually-focused data-transformation perspective to show how RNNs encode variable-length input vectors as fixed-length embeddings. Included are PyTorch implementation notebooks that use just linear…
