rybl.net
§ Introduction
I'm Henry Blanchette, and this is my personal website. Currently, I'm
a PhD student at the University of Maryland. Read
about my background in more detail (
research,
education and employment). I'm
a researcher and programmer focused on:
- developer tools for proof development and software engineering using
type theory
programming language theory
I am also especially interested in:
- developer tools for proof development and software engineering using
ML models
See my library of public writings on
various topics usually related to my interests.
§ Announcements
| Date | Description |
|---|---|
| 2025-11 | Participated in |
| 2025-11 | Participated in  AI Tinkerers x Trilligent: DC Metro
Meetup and presented  small language games v2. |
| 2025-10 | Developed linkstitcher, a system for
automatically creating custom RSS feeds by processing other RSS feeds,
and other utilities. |
| 2025-10 | Participated in AI Tinkerers x Google: DC Metro
Meetup and presented small language games v1. |
| 2025-10 | Developed ce-editor-egui, a structure editor
for constructor expressions, using egui and Rust. |
| 2025-10 | Developed Interpolnet, an experimental website
generated by asynchronous programming |
| 2025-09 | Developed url-notes, a system for
automatically for collecting, analyzing, and publishing a feed of
interesting URLs as a webapp (using Rust). |
| 2025-08 | Developed rybl-dot-net_v6, a new version of my
personal website (from scratch using Haskell). |
| 2025-08 | Developed Chronolog, a Prolog-style solver
with suspension and resumption control. |
| 2025-08 | Participated in forohtoo to try out  x402. |
| 2025-08 | Participated in  Sundai hackathon, developing concept-lib, a typescript library
for |
| 2025-08 | Presented Fixed-Size State Games at AI Tinkerers - Boston. |
| 2025-08 | Participated in Sundai hackathon, developing small-language-games, a collection
of experimental webapps using generative LLM capabilities. |
| 2025-07 | Participated in |
| 2025-06 | Developed neural-network-in-haskell, a simple
neural network implementation in Haskell that leverages indexed
types. |
| 2025-05 | Participated and placed 3rd in  AI+ Expo hackathon,
developing Picosim, an FPV drone
simulator. |
| 2025-05 | Developed ce-editor, a structure editor for
constructor expressions. |
| 2025-01 | Published |
| 2024-10 | Presented Zypr at |
| 2024-09 | Participated in |
| 2025-02 | Developed latent-state-machine, a basic state
machine-like system for setting up LLM-powered simulations. |
| 2024-09 | Developed |
| 2024-06 | Contributed to arc-like, which is like ARC, but
code to generate visual puzzles (1D puzzles first). |
| 2024-05 | Presented |
| 2024-05 | Developed a fixpoint-oriented programming system: Foliage. |
| 2024-07 | Developed |
| 2024-01 | Contributed homonyms to glish, which is a new verion of
English that maps all words to single-syllable version. |
| 2023-11 | Participated in |
| 2023-07 | Developed Chatscript, a simple python
interface to writing chatscripts for generating sequences of calls to
OpenAI's GPT chat API. |
| 2022-10 | Participated in |
| 2022-09 | Developed Zypr, a zipper-based structure
editor. |
| 2022-09 | Developed Shape, a well-typed structure
editor. |
| 2022-09 | Published |
| 2022-08 | Participated in |
| 2022-06 | Developed philosophical-consistency-test, an
unserious philosophical consistency test webapp. |
| 2021-06 | Developed Branchial, a prototype abstract
board game based on the idea of branching timelines to represent time
travel as demonstrated by  5D Chess with Multiverse Time
Travel. |
| 2020-05 | Published Purity and Effect in Programming
Languages, my thesis for my BA in Computer Science at |