NULL BITMAP: what is the most naive implementation of a database that can plausibly be called correct? I don't know but it might look something like this buttondown.email/jaffray/archiv…

Not bad, Python 3.12. Not bad.

(It's a silly evaluator, I know, but the point still stands.)

When you leave OpenAI, you get an unpleasant surprise: a departure deal where if you don't sign a lifelong nondisparagement commitment, you lose all of your vested equity: vox.com/future-perfect…

is do-notation the internal language of premonoidal categories?

roughly, or precisely?

There is no one in American politics who has been right more consistently, over the last 5 years or the last 50, than Bernie Sanders.

Walking around scanning for open WiFi networks like it's 2005.

gentlemen adventurers (venture capitalists),

good article on the problems with CPR, a rather violent procedure that only sometimes helps at all newyorker.com/news/the-weeke…

the vivaldi/capaldi axis

what's a good editor color scheme with:

0 emacs support
1 light mode
2 high contrast
3 comments are not lower contrast than code
4 pleasing & distinct colors

solarized has nice colors but fails 2-3 hard. modus vivendi/operandi fail 3 and IMO 4.

Interested in joining our project on semantics-directed compiler construction? 〚Dan R. Ghica〛 is advertising a 3-year postdoctoral position in Birmingham, UK. Please share, and pass on to anyone who may be interested in applying! edzz.fa.em3.oraclecloud.com/hcmUI/Candidat…

wheee

brown/green

On Wednesday night, IU administrators changed a long-standing policy that use to allow tents to be set up in Dunn meadow as part of a protest. (Dunn Meadow is a dedicated space at IU for protests.) They changed the policy to disallow tents. 1/3

what's a good word for the exact midpoint of fun and terrifying?

('exhilarating' is too far towards fun, eg)

little-known fact that historically, most cave paintings used s-expression syntax

The <h1> tag is 55 years old.

This is GML (1969), which led to SGML, which led to HTML. And all the other tags (ol, li, p) have the same name as in HTML. en.wikipedia.org/wiki/IBM_Gener…