In mathematical logic and type theory, the λ-cube (also written lambda cube) is a framework introduced by Henk Barendregt to investigate the different dimensions in which the calculus of constructions is a generalization of the simply typed λ-calculus. Each…

Phoronix is the leading technology website for Linux hardware reviews, open-source news, Linux benchmarks, open-source benchmarks, and computer hardware tests.

I moved the ThinkPad Buyer's Guide to https://www.bobble.tech!
- in an effort to separate my local business from my online presence/resources.

No change to the Guide, just a URL/branding thing.
More free Guides and resources planned to end up over there…

IBM Thinkpad 600X from the year 2000 - best keyboard after 17 years. The high tech of yesteryear. Review.
Music: VENDAFACE // Chris Zabriskie // FULL ALBUM
https://youtu.be/2FaIoXfjNS4
License: Creative Commons Attribution license (reuse allowed)

After many years using MacBook variants I've made the switch to Windows. I've used every version of MacBook Pro and MacBook Air that have been released. My current laptop of choice is the Lenovo Thinkpad X1 Carbon / Lenovo Thinkpad X1 Extreme.Turns out switching…

A while back I answered a question on Quora: Can people actually keep up with note-taking in Mathematics lectures with LaTeX.
There, I explained my workflow of taking lecture notes in LaTeX using Vim and how I draw figures in Inkscape.
However, a lot has…