The Weekly Weird - 2015-03-27
-
The Z3 SMT solver is now open source: https://github.com/Z3Prover/z3
- (HN thread: https://news.ycombinator.com/item?id=9272275 )
-
This is a good article on Intel, Micron and 3D flash with the nice pull quote of a 10TB 2.5" SSD being possible with the new 3d process: http://www.tomshardware.com/news/intel-micron-3d-nand-ssd,28839.html
- God I want to get a bucket of these and just start chowing down in front of tourists: http://www.citylab.com/design/2015/03/this-futuristic-water-bottle-is-an-edible-gelatinous-blob/388087/
- Live migrating a server to another datacenter. Boring you say, vms have been doing that for years? Who said it was a vm? https://www.youtube.com/watch?v=vQ5MA685ApE
- Note that this has also been productized to let the fuzz seize computers without having to power them off and lose encryption keys in ram: https://www.youtube.com/watch?v=-G8sEYCOv-o
- Continuing my "WW2 is far too weird to have actually happened" conspiracy theory: http://en.wikipedia.org/wiki/Battle_for_Castle_Itter
- Google's distributed cron: http://queue.acm.org/detail.cfm?id=2745840
- Uber has a pretty neat platform of their own: http://www.infoq.com/news/2015/03/uber-realtime-market-platform
- "Tachyon is a memory-centric, fault-tolerant, distributed storage system, which enables reliable data sharing at memory-speed across a datacenter": http://a16z.com/2015/03/17/tachyon/
- “Why Do Computers Stop and What Can Be Done About It?”: http://mononcqc.tumblr.com/post/35165909365/why-do-computers-stop
- Incuriosity Will Kill Your Infrastructure: http://yellerapp.com/posts/2015-03-16-incuriosity-killed-the-infrastructure.html
- News that will surprise exactly no-one: http://arstechnica.com/security/2015/03/mris-show-our-brains-shutting-down-when-we-see-security-prompts/
- I don't really know what to make of this but: https://lwn.net/Articles/637658/
- I guess I never realized the triboro was part drawbridge: http://ny.curbed.com/archives/2015/03/26/an_illicit_look_inside_the_guts_of_the_triboroughs_drawbridge.php
