New

The latest blog posts to take off on Hacker News. 5,567 posts.

Any topic
2020
2256

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…

2265

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…

2280

First Impressions of Rust

I've been wanting to write a big project in Rust for a while as a learning exercise, and actually started one in late 2018 (a FUSE server implementation). But then life happened and I got busy and never went anywhere with it. Due to certain world circumstances I'm currently spending a lot of time indoors so rust-fuse…