[b] mt gox disaster/ failure/ crash/ implosion/ uncontrolled demolition! on an epic scale! they are estimated to have about ~$½B in BTC which at current valuations is roughly 1/16th the total market cap of BTC. the currency fluctuated up to an outsize ~¼ in total value! and then stabilized.
update/breaking found 2/19:
- New Scientist article “Wikipedia-size maths proof too big for humans to check”
- UK Independent
Computer cracks Erdos puzzle—but no human can check the answer
hi all, this is a topic Ive been squirreling away links for a very long time, possibly longer than the age of this blog, now about 1½ yr waiting for an opportune moment. such moments can be quite prominent but alas also somewhat rare. am very happy to have recently stumbled on very major one a few days ago that is already getting MSM coverage (did not expect than when 1st writing this entry! wow!)
the blog was started dedicated to TCS and various problems, but also has a very strong empirical flavor based on computational experiments (eg with the collatz conjecture). computer experiments & the interface of math & TCS are an old love of mine that dates to my very earliest uses of the computer & learning its possibilities in teenage years.
hi all, have been tracking bitcoin for a few yrs now and its exposure seemed to hit a real critical mass in 2013 possibly mainly related to its value. its exciting! once again: a) gamechanging, b) disruptive technology, c) a paradigm shift!
its fast moving and hard to keep up with. could easily write a whole book on the subj right now but just a big bag of links will have to suffice for the moment.
where is it going? thats the big question.
hi all. if you ask me, and maybe some others, DWave systems is one of the most fascinating companies in the world.[b] its the only one in existence expressly founded based on pursuing one of the most scifi breakthroughs on the horizon, quantum computing.[a] wouldnt it just be the coolest thing to work in this area somehow?
quantum computing (QC) has burst on the horizon of possibilities esp in the last decade. the race started as countries started to announce official research programs, notably australia. it was thought that the next generation of cpu’s was going to be built using this technology, that it would be “technology disrupting”. note intel is one of the largest companies in the world and silicon valley is one of the most successful economic engines ever built worldwide, and the rise of the cpu and moores law has largely fueled that.
hi all this interesting recent site-wide “hot” mathoverflow question asking about hard proofs that cant be simplified had a related question with high votes, asking if maybe mathematics could get simplified in some way in the future & it seemed a great moment to cite (auto) thm proving, gowers, turing, etcetera. alas, the PowersThatBe™ were not amused
I think we all secretly hope that in the long run mathematics becomes easier, in that with advances of perspective, today’s difficult results will seem easier to future mathematicians. If I were cryogenically frozen today, and thawed out in one hundred years, I would like to believe that by 2110 the Langlands program would be reduced to a 10-page pamphlet (with complete proofs) that I could read over breakfast.