sunrise over the atlantic

going to be in Edinburgh in 9 hours. what should i do tomorrow

A rough and ready, online Hazel of OCaml compiler: patricoferris.github.io/hazel_of_oca...

the sky is doing that thing again

@vgel.me is fundraising for her model tinkering, she's done some really interesting interpretability work and I think funding this has very high returns in terms of LLM understanding per dollar. manifund.org/projects/fun...

after a nontrivial amount of various things (metaphorically) lighting on fire, i have fixed my keyboard.

i asked the fairies to prove they're real

A critical option for a game involving typing: customizable keyboard sounds 🤓

the tensor product is extremely trivial to define. since it is only characterized up to isomorphism, and since any two vector spaces of the same dimension are isomorphic, the tensor product of V and W is any vector space of dimension dim(V)×dim(W)

It’s real

coming together...

Caroline Humphrey's "A Nomadic Diagram", in Working With Diagrams (2022) > Waddington (1940:11) thought of ‘landscape’ as a metaphor, a new virtual domain for envisioning “the whole complex system of actions and interactions which constitute [cellular] differentiation." www.jstor.org/stable/27113...

hazel development, september 2020 - september 2025

Finally achieved my goal and made a calculator

Playlist for the (fifteenth RacketCon) October 4-5, 2025 at UMass Boston youtube.com/playlist?lis...

if you didnt see it yesterday we're running a public beta for our windows 95 themed powerpoint factory game in november. you can sign up here: subscribepage.io/C1erpq #gamedev #indiegame

“The Interface of Kai Krause’s Software” mprove.de/script/99/ka...

one of my favorite fossils in the museum is this beautiful crinoid.

small details that matter 🧑‍🍳 use CSS pseudoelements to bridge the :hover gap w/ :has() + inset a:has(+ .dots) a::after, .dots + a::after { position: absolute; content: ''; } a:has(+ .dots) a::after { inset: 0 -50% 0 100%; } .dots + a::after { inset: 0 100% 0 -50%; }

yes! YES!!

What would it look like if accessibility infrastructure became the foundation of malleable computing? Here's a demo by @orionreed.com that adversarially adds find and replace functionality to a hermetically sealed messaging app.

i am unreasonably proud of this one i have successfully distilled the essence of flexbox into two variables

i am taking a little time to make a unicode browser. this just breaks it up into chunks of 128 for now, but i want to add data for block (and glyph?) names.

workspace refactor

As a mathematician I don’t really care what’s up, but I’m a little scandalized that you all don’t use the handedness convention we established in all our beautiful textbooks that we decorated with our finest photos of bike races and Calder sculptures and sold for $200-400 with Canvas integration

one day, my apartment will look like this

Natural forms

The design space of AI coding assistants based on an analysis of 90 tools. They identified 10 design dimensions covering where the tool lives, how you ask it, who starts it, etc. I wrote a blog post summarizing the findings…

Everyone who empathizes with LLMs less than me is a reactionary humanist who will be left behind in the permanent underclass. Everyone who empathizes with LLMs more than me is experiencing psychosis and their brain is food for parasitic spiraloid entities

#SPLASH folks, check out our Distinguished Paper (!) talk this afternoon at 14:15 on "Incremental Bidirectional Typing via Order Maintenance". Thomas will tell you how to efficiently update type information (including error marks) in response to local edit actions. A small step *static* semantics!?

Wet Claude is Psyop

#SPLASH folks, check out our OOPSLA talk today at 10:30 on Syntactic Completions with Material Obligations! @dm0ney.bsky.social will discuss how we turn arbitrary text into parsed trees by error correction with a generalization of holes called obligations, turning parsing into structure editing!

did I ever post my Lean tactic pokémon

Incredible looking machine

Stunning

to appear at #alt.vis 2025: THEORY IS SHAPES sure "theory figures" are great, but @matthew.wiki, @maryamhed.bsky.social, me, and Carolina Nobre wonder: why always a 2D plane or a flowchart? why not icebergs, horseshoes, Möbius strips, or BLT sandwiches? arxiv.org/abs/2510.01382 #ieeevis #hci

This article is now public! Link in reply. I recreated Jef Raskin's 1987 'Canon Cat' user environment and observed myself as I lived in it for a week. Implementation details, surprises, and more in the essay. (Why touch grass when you can read 3.2k words on user environments?)

🎮 Like CRDTs and videogames? @inkandswitch.com is ✨hiring✨ for a project that combines @automerge.org with @godotengine.org to make the next generation of collaboration tools for game development! More detail here: inkandswitch.com/jobs/godot-i... (Fully remote 🌍🌎🌏 contract, late Nov to April)

Adding a keypress editor

That’s a wrap for PROPL25 at @icfp-conference.bsky.social! Here’s the tired but happy organising team @anil.recoil.org @dorchard.bsky.social @kcsrk.info with @neurocy.bsky.social celebrating! Stay tuned for a writeup and enjoy our proceedings in the meantime dl.acm.org/doi/proceedi...

@neurocy.bsky.social defines the core problem as bad defaults in scientific code tools like Jupyter that make it hard to be FAIR without lots of work #icfpsplash25

replmode: live inline eval of selected intermediate expressions, where selection can be steered via user-entered linebreaks). the trace cursor can be used to navigate between evals inside function definitions

i am sad, so i made a 4-channel passive mult. i am still sad but now i have a mult. I RECOMMEND DOING THINGS

Some notes by @akkartik.name (2025) akkartik.name/post/2025-06...

⚫⚫⚫

I'm teaching 𝗪𝗿𝗶𝘁𝗲 𝘆𝗼𝘂𝗿 𝗼𝘄𝗻 𝘁𝗶𝗻𝘆 𝗽𝗿𝗼𝗴𝗿𝗮𝗺𝗺𝗶𝗻𝗴 𝘀𝘆𝘀𝘁𝗲𝗺(𝘀)! again. I'll be posting the videos & tasks on YouTube too. In the first lecture, I explain what's a tiny system, why write one and show plenty of demos! 🎞️ Playlist: www.youtube.com/playlist?lis... 👉 More info: d3s.mff.cuni.cz/teaching/npr...

We're happy to start sponsoring the Spectre.Console project! It is a #dotnet library that makes it easier to create beautiful console applications by giving you access to standard components you may find in a CLI experience. Go check it out! duende.link/sp3ctr3