joshuata

Keep reading. The piece is satire.

A killer starting place for me would be FreeBSD builds to support FreeNAS.

I am glad that it is useful for you. It bugs me though that Twitter is trying to force everyone to use their service the same way. I want to use Twitter more like an RSS reader to catch interesting news stories and blog posts. The fact that they are actively discouraging using their platform like this is infuriating.

The one that kills me is "In case you missed it". I read my twitter chronologically, and removing tweets from that order in order to show them closer to the top (and therefore later) is the exact opposite of what I want.

(Diehard vim keybinding user, but editor/IDE nomad) For an expert, I'm not sure that there is anything that st3 has that cannot be achieved by the other two with a combination of plugins and customization.

The biggest difference I have seen is reasonable defaults for a new user. I have lots of friends and coworkers who use Sublime because dropping into vim/emacs is like entering an alternate dimension. They expect to click around and edit text similar like any other program on the computer (which vim lacks) and have a sensible menu system (which emacs lacks). Sublime uses standard system keybindings, so that e.g on a mac Cmd-S saves the current file like you would expect. This is possible to do on both vim/emacs, but not the default. It is really difficult to convince a brand new user that the first step they need to take is opening some random hidden file and customizing their entire editor in a custom configuration language just to get the system default behavior.

My biggest complaint is that albums I have added will occasionally be split, with one or two songs becoming the versions from a “best of” album, leaving two separate albums in my library. This randomly happens to 2-3 albums a month, and my only notification that anything changed is that some random album, often a compilation, shows up in my collection, or I am listening to the album and the songs do not a show up and are skipped.

It is absolutely infuriating that it fails at even keeping track of the songs you have added to your library. That should be one of the most basic features possible.

I wish this were true, but the amount of fake news spread by trusted news networks, such as newspapers spreading Russian propaganda bots, implies that education isn't sufficient. If a professional cannot discriminate between truth and lies on twitter how can an average person?

I’ve been using the wirecutter’s recommended mask for a while and it has been great. It has that same cupped shape that you describe.

I use a combination of blackout shades, Philips hue lights, and the Sleep cycle app on my phone. It starts the lights very dim and red at the beginning of a 20 minute wake up window, slowly brightens them, and then rings the alarm whenever I start rolling over. It is a little complicated, but it has worked well for a few years now.

From what I understand, the only people that are charged access to the service are large organizations that want callbacks when new data that matches their users is entered. This seems like a very reasonable balance between making money to pay for hosting related fees, and providing a free and publicly available service.

He has written about that very problem here: https://www.troyhunt.com/the-ethics-of-running-a-data-breach...

I believe it is an appeal to nature rather than a naturalistic fallacy.

I have kept that setting for the last 3 years, but with iOS 11 it has been causing frame drops and glitchy-ness with the new iPad control center and multitasking setup.

I regularly have issues with gboard where it won't accept the first 5-10 keypresses when I open it. It's especially bad within Google's own apps.

Also, you have to design for performance. There are plenty of ways to architect code that lock you out from future optimizations. I agree that small optimizations such as different referencing techniques should be measured, but you should be able try both out, and "premature optimization is evil" often keeps you from optimizing ever.

rr wouldn't help in this case. From the docs, it "emulates a single-core machine. So, parallel programs incur the slowdown of running on a single core." The skylake bug only occurred under heavily threaded loads.

I had an old 86 Honda CRX (two seater), and figured out how to fit my bass, amp, and two cellos. I'm pretty sure I couldn't do it again. The main trick, though, is to recline the passengers seat and sit the bass in it.

Yes, competitive SAT solvers are very complicated. However, they are not outside of most developers' abilities. During a verification course at my University we had to build a simple SAT solver. Most students were able to complete the project in ~20-30 hours. Mine wasn't fast, but it worked well enough to be a proof of concept.

Also, saying that NN are easy with a library like tensorflow is akin to saying that Sudoku solvers are easy with Prolog. Of course they are! The library/language does the vast majority of the heavy lifting.

It is important that Plex comes in two parts: the server and the player.

I would absolutely recommend Plex Media Server as a backend. It is very powerful and has great support by the community (see PlexPy). It makes it very easy to store all my media on my home NAS and watch it from any device, even outside of my house. There isn't really anything like this for Kodi that I have found.

For frontends, Plex Media Player is alright but you can also use Kodi with the Plex plugin. This is especially useful since there are no linux builds of Plex Media Player available. I don't really have a preference for one or the other.

Would it be possible to upload an extension for Opera? I believe the platform is essentially identical.

An interesting solution to this problem is verification witnesses[1]. A witness is a machine readable record of a verification task. Several different programs can read the witness and verify it independently. It is especially useful for counterexamples, where it can be a simple program trace to the error state. Given the input program and witness another can check whether the error state is reached.

[1] https://www.sosy-lab.org/~dbeyer/verification-witnesses/

My mistake. I was trying to point out that the OBD2 protocol is not inherently unsafe. I would love to see a new standard emerge for securely interacting with the various systems and processors in a car, but I'm not very hopeful given their tendency to lock-in.

OBD2 is incapable of doing any of those things. It is a diagnostic interface to read out information about important systems. There is a standard set of data streams, and vendors add customizations on top. So any OBD2 scanner should work on any car, but it may not be able to parse/display non-standard data streams.

There is some danger of control over the interface, but the interface does not specify any control operations beyond resetting diagnostic codes. The vulnerabilities in the interface stem from automakers repurposing the protocol, and are model/maker specific.

It seems like another protocol would only help if it defined control mechanisms so that carmakers would stop abusing OBD2.

A note about nix: I've found the language to be very obtuse and the documentation out of date and fragmented. However the worst sin has been the attitude of several community members: insulting new developers, ignoring valid questions, and self-promotion at the expense of civility. I love the idea behind the system and like most of the community, but the very vocal jerks really put me off.

Possibly, but types can encode far more than just the structure of data. Rust, for example, uses types to encode lifetime and ownership information. Haskell uses the IO monad to encapsulate non-determinism. Neither of those have equivalent concepts at the IR level.

It's not a set law, but more expressive type systems almost always increase the class of properties that can be "easily" proved in a language. I work on a verification tool for C/C++ programs and we constantly struggle with the languages. Pointer arithmetic and aliasing dramatically complicate any possible analysis, and these problems are only exacerbated at a lower level IR/ASM level.

It might be able to, but there are no guarantees. That is the real benefit of strong and expressive type systems: It can prove properties of the program at compile time. An equivalent program could be written in c, brainf*ck, or even a Turing machine, but it gets harder and harder to prove properties like memory safety the less structured the language.

Ripgrep only uses mmap() when it is searching very few files. For anything beyond that it uses intermediate buffers.

Absolutely use it for side projects! I have used it for a lot of small throw-away sites and loved every minute.

It's up to you whether you trust it for large products, but so far it has been fairly magical for me.

Absolutely! I've tried so many other tools, but LaTexTools + Skim is so simple. It makes writing LaTex almost comfortable.

(I love LaTex, but it is still one of the most frustrating pieces of software ever conceived.)

My worry is something like Verizon's "super-cookies"[1]. You can block requests to known tracking websites relatively effectively, but if tracking can be added outside your network there is no possible way to fight it.

[1]: https://www.eff.org/deeplinks/2014/11/verizon-x-uidh