2131
Will Our Understanding of Math Deteriorate Over Time?
Scientific American writes about rescuing the enormous theorem (classification of finite simple groups) before the proof vanishes. How can...
2132
2133
2134
2135
How I develop with Nix
Recently NixOS was posted to the Haskell reddit, and seems to have been received well. In the comments I mentioned that NixOS allows me to be a more productive Haskell developer, and I would like to discuss how I am using the features offered by NixOS. Before we get into those details, allow me to briefly summarise…
2136
How Heartbleed could've been found
This blog is written by Hanno Böck. Unless noted otherwise, its content is licensed as CC0 .
2137
The Invention of the Baby Carrot
Baby carrots are just regular carrots cut up and polished down. They're also the biggest thing to happen to carrots since orange. How did it happen?
2138
Making Sense of Dell and EMC and VMware
Dell recently announced an agreement to acquire EMC [NYSE: EMC] — and with it, control of VMware [NYSE: VMW] — in a deal valued at $67 billion at the time of the announcement. While analyses of the deal so far have been devoted to the (more straightforward) implications for the computing, storage, and networking…
2139
2140
2141
The Gig Economy
Warning: This post touches politics. The comments will likely be incendiary and polarizing. Don’t go into the comments if you don’t want to be annoyed or irritated. Many in the tech industry are taking these comments by Hillary Clinton yesterday as an ‘attack on Uber and the tech sector’: Meanwhile, many Americans are…
2142
2143
A domain move disaster
Changing my valuable domain name was a cock-up of epic proportions.
2144
2145
Don't Make Visitors Make Accounts
Few things bother me more than when I am forced to make an account to have some basic interaction with a website.
2146
Magento eCommerce PHP Remote Code Execution
Critical remote code execution vulnerability in Magento (SUPEE-5344). Patch immediately. Affects 200,000 stores. Includes patch download and analysis.
2147
Buenos Aires Censors and Raids the Technologists Fixing Its E-Voting System
Buenos Aires is currently in the middle of electing its mayor and city council. With a first round that took place on July 5th, and a second round due on July 19th, the election is the first time Argentina's capital city has used an electronic voting system called Vot.ar, created by local company...
2148
2149
2150
OS Technologies to Watch
If you just want to get in touch, you can talk to me in an emailwardly fashion here .
2151
2152
Inside Look at Valve's New Lighthouse Tracking System
While walking around the Bay Area Maker Faire this weekend, I stumbled across an amazing piece of technology: Valve's "Lighthouse" tracking system. Valve's demos were (supposedly) a major contributor to Oculus' fundraising efforts and ultimate sale to Facebook, and this device may have been a key piece of those demos…
2153
2154
DataLake
A Data Lake is a store that hold raw data as a source for data scientists to explore ways to gain information. It should not be accessed by end-users or used for system integration.
2155
2156
2157
2158
2159
2160
Nothing Is Agreed Yet – We Can Still Stop the TPP's Copyright Trap
Trade negotiators have a saying—that nothing is agreed until everything is agreed. What that means is that despite all of the deals that has been struck in the Trans-Pacific Partnership (TPP) negotiations so far, they remain tentative until each country signs off on the final agreement. A...