Viewing profile — baruchel

https://zippythepinhead.com/Merchant2/merchant.mv?Screen=PRO...

I can confirm the TT-RSS app (found on F-Droid) is very good. I have used it for years. On the other hand, the web app is not very good, and each time I wanted to read articles on …

Yes, but don't forget his formal work also (Hoare logic).

If I remember correctly, this picture is commented in the very good book "Exact thinking in demented times", together with Mach's ideas.

I’ve practiced array languages extensively myself, including for code golfing, and I fully understand the intellectual joy they can provide. But as I’ve gotten older, I’ve come to …

When you compute some nice and elegant result, dissipated heat is an undesired side effect. But let's face it: we are speaking about proof of work. Proof of work means that a compu…

Exact thinking in demented times by Karl Sigmund