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.