Viewing profile — tc

Rust Project/Foundation | Program Manager | Remote Rust is a programming language that helps people build reliable and efficient software at scale. It's a language that many people…

Here's the thing. Even if you're OK with Apple (or whoever) controlling what you can run on your computers, this is a centralization of power that will be co-opted. Let's say that …

George Orwell covered this basic point in `1984` (published in 1949): > The aims of these three groups are entirely irreconcilable. The aim of the High is to remain where they are.…

Could you perhaps speak to some of the engineering details that the paper glosses over. E.g.: - Are the action and information abstraction procedures hand-engineered or learned in …

The security of package managers is something we're going to have to fix. Some years ago, in offices, computers were routinely infected or made unusable because the staff were down…

The basic problem is that what he was doing for the first 12 months was right . Doing what a big company executive would have done would have been wrong . When the new CEO comes in…

In the West we have a false sense of security that totalitarianism will inevitably fail. We've seen so many examples of fallen tyrannical states. But many ideas fail the first few …

Let's summarize the situation: Abstract: S/MIME and MUAs are broken. OpenPGP (with MDC) is not, but clients MUST check for GPG error codes. Use Mutt carefully or copy/paste into GP…

Tesla probably shouldn't be saying anything about this at all, even just to avoid giving it more news cycles. But if they were going to say something, here's what they should have …

They want to build up the language compiler itself to better support machine learning. That requires a language with enough type information to support sophisticated analysis. It s…

Just as there's only one hero story, at a high level, there's only one founder story. TLB described this archetype some years ago: https://news.ycombinator.com/item?id=16523609

There's only one real answer. It's when you're ready to be a big company. But not just because you want to be a big company. Heavy hitters (i.e. former executives of big companies)…

Collective bargaining is probably the wrong metaphor. This is the principle-agent problem. The citizens would be better off if the elected officials worked to make their city the b…

As one example of how this can be useful, Jo and Bengio recently used Fourier filtering to measure the susceptibility of neural networks to adversarial examples. By changing the st…

This DSL seems largely motivated by the desire for provable compile-time bounds checking. One general-purpose modern language that can check bounds at compile time and generate cod…

When things will start getting interesting is when we figure out how to get move simulation and search into the network itself, rather than programming that on the outside. As far …

The PSTN and similar systems do target five-9s, but fortunately that only requires keeping it to ~20 minutes downtime over 4 years . ~20 minutes over 40 years would be six-9s. (* 1…

Geoffrey Hinton described doing this back in 2012. He noted that it learned more slowly but generalized better, he described how this is nearly isomorphic with dropout, and he pres…