zmgsabst

7 ms·

61.
by zmgsabst 2mo ago
Project LANA ran into the same roadblock as Scholze and Stix, when they attempted to formalize the proof in Lean.
62.
by zmgsabst 2mo ago
I’m not convinced. In history, we made much more use of hitting things with bows than abstractly comprehending arrow flight.
63.
by zmgsabst 2mo ago
Abstract polynomial algorithms are of no use either, eg, translation may require galactic constants or high powers that are still intractable. We only compute with two kinds of things: - small data; or, - extremely lower power and coefficie
64.
by zmgsabst 2mo ago
To be fair, “s’kiddies will exploit low hanging fruit with semi-automated vuln scans” is a lot more realistic threat than “LLMs are going full Skynet any day now!” I’d definitely suggest companies start addressing that first concern, even i
65.
by zmgsabst 2mo ago
> It's an LLM, it doesn't think. It's a machine that predicts the next token, given a sequence of tokens. These can both be true, particularly when there is substantial state associated with each token prediction.
66.
by zmgsabst 2mo ago
LLMs routinely mindlessly repeated propaganda in their training data. I’ve yet to see a single one identify that on its own, rather than only reluctantly when confronted when documented facts it was objectively wrong. So no, I doubt LLMs wi
67.
by zmgsabst 2mo ago
Quotas were rules illegal in 1978. I listed them as one of a sequence of continued (and later ruled illegal) bigoted practices, over time. > 1978 — Regents of the University of California v. Bakke, 438 U.S. 265 (1978) — The UC Davis Scho
68.
by zmgsabst 2mo ago
This is how language evolves. For supermajority: the construction means “beyond majority” or “above majority”, it is implemented as a higher percentage in most systems, and there is a utility in being able to refer to high ratio majority. S
69.
by zmgsabst 2mo ago
Even if the total cost is the same, if our payments better align with the behavior we want to incentivize, we may gain greater utility from the spending. So it can matter how we distribute that revenue as to whether or not the business resp
70.
by zmgsabst 2mo ago
They refused to give money unless your application included a section explaining how you supported Democrat social ideology, during the Biden administration. So called DIE-statements.
71.
by zmgsabst 2mo ago
This is a tangent, but your setup sounds interesting to me — would you share more about how to configure such for myself?
72.
by zmgsabst 2mo ago
Yes — the Roman Empire was in a period of retreat and reformation when it formed. That’s my point: The US has neither entered an empire nor the decline post-empire because it gained territorial holdings over the past century — that’s consis
73.
by zmgsabst 2mo ago
I agree with you right until the end: This is closer to the end of the Roman Republic — and strange events such as threats against Greenland and Canada can be interpreted in that context as well. That is, we’re not seeing the downfall of th
74.
by zmgsabst 2mo ago
Robert Pape has been giving interviews on Mario Nawfal’s channel, among others. I also appreciate his perspective. https://www.youtube.com/@MarioNawfal/search?query=Robert+pap...
75.
by zmgsabst 2mo ago
Yes — the US has helped Taiwan build them all over their mountains.
76.
by zmgsabst 2mo ago
No — I meant worse health. You die in both scenarios, you live slightly longer (eg, 8 months versus 6 months) and during the overlap, you are less healthy than you would have been. Losing 6 months of seeing family, enjoying trips, etc due t
77.
by zmgsabst 2mo ago
This is important when discussing (eg) cancer treatments: a treatment may leave you alive for longer but in worse health — and therefore, it’s unclear which is preferable.
78.
by zmgsabst 2mo ago
We’ve had the public gambling on sports off-and-on since Roman chariot racing. People don’t have to feel any certain way, but I find many of the comments seem detached from the fact there’s millennia of history about sports, gambling, etc;
79.
by zmgsabst 2mo ago
For the record, the conspiracy is Obama and Trump funded the COVID-19 pandemic via EcoHealth Alliance (and Trump funded the vaccines in late 2019, before COVID was public) in direct circumvention of the Obama era prohibition on dangerous ga
80.
by zmgsabst 2mo ago
MBAs declaring how fields they know nothing about should operate is our general model of business since the 1980s or so. I don’t think it has worked well, but this is continuing the trend rather than a deviation.
81.
by zmgsabst 2mo ago
That’s every administration. See previous requirements for ideological statements to receive funding.
82.
by zmgsabst 2mo ago
I do this in my own harness, where a context only exports certain messages when you step out of it — eg, my request for an essay and its final output, while dropping everything from the first draft through various intermediary edits. That n
83.
by zmgsabst 2mo ago
HoTT distinguishes equality from equivalence. Univalence says that equality is equivalent to equivalence, ie, formalizing the notion of when we can use equivalence rather than equality as a step in a proof. In practice, we often only care a
84.
by zmgsabst 2mo ago
You’re correct that those things are also what mathematics is about — but they’re less constrained, hence current LLMs aren’t as good at them. However, your last question is incorrect: people are working on that, but there haven’t been hu
85.
by zmgsabst 2mo ago
I’m actually talking about the period from 1950-1980 on the chart labeled: “Percentage of married men by race, 1950–2024” You can see the collapse of black marriages started earlier and is steeper than other demographics — though eventually
86.
by zmgsabst 2mo ago
The sharecropping nature was intentional, ie, their vision of subservient people generating wealth for the state which it then distributed for their basic needs rather than those people owning property by which they could do for themselves.
87.
by zmgsabst 2mo ago
In the case of food stamps, that was the leverage by which social engineers destroyed the black family via incentives for single mothers — collapsing from 75% married (circa 1950s) to 25% married (modern). The “Welfare State” is nothing but
88.
by zmgsabst 3mo ago
If you use the definition from On Bullshit , then bullshit is a statement made without regard for truth value because of its utility to the speaker. As such, LLMs can only bullshit.
89.
by zmgsabst 3mo ago
…yes? The amount of text isn’t equal and the benefit is primarily that I can push the LLM into a basin you don’t know the keywords for — something that takes a few minutes to type a couple sentences and me scan the results to make sure they
90.
by zmgsabst 3mo ago
Engineers are part of the petite bourgeoisie so they need to speak appropriately to the monied class.

More ›