Viewing profile — mjdv

The thing he " refuse to proceed" with was LiMux, his project for moving away from Microsoft.

That seems only fair. ;-)

> eat food, mostly plants, not too much. If the state of physics was "stuff falls, heat sticks around, light goes fast" I think it'd be fair to describe that as "abysmal".

> FWIW, I think this is the same as saying "iff it is bounded and has finite discontinuities". It is not: for example, the piece-wise constant function f: [0,1] -> [0,1] which star…

Until this post it wasn't clear to me that just opening and trusting a directory can cause code to be run without taking any other explicit actions that seem like they might involv…

I would say we have a problem when people who write compilers can't read type theory papers, but then our backgrounds might differ. ;-)

> We never talk about it now because we obviously blew past it years ago. It's shocking to me that (as far as I know) no one has actually bothered to do a real Turing test with the…

Rush is the most popular brand of poppers. Maybe you're thinking of those? It's a liquid in a vial, but nothing like MDMA, and definitely older than the 2000s. If not, and there wa…