Viewing profile — sun_machine

Only slightly related, but a Japanese friend of mine has a story of interviewing a few engineering candidates for their remote crypto company. They all applied under Japanese names…

I went through my school's version of this class on xv6, and wow, what a trip. After thinking hard and working hard on things I never had a solid grasp on - filesystems, virtual me…

I am confused by the way the Economist phrased Mr. Rognlie's argument. The crux of Piketty's argument is that when global returns on wealth (r) is more than global economy growth (…

But if your operating costs are more than your revenue (thus, no profit), who is keeping that non-profit afloat?

I'm sure you've seen this, but to those who want to get a start on a curated resource of longform articles, I've always liked the aptly named http://longform.org

I figured monetary profit was implicit in them applying to Y Combinator.

Here's a proof I came up with a few days ago (and it became relevant so quickly!) Assume by contradiction that there is a computable function f that grows faster than the busy beav…

Coq is essentially a verification system and functional programming language all in one. The functional programming language that the proofs are based on has similar (identical in …