There is Gradual Liquid Types, which is the closest. But in our aeon paper we do exactly that with synthesis. We split refinement types into liquidtypes (hard constraints) and into fitness functions (soft constrains, turing complete). Happy to discuss our idea.
Depends on your setup. But you can connect the two macs with a usb-c cable on both ends, and it will be super quick! www.reddit.com/r/MacOS/comm... if it is too technical, an apple genius will do it for you at the store.
tex knows more about aesthetics than you do. It is placing it in the right place, and if it was conscious, it would be complaining that you want it in a random location.
Slightly underreported aspect of the Mythos stuff
I wanted a way to explore Unicode by visual similarity, not just by name or codepoint, so I built Charcutrie.
It lets you browse characters that look alike, search across scripts and symbols, and even sketch a shape to find matching glyphs. (pretty badly for now :D)
charcuterie.elastiq.ch#U+221E
Where did you take it from?
My first IDE had LLMs support already?
I needed z3 Python bindings in the browser for demos. Claude built it in 10 minutes of my time, and it's now available: wiki.alcidesfonseca.com/blog/z3-pyth...
We're running a user study, maybe you can help!
We're studying the effect of new ways to show code diffs to programmers, and looking for participants for a 1-1.5hr virtual user study. In the study you will be shown several diffs and asked questions about them.
Played Piazza today boardgamegeek.com/boardgame/39... #bggplay via @boardgamegeek.com app
Played The Castles of Burgundy: Special Edition on 2026-03-14 boardgamegeek.com/boardgame/36... #bggplay via @boardgamegeek.com app
Hatred, ignorance, fear, greed, and discrimination are viruses, magnified by suffering, carried in buckets, spilled onto the world.
We cannot eliminate them by actions that magnify hatred, ignorance, fear, greed, discrimination and suffering - only by actions that relieve them.
Governments are killing the open internet. The internet is much more than Facebook and other silos.
wiki.alcidesfonseca.com/blog/the-int...
Played The Castles of Burgundy: Special Edition on 2026-02-18 boardgamegeek.com/boardgame/36... #bggplay via @boardgamegeek.com app
I wasn’t talking about the output svgs, but rather the text itself talking about how important that benchmark is, compared with a snail piloting a plane, for instance.
How much of your blogpost is helping newer models train exactly to pass your own test? Same for humanevals and swebench. We need closed source and frequently updated benchmarks. ARC-AGI is the best platform for that imho.
sounds like academia!
Played Mandragora today boardgamegeek.com/boardgame/32... #bggplay via @boardgamegeek.com app
Played San Marco today boardgamegeek.com/boardgame/1041 #bggplay via @boardgamegeek.com app
still from Microsoft: Productivity Future Vision (2016)
sorry babe, i didn't get the job. i was only at 53% tenure and 71% publications
It's the year of the Linux on the desktop, as an app.
Writing a new VM to run next week’s PL. Oh wait…
Played AquaSphere today boardgamegeek.com/boardgame/15... #bggplay via @boardgamegeek.com app
Yes, before 2013 all my macbooks brought one
Played SCOUT today boardgamegeek.com/boardgame/29... #bggplay via @boardgamegeek.com app
