News for hackers. Stuff that matters.

levjj

Re:Esverify: LiquidHaskell inspired verification for JavaScript on Saturday December 01, 2018 @12:54PM (#18577871)
With ligatures, the symbols are still just ASCII, so you type '>=' but it looks like '≥' on your screen.
Re:The Most Terrifying Thought Experiment on Friday July 18, 2014 @01:30AM (#8051812)
It seems Roko's Basilisk is like a self-fulfilling prophecy. The more people believe it will exist, the more likely it is going to be created, which in turn makes more people believe that it will exist, etc. This holds completely independent of singularity, "super-intelligence" or the simulation argument.