Leave yourself a treat and make sure your toString() updates some state so you can't debug without changing the program

I can’t wait until LeBron and Michael Jordan’s jerseys are hanging in Miami

PO: "We have KPIs to reach, put an `unwrap` there now!"

Annotate your lambdas

imessage just fixed my acshually typo to actually 😞

Idk why but this should be illegal

Now github is having issues. I'm being sent a sign to take a nap.

I thought cloudflare wasn’t allowed to go down

we should decentralize the internet somewhat

Make all your commits compile so you can use bisect

Can valve's steam frame arm translation be used to get x86 games on mac in the future?

Thanks I hate it.

8k virtual reality Galaga

Steam Frame, Steam Controller, Steam Machine announcement is expected soon, here's a first look!

I'm sure this works fine with ocaml and not reason syntax but it's pretty funny

just searching for posts including nico harrison and chuck schumer

If you're making a build tool please keep the old artifacts around and atomically replace them so I can still use the old version while the next compiles.

I think you fix the moral panics about the energy use of this vs. the energy use of that by imposing a carbon tax. You levy it at the mine, the wellhead, and the port. Done.

What they took from us.

I want a McMaster-Carr catalog as a coffee table book

haskell is just so nice to write

coming together...

Does anyone have a reference for combining unification-based type inference with bidirectional type-checking?

Stuff just is dependently typed now. If you can't cope yet, hit me up and I'll help you get with the programme.

Someone save my plant

What are they even trying to say here?

mo nads mo problems.

I wish someone would write an ethnography of Gaia online.

One must imagine Sisyphus happy

Curtis Sliwa for mayor of Gotham

What's the best interface for "sets of radio buttons that are compatible together"? If I have a bunch of options and certain sets are not possible together how is this best displayed.

I need a better scheme for managing local network domain names and IPs. The amount of raspberry pis are getting a bit out of hand. How are people handling this?

hazel development, september 2020 - september 2025

Finally achieved my goal and made a calculator

Software supporting 64 arms isn’t as exciting as it sounds

Is anyone making 3d tldraw?

I figured it out

I can't understate how good of a job the @inkandswitch.com folks did at this Automerge website. Wow, holy shit automerge.org And the fact that you can *interact* with the visual demo at the top? This is the new high bar for a technical website. Holy moly.

You can tell a lot about a person by asking them where the fast and the furious or air bud franchises jump the shark

Someone needs to make whereisgood as an equivalent of whenisgood.net

Fantastic video about Chicago from @nerd4cities.bsky.social! Give it a watch and make sure to support @betterstreetschicago.org efforts to getting transit funding and reform passed in Illinois.

goddamn is there anything Wikipedia editors can’t do www.nytimes.com/2025/10/17/n...

#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!?

#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!

I need a way to set alt text for my indecipherable text posts.

Do kids still have to make covers for their books or am I just old now?

I think this points at “syntax highlighting” being a terrible name.

I haven't used photoshop in like 15 years but the gen ai stuff is making it really hard for me to do regular things without being interrupted.