Viewing profile — hardtoreason

I've used the ledger-likes extensively, and they have two major problems: (1) One of the hard problems in personal finance is data capture and input validation. Programs like Quick…

I literally stalled on the first sentence where he asserts without any rationale that an OS written in Lisp "would be a good thing in itself". WHY WHY WOULD ANYONE THINK THIS MATTE…

"Easy to reason about" doesn't mean "Doesn't require you to read any documentation."