Viewing profile — david-gpu

Isn't the urban core of Boston remarkably walkable compared to the suburbs? https://www.walkscore.com/MA/Boston

A dense street network with complex intersections also means living in walkable urban cores vs car-centric suburbs.

How much money are these companies going to make by reducing their weather app to 1MB, or 10MB? How much is it going to cost them to get there? The world doesn't run on personal ae…

LLM inference can, with a bit of know-how, made 100% deterministic. Of course tests need to be maintained. They have always been. And the test plan you write determines what and ho…

I am not suggesting the use of LLMs to replace compilers. I am proposing LLMs transforming detailed text-based specifications and design documents into code. As for your understand…

Aqua and sodium chloride. Because saying water and salt doesn't sound posh enough, somehow.

1. Compilation has typically not been deterministic. Even within the same exact compiler tool chain version. 2. Compilers and building tool chains change all the time. CI and autom…

> Meanwhile, one peak at the code and you can already see the state starting to become a bit of a spaghetti mess. That is how compiler-generated assembly looks to humans, as well. …

Your one-short-paragraph blog post with a shallow personal preference discourages me from reading your blog. There was zero depth to it.

It is not the only way to learn.

Anecdotally, I have heard people with ADHD reporting that caffeine calms them down. Maybe worth a shot? https://www.psychologytoday.com/us/blog/the-venn-diagram-lif...

Try reading what Karpathy said again before reinforcing your biases.

Cogs in the machine do not have the decision power nor even the visibility over how those decisions are made. What are you going to do? Only work for tiny little companies with ver…

I had a college professor do the exact same thing in class: he made a fairly subtle mistake formalizing his specification, and thus his proof was perfect but did not solve the actu…

In Spanish, "último" is ambiguous, and can mean either last or most recent. Funnily, in Galician there is a distinction between "último" (most recent) and "derradeiro" (final). I w…

[flagged]

The OP does not appear to be a native English speaker. And, for example, languages like Spanish don't clearly differentiate between "last" and "latest".

We don't have very many coopers left, either. Sometimes technological progress makes some occupations obsolete. I don't think software engineering will disappear, but it could chan…

Because only people who work for Anthropic use AI tools? What is the reasoning here? The guy is a mathematician, after all.

I am just saying that people have been making these sorts of shallow dismissive comments about people who use different tooling since forever. I remember a college professor snided…

The existence of a "do anything" IDE causes humans to forgo learning the multitude of tools we already have. I suspect there will be no next generation of software engineers. Peopl…

Indeed, the incentive is the opposite: hiding the fact that they used an AI would boost their own personal brand.

The actual quote is (=emphasis= mine) : > they haven't made new IMAX =film= projectors in about 50 years Digital projectors have been the norm for a while now.

Can we at least agree that it does not appear in ABOK when it was published in the 40s?

You would be surprised. New useful knots are still being found. E.g. The Zeppelin bend is exceptionally good and was invented in the 60s. The icicle hitch is from the 90s. Some fis…