voxl

8 ms·

91.
by voxl 8mo ago
There is zero evidence that LLMs can do anything novel without a human in the loop. At most LLM is a hammer. Not exactly useless by any stretch of the imagination, but yes you need a human to swing it.
92.
by voxl 8mo ago
Are you crazy or am I because I scrolled through that blog and am left scratching my head at you and your claim.
93.
by voxl 8mo ago
And the entire organizational structure we base ourselves around also collapses routinely throughout history. The supreme court has demonstrated that they are corrupt, the only solutions at this point are radical.
94.
by voxl 8mo ago
Not overtly but the subtext is there, but you also miss my point: there is no argument to give. There is no good faith argument with this supreme court. Unless you're the kind of person who is going to defend overturning the precedent
95.
by voxl 8mo ago
I'll bite. We live in a society where the 2nd amendment is a rorschach test for interpreting century old English. Yet, because of how people feel , particularly a couple of activist judges, it has been given the strongest possible int
96.
by voxl 8mo ago
I think there is a coming storm as you say: the disinformation crisis on overload. Even what you present makes my eyes roll as a more competent person in the room. It's not an impressive website, it's a carbon copy of plenty of si
97.
by voxl 8mo ago
Most research is boring incremental stuff, and very often you will find a dejected or disappointed individual that realizes this. The invention of relativity only made one scientist a household name. I guess everyone else that came before a
98.
by voxl 8mo ago
Yes, American Hitler is in fact Hitler perhaps you're cool with: 1. Extrajudicious execution of US citizens 2. Construction of concentration camps 3. Openly saying that you'll interfere with state elections 4. Openly saying you&#x
99.
by voxl 8mo ago
I voted for Bernie in the primary, for Hilary; Biden; and Harris in the general elections. At no point did I think to myself "Now is the time to be an idealist about the DNC, right when we're combating fascism" The DNC is an
100.
by voxl 8mo ago
How is this a counter argument for anything? A more permissive license is not inherently a bad thing. Many C and C++ projects are also abandon or in so-so condition, why you uniquely call out Rust makes little sense. Either sudo-rs fills th
101.
by voxl 9mo ago
yeah, trust is real important. Wait, what's that. Stop the count? Don't count all the votes because it's taking too long? Where have I heard that before... What political, totally not fascist, group of people have supported a
102.
by voxl 9mo ago
Because what it really means is "we directed the AI, it translated our ideas into Lean, the Lean tool then acted as an oracle determining if anything as incorrect, doing literally all the hard work of of correctness, and this process l
103.
by voxl 9mo ago
The mythical "doctors" recommending high protein.. Yeah okay bud.
104.
by voxl 10mo ago
How is it not trivially solved by a discussion section? Why is your solution better for someone else's work flow? Why do you feel like you get to impose your way of doing work on an open source project?
105.
by voxl 10mo ago
Perceiving corpos as "simple profit seeking entities" is some of the most naive Milton Friedman crap. Corporations operate as an amalgamation of the desires of a group of powerful enough influencers, of which your rank and file in
106.
by voxl 10mo ago
Dafny has been around for a while and people do in fact use it. People also apply contract languages to C and all matter of other things, so really question boils down to "Why arent you doing what I expect of you?"
107.
by voxl 10mo ago
Your analogy completely misses the point. What is harder? Designing a game that has relevant implications in physical reality, or playing a game already designed given an oracle that tells you when you make an incorrect move?
108.
by voxl 10mo ago
Yes.. yes.. sure, of course... You neglect this one little detail: theorem proving IS programming. So if an AI can be "better than a fields medalist" (a laughable claim akin to basically calling it AGI) then it will be better than
109.
by voxl 10mo ago
The reality is he wasn't wrong, he just didn't care to deal with the tone policing concern trolls of HN and elsewhere.
110.
by voxl 11mo ago
I'm not sure if you're just choosing intentionally obtuse verbiage or if you're actually saying something completely incoherent. "Overall Complexity" is a meaningless term without you defining it. I suppose you mean
111.
by voxl 11mo ago
All definitions are arbitrary if you're unwilling to couch them in human experience, because humans are the ones defining. And my main difference is right there in my initial response: an LLM is a stateless function. At best, it is a s
112.
by voxl 11mo ago
There is a stupid presupposition that LLMs are equivalent to human brains which they clearly are not. Stateless token generators are OBVIOUSLY not like human brains even if you somehow contort the definition of intelligence to include them
113.
by voxl 11mo ago
Of course, I agree. But in the context of education if you reject the above (which MANY people on HN do) then you're delusional. There is nothing nice I have to say about it, and I know how dearly the HN crowd loves to clutch their pea
114.
by voxl 11mo ago
These are two indisputable facts about our world, if you disagree you are wrong and anti-science: 1. Gender is a social construct 2. Whiteness is a social construct and in particular has been used as a bludgeon against minority "non-wh
115.
by voxl 11mo ago
This is ridiculous. A consumer doesn't want to die. Life saving "medical products" can be too expensive even with completely honest and well intentioned pricing. The whole point of the system is good people want to pool resou
116.
by voxl 11mo ago
God forbid you actually have to interact with an extermist on the left if you think the geriatric liberals running the show in the democratic party are any kind of extremist.
117.
by voxl 1y ago
It's a great comedy that someone comes along with a "think of my grandma!" appeal to emotion while neglecting that there is no way mom side loaded a virus and it's way more likely they opened Google chrome or some email
118.
by voxl 1y ago
What is your evidence that it is a joke?
119.
by voxl 1y ago
Only if you get conversions, and this case it's worse because you wanted valuable conversions. Being swamped with morons that want to ride a 300k salary for a month or two before they get the boot is not the kind of applicant you want
120.
by voxl 1y ago
The hilarity of the very first comment I read after this one being someone complaining that this is the work of the anti christ and nothing will be sacred anymore.

More ›