481
I deduce you are studying logic
This summer I was at LC2015, the big European logic conference (it was great). I was sitting listening to a talk with one of my logic buddies when the speaker mentioned “deontic logic”,…
New
The latest blog posts to take off on Hacker News. 1,895 posts.
482
Volkswagen and Cheating Software
Portuguese translation by Ricardo R Hashimoto For the past six years, Volkswagen has been cheating on the emissions testing for its diesel cars. The cars’ computers were able to detect when they were being tested, and temporarily alter how their engines worked so they looked much cleaner than they actually were. When…
483
484
485
Doing an HD Remake the Right Way
This is part 1 of a series. Part 2 (regarding Final Fantasy VI) is here [https://www.fortressofdoors.com/doing-an-hd-remake-the-right-way-ffvi-edition/]. -------------------------------------------------------------------------------- Final Fantasy V [http://store.steampowered.com/app/382890/] just came out on Steam…
486
Avoiding the Adjective Fallacy
You're reading this, so I'll assume your English is pretty good. What's wrong with these phrases? Do you have a logical reason for why they sound strange? Or…
487
LALRPOP, an LR(1) parser generator for Rust
Around four years ago, when I had first decided to start at Mozilla research, I had planned to write an LR(1) parser generator. It seemed like a good way to get to know Rust. However, I found that newborns actually occupy somewhat more time than anticipated (read: I was lucky to squeeze in a shower), and hence that…
488
Functional-navigational programming in Clojure with Specter
In February I open-sourced a library called Specter , and in my own work it has become by far my m...
489
Let a thousand flowers bloom, then rip 999 of them out
For the past eleven months I’ve been the tech lead for Twitter’s Engineering Effectiveness group. Engineering Effectiveness is our name for what elsewhere might be called Developer Tools, Developer Productivity, Engineering Infrastructure, or Developer Efficiency. We provide the tools and processes that allow the rest…
490
The Case of Richard Glossip
September 2015 I used to think the debate about capital punishment was a matter of abstract questions like when it is permissible to kill someone. In practice it isn't. In practice the problem...
491
MathBox 2: PowerPoint Must Die
PowerPoint must die.
492
Data first, not code first
Developers hate him! We'll cover some standard tips and tricks here, but we're not really interested in those. We're looking for the One Weird Trick to rule them all. Hopefully each trick we encounter brings us closer to coding Mecca. In the beginning The first video game I ever wrote was called Ninja Wars. Yes, that…
493
Airbnb and San Francisco
Airbnb has recently been attacked by San Francisco politicians for driving up the price of housing in the city. San Francisco has tried, and will continue to try, to ban Airbnb in various ways....
494
495
496
497
Sex, Circuits and Deep House
Cari with the Institute Blinky Badge at Burning Man 2015. Photo credit: Nagutron.
498
Running Rust on the Rumprun Unikernel
The Rust programming language has been able to run on bare-metal without the standard library for quite some while now. However, most Rust applications depend on the std crate, and therefore still need a full operating system to run.
499
Getting started with Meteor and React
A mid-depth cap with classic style for any occasion, this Nike Club Cap comes in smooth cotton twill that's been softly washed for casual, daily comfort. Soft and unstructured, the precurved bill makes for easy styling, and the adjustable back-strap lets you find the right fit. Nike Hat Size 6 1/2 6 5/8 6 3/4 6 7/8 7…
500
Haskell and floppy disks in Norwegian government
Update December 2015: This project has now ended and the floppy era is over - for me at least. The project has been featured quite a bit in the press and blogosphere. Most notably: BBC World Service (14min12sek in) CBC Spark Norwegian National Broadcasting (NRK) Dagbladet (national newspaper) While mass production of…
501
How I hacked my IP camera, and found this backdoor account
The time has come. I bought my second IoT device - in the form of a cheap IP camera. As it was the most affordable among all others, my exp...
502
Google fixes nearly decade-old Linux kernel TCP bug
The Google transport networking crew (QUIC, TCP, etc..) deserve a shout out for identifying and fixing a nearly decade old Linux kernel TCP ...
503
504
505
506
507
Epistemic learned helplessness (2013)
Your life is the best story! Just start your blog today!
508
Stupid Apps and Changing the World
An article came out today in Businessweek about arrogance and Silicon Valley. I thought it was good, but there was one more point I wanted to make. People often accuse people in Silicon Valley...
509
510
Call Me Maybe: Percona XtraDB Cluster
Percona’s CTO Vadim Tkachenko wrote a response to my Galera Snapshot Isolation post last week. I think Tkachenko may have misunderstood some of my results, and I’d like to clear those up now. I’ve ported the MariaDB tests to Percona XtraDB Cluster, and would like to confirm that using exclusive write locks on all…