david-gpu

6 ms·

91.
by david-gpu 2mo ago
Isn't the urban core of Boston remarkably walkable compared to the suburbs? https://www.walkscore.com/MA/Boston
92.
by david-gpu 2mo ago
A dense street network with complex intersections also means living in walkable urban cores vs car-centric suburbs.
93.
by david-gpu 2mo ago
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 aesthetics, when nobody is willing to pay for them.
94.
by david-gpu 2mo ago
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 how it needs to be tested, just like it has always been.
95.
by david-gpu 2mo ago
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 understanding of how LLMs and compilers work, it does not match my exp
96.
by david-gpu 2mo ago
Aqua and sodium chloride. Because saying water and salt doesn't sound posh enough, somehow.
97.
by david-gpu 2mo ago
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 automated testing catch any regressions. Tye same can be done wit
98.
by david-gpu 2mo ago
> 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. Human-produced is typically much more readable. Yet, he
99.
by david-gpu 2mo ago
Your one-short-paragraph blog post with a shallow personal preference discourages me from reading your blog. There was zero depth to it.
100.
by david-gpu 2mo ago
It is not the only way to learn.
101.
by david-gpu 2mo ago
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...
102.
by david-gpu 2mo ago
Try reading what Karpathy said again before reinforcing your biases.
103.
by david-gpu 2mo ago
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 very limited local reach? What if you have the ability and the
104.
by david-gpu 2mo ago
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 actual problem he was trying to address. He was a mathematician
105.
by david-gpu 3mo ago
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 would have guessed that it woul
106.
by david-gpu 3mo ago
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".
107.
by david-gpu 3mo ago
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 change a lot, potentially. More understanding the need
108.
by david-gpu 3mo ago
Because only people who work for Anthropic use AI tools? What is the reasoning here? The guy is a mathematician, after all.
109.
by david-gpu 3mo ago
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 at students who didn't know how to use vi. In the same
110.
by david-gpu 3mo ago
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. People said stuff like that in the 90s. I was there.
111.
by david-gpu 3mo ago
Indeed, the incentive is the opposite: hiding the fact that they used an AI would boost their own personal brand.
112.
by david-gpu 3mo ago
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.
113.
by david-gpu 3mo ago
Can we at least agree that it does not appear in ABOK when it was published in the 40s?
114.
by david-gpu 3mo ago
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 fishing knots are less than 20 years old.
115.
by david-gpu 3mo ago
Then you don't. But don't expect people who live in urban centers to cater to your needs when you don't live there.
116.
by david-gpu 3mo ago
Tell me about it! It is endless!
117.
by david-gpu 3mo ago
No one here actually cares about folding laundry. I can demonstrate it by pointing out at the absence of posts on that subject. ...but when an affordable robot that folds laundry becomes available, people here pay attention.
118.
by david-gpu 3mo ago
You asked for counterexamples, so I gave you a few. Did I misinterpret your question?
119.
by david-gpu 3mo ago
> They absolutely still exist That is precisely the point. They still exist, but it is a far less common occupation than it once was.
120.
by david-gpu 3mo ago
> You are assuming that the amount of work is finite, so more productive people implies fewer people are required. Is that the case though? Has it ever been? How many horse farriers have you met? How many coopers, blacksmiths, or shoem

More ›