New

The latest blog posts to take off on Hacker News. 3,290 posts.

Any topic
2020
1306

ThinkPad 560E

I’ve been idly looking for one of the mid-90s ThinkPads known to have perfect OpenStep/Rhapsody support for years as a fun collector piece, but been unwilling to pay eBay prices. The other week I scored a pristine IBM ThinkPad 560E for $20 in a Shopgoodwill auction, below is notes on getting it up and running, plus…

1312

Formulog: ML + Datalog + SMT

If you read a description of a static analysis in a paper, what might you find? There’ll be some cute model of a language. Maybe some inference rules describing the analysis itself, but those rules probably rely on a variety of helper functions. These days, the analysis likely involves some logical reasoning: about…