Mathematical recipes (early draft).

Querying Postgres Tables Directly From DuckDB. #database

♪ This Mortal Coil · Song to the Siren

Newsboat can use any external browser for displaying posts. E.g., Elinks instead of Firefox to allow for a more comfortable browsing experience while staying in a terminal:

New LSP features in Neovim 0.8. #vim

Homotopy Type Theory. #maths

My personal productivity cycle is tied to this industry hype cycle. My schoolfriend back in 2003 was my personal “technology trigger.” From him, I rapidly learned some standard tools from Gartner’s plateau of productivity: PHP, MySQL, Apache. Then I surveyed the plateau more widely, finding Python, Postgres, and Nginx. A little further away, I had heard of Gartner’s trough of disillusionment. I sneered at the Perl, Java, CORBA. I’ll keep my Python, thanks. — The hacker hype cycle

The full text of my Introduction to the Theory of Programming Languages book (second printing, 1991) is now available.

♪ The Dresden Dolls · Coin-Operated Boy

Alternatives to bloatware.