teiferer

26 ms·

631.
by teiferer 10mo ago
That sounds great, but that experience of the 15000 or so people in Wollishofen can't be provided for the half a million folks living in Zurich. That's the whole point of Verdichtung. That you get higher density in exchange for sh
632.
by teiferer 10mo ago
You are free to have that opinion and I personally also find it a little too extreme, but the author's main point is a good one.
633.
by teiferer 10mo ago
I was looking forward to this, but "To continue reading this article you need to purchase a subscription, available from only £5."
634.
by teiferer 10mo ago
That's the exact opposite of what the article is about. The desire to time optimize, to rush it cause "this is sooo sloooow, booooring" is what creates only an illusion of time efficiency but you might discover that if you ac
635.
by teiferer 10mo ago
I've always taken issue with youtube clips content creators automatically (?) cutting pauses between words or people listening to podcasts in 1.5x or 2x speed or even clips already being sped up. Folks, your brain can't keep up.
636.
by teiferer 10mo ago
And this my friends is the reason why (only) focusing on CPU cycles and memory hierarchies is insufficient when thinking of the performance of a system. Yes they are important. But no level of low-level optimization will get you out of the
637.
by teiferer 10mo ago
We all agree that crafting the right prompts (or however we call the CLAUDE.md instructions) is a lot of work, don't we? Of course they put work into this, it's a file of substantial size. And then Claude used it to build the thin
638.
by teiferer 10mo ago
Indeed. There is a difference between "I have learnes by reading a lot of SO" and "I have copied the contents of this file verbatim from SO". Using Claude is very close to the latter without saying it.
639.
by teiferer 10mo ago
I fully agree with your overall message and sentiment. But let me be nit-picky for a moment. > The test cases are supposed to be the formal specification of our requirements Formal methods folks would strongly disagree with this statemen
640.
by teiferer 10mo ago
Could we please avoid the strawmen? Nowhere have I claimed that they didn't put work into this. Nowhere did I say that delegation is bad. I'd like to encourage a discussion, but then please counter the opinion that I gave, not a m
641.
by teiferer 10mo ago
You mean you told Claude a bunch of details and it built it for you? Mind you, I'm not saying it's bad per se. But shouldn't we be open and honest about this? I wonder if this is the new normal. Somebody says "I built Xy
642.
by teiferer 10mo ago
> Literally every business is based on the idea of tacking on a margin onto someone else's work and profiting from it. Hm? I am in landscaping. I mow people's lawns. Sure I didn't build the machinery myself, but the main v
643.
by teiferer 10mo ago
Um I doubt Debian maintainers look at every single line of code in the packages they maintain.
644.
by teiferer 10mo ago
It's hard to take a project seriously if it focuses so much on the language it's written in. As a user, I don't care. Show me the results (bug tracker with low rate of issues), that's what I care about. Whether you progr
645.
by teiferer 10mo ago
I think you missed the point. This was about whether proven-correct-but-unmaintainable-by-a-human is preferable over maintainable-but-not-proven-correct. I argued that no, it is not. If you change the two options at hand, then of course the
646.
by teiferer 10mo ago
> In my experience, the more information is encoded in the type system, the more effort is required to change code. I would tend to disagree. All that information encoded in the type system makes explicit what is needed in any case and i
647.
by teiferer 10mo ago
> rather than having humans review AI-generated code, I’d much rather have the AI prove to me that the code it has generated is correct. If it can do that, I’ll take AI-generated code over handcrafted code (with all its artisanal bugs) a
648.
by teiferer 10mo ago
This article alone seems to be proof that the AI tasked with creating those fake articles was instructed to make the contents somewhat satirical.
649.
by teiferer 10mo ago
You are laughing. IBM has already been there, with DB2 having essentially been the OS on mainframes a few decades ago.
650.
by teiferer 10mo ago
Never stops fascinating me how folks are arguing this kind of thing. Why make up an explanation for why this obvious mistake is actually some kind of elaborate 4D chess sarcastic "intention"? It's a simple machine, its netw
651.
by teiferer 11mo ago
> much like the faith required of scientist today You might be missing the point of science. It's ultimately an endeavor of finding testable descriptions of the world in the face of being fallible. It's not about the "why&
652.
by teiferer 11mo ago
None of the issues in the article are specific to electric cars. This isn't even one, it's a plug-in hybrid. A modern ICE car will have the same issues of having too much electronics inside.
653.
by teiferer 11mo ago
None of the issues in the article are specific to electric cars. This isn't even one, it's a plug-in hybrid. A modern ICE car will have the same issues of having too much electronics inside.
654.
by teiferer 11mo ago
PHEV is plug-in hybrid, for those not familiar with terminology.
655.
by teiferer 11mo ago
Depends what you mean with "AI". Actual intelligence? Yeah, maybe. LLM? No, they don't actually reason, an activity that Einstein did a lot of and without which coming up with his theory would have been impossible. He didn&
656.
by teiferer 11mo ago
There is also the difference in using space around em-dashes.
657.
by teiferer 11mo ago
Because the pyramids, the theory of general relativity and the Linux kernel are all totally comparable to ChatGPT output. /s Why is anybody still surprised that the AI bubble made it that big?
658.
by teiferer 11mo ago
> you shouldn’t use an LLM to do a linter &formatter’s job, Why is that good advice? If that thing is eventually supposed to do the most tricky coding tasks, and already a year ago could have won a medal at the informatics olympics,
659.
by teiferer 11mo ago
> could be they live in a country with lots of wind and solar power, if we're being charitable. Because solar wind and hydro have no impact on the environment at all. Or nuclear. I wish people would understand that waste is waste. E
660.
by teiferer 11mo ago
> old gaming PC with a Ryzen 1600x, 24GB of RAM "Old", right. That old PC I'm about to throw away has 2 GB of RAM.

More ›