sun_machine

3 ms·

1. 1.▲
   by sun_machine 4y ago

   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, claiming they were Japanese citizens in Japan. When the in
2. 2.▲
   Rewriting the Snapchat Android App(eng.snap.com)

   3 points by sun_machine 6y ago|0 comments
3. 3.▲
   by sun_machine 11y ago

   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 memory, interrupts, multitasking - I now appreciate and u
4. 4.▲
   by sun_machine 12y ago

   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 (g), capital will start snowballing into the hands
5. 5.▲
   by sun_machine 12y ago

   But if your operating costs are more than your revenue (thus, no profit), who is keeping that non-profit afloat?
6. 6.▲
   by sun_machine 12y ago

   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
7. 7.▲
   by sun_machine 12y ago

   I figured monetary profit was implicit in them applying to Y Combinator.
8. 8.▲
   by sun_machine 12y ago

   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 beaver problem. We can then make a Turing Machine that take
9. 9.▲
   by sun_machine 12y ago

   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 some places) semantics to OCaml. Remaining faithful to these