fauigerzigerk

5 ms·

61.
by fauigerzigerk 5mo ago
Neither is very likely in my opinion. I think the tech will work well for some tasks where a formal feedback loop exists (such as coding). In other areas it will take many years to adapt business processes and roles to make the best use of
62.
by fauigerzigerk 5mo ago
>One year of work could require levels of complexity and human judgement that can't be accelerated past a certain point. In other words, if you include everything that's required to create useful software then 100x turns out
63.
by fauigerzigerk 5mo ago
>Yes, SQL is based around relational algebra, but all programming languages are built on a theoretical foundation. While true on some level, I don't think this is a very useful statement. The importance of mathematical foundations
64.
by fauigerzigerk 5mo ago
The way to learn advanced SQL is to challenge yourself to find a set oriented solution and avoid procedural code. The more unreasonable it feels, the more you learn. If the solution you find is longer and not much faster than the procedural
65.
by fauigerzigerk 5mo ago
I agree. Mail.app is one of the buggiest pieces of software I have ever used. It has some nice features as well, especially the editor. But some of the bugs I have experienced were catastrophic, such as silently failing exports that appeare
66.
by fauigerzigerk 5mo ago
But what we want is a lot of ambiguity on the implementation side and some targeted ambiguity on the specification side where appropriate.
67.
by fauigerzigerk 5mo ago
I do think that AI models should get better at logic. But if code generators are supposed to be tools, we have to tell them what to do. I'm not sure what combination of languages is best for that purpose.
68.
by fauigerzigerk 5mo ago
It absolutely should be Turing complete. I want to formally specify some constraints/invariants that any generated code has to meet, like very high level test cases. It doesn't have to be a new language. I'm sure some existin
69.
by fauigerzigerk 5mo ago
IMO neither Go nor Rust are great for reading/reviewing code. Go is too verbose and the type system isn't expressive enough. Rust code is littered with little memory management details and it requires tons of third party libraries
70.
by fauigerzigerk 5mo ago
I think some tests should be considered to be part of the specification rather than the product.
71.
by fauigerzigerk 5mo ago
So what you're saying is that something far worse happened here. They did test for flooded streets but some slight difference caused the model to fail in real life. To be fair, there will always be something that fails. So the more imp
72.
by fauigerzigerk 5mo ago
>Its basic math Yes, once you have modeled the problem correctly and you know all the input parameters. This is not that: Session# * tps * 86400 (secs in a day) * 30 days. I don't think there is enough public information to check
73.
by fauigerzigerk 5mo ago
I think explanation is itself a rather complex concept. At what point do we consider something as explained? Usually it has to do with identifying some causal factors and their relationships so that we can intervene and explore counterfactu
74.
by fauigerzigerk 5mo ago
Scarcity of natural resources is squarely within the realm of economics 101. The open question in my mind is for how long semiconductor demand will continue to grow faster than we can increase production capacity.
75.
by fauigerzigerk 5mo ago
Because predicting the future roughly as well as everyone else doesn't make you rich. Predicting a surge in RAM supply after a surge in RAM demand and a huge increase in RAM margins is economics 101.
76.
by fauigerzigerk 5mo ago
I may be able understand any given line of code but not necessarily all of them. The capacity of AI to generate code will quickly exceed human capacity to read and understand it. Also, code quality matters for AI as well. Maintaining a mill
77.
by fauigerzigerk 5mo ago
>I do not care how software gets built. Only that it works. I mean, I agree on a very high level of abstraction. But my problem is that I need to understand how software gets built so that I can have confidence in my ability to maintai
78.
by fauigerzigerk 5mo ago
>The problem is introduced in Altman's case if (a) there was no disclosure (red flag) The article says the investments were disclosed: "OpenAI board chairman Bret Taylor defended Altman in a court hearing Monday, testifying
79.
by fauigerzigerk 5mo ago
iOS takes a very different approach to managing app memory though. And the intended purpose of a phone isn't quite the same as that of a laptop either, especially not for people who don't have an extra 128GB memory machine lying a
80.
by fauigerzigerk 6mo ago
Does that mean they actually support these regulations or could it mean that they think sounding supportive benefits them? Even if they really did support a particular regulation, it could be to prevent a version of the same regulation that
81.
by fauigerzigerk 6mo ago
This is grasping at straws. Centralised social media platforms have won long ago for completely different reasons (mostly network effects and convenience). They haven't been threatened by independent sites for ages.
82.
by fauigerzigerk 6mo ago
The EU's own experts have modeled it. At least that's my understanding of what they are saying in their "Privacy risks and mitigation" document [1]. Section 5 mentions that this issue could be mitigated at some point in
83.
by fauigerzigerk 6mo ago
Have you read the spec? I have, but I don't understand how the revocation flow is supposed to be safe against collusion between issuers/governments and site owners to reveal the identity of (age verified) users.
84.
by fauigerzigerk 6mo ago
The defense analogy makes absolutely no sense. All the examples are of production shutdowns or reductions. Knowledge was lost because people retired and not replaced at all. None of it was lost to automation. Automation is the exact opposit
85.
by fauigerzigerk 6mo ago
>So what's worth 380 billion exactly? The brand? Whatever it is that leads to a $30bn run rate, growing >200%. Right now it's having the better model and being able to show how to use it in specific verticals. But I suspec
86.
by fauigerzigerk 6mo ago
>(a) it's ability/desire to make such investments is still driven by stock-driven optimism I don't think it has much to do with the stock price at all. Current platform oligopolists fear the rise of new platforms. They w
87.
by fauigerzigerk 6mo ago
>Companies using the value of their shares to fund demand for their services. That's not what's happening here though. Google isn't using the value of its shares to fund demand. Google is using its own cash flow to fund
88.
by fauigerzigerk 6mo ago
I noticed that too (and changed it). The home folder appears to be world readable because otherwise sharing via the Public folder wouldn't work. The folders where the actual data lives are not world readable. I think this is a bad idea
89.
by fauigerzigerk 6mo ago
I use a separate dev user account (on macOS) for package installations, VSCode extensions, coding agents and various other developer activities. I know it's far from watertight (and it's useless if you're working with bitward
90.
by fauigerzigerk 6mo ago
That's beside the point. The question was whether the salaries that would have been paid for the working hours replaced by the machine are a realistic yardstick for the market price of the machine. That's clearly not the case in a

More ›