twothreeone

6 ms·

1.
by twothreeone 13d ago
Worthless is a pretty good description IMO in the context of what Lean is trying to achieve: "enable correct, maintainable, and formally verified code". Tens of millions of lines of LLM vomit may be many things, but it often turns
2.
by twothreeone 23d ago
Right, exactly that was what I meant. Thanks for clarifying. I remember being surprised by this when I heard it on NPR a few weeks ago.
3.
by twothreeone 23d ago
I mean they're right, rising oceans will be a drop in the bucket for the majority of us. Unless we act together, human civilization will end through the combination of breakdown of global trade, mass migration due to heat and resource
4.
by twothreeone 26d ago
The implicit "men born outside the US are not men" is arguable worse.
5.
by twothreeone 26d ago
In the first case they (the US govmnt) could hold him (the citizen) in contempt (in a cell) indefinitely.
6.
by twothreeone 27d ago
While I tend to agree on the overall sentiment, I think this rebuke is inaccurate. Some of these "reasoning" models are trained using "Chain-of-Thought" where the model is presented explicit, intermediate reasoning steps
7.
by twothreeone 29d ago
Well, one obvious question is if the simulated brain experiences pain, or more generally can it suffer? And if so, how would we tell.
8.
by twothreeone 1mo ago
But Matthew, think of the kids!!1 Honestly though, framing this as a "tech issue" doesn't help IMHO, it just muddies the water. Ever since RSA was invented privacy has been about educating people on how to use it effectively
9.
by twothreeone 1mo ago
Yeah. This is basically why we need to "accelerate"..
10.
by twothreeone 1mo ago
There are 189 active legislative bodies to choose from; it's hard to imagine, but yes in the worst case they all fall in lockstep on this issue and none of them provide this kind of freedom. The obvious next step is to buy a remote isl
11.
by twothreeone 1mo ago
So presumably the next step is they move their servers out of the US and then DA's target the Linux Foundation directly (e.g., coerce the kernel to take a change by some Meta engineers that "attests" a device when said option
12.
by twothreeone 1mo ago
TL;DR: They claim it's Meta (which yeah it would make a lot of sense).
13.
by twothreeone 1mo ago
Chris usually takes an educational angle, I don't think this is LLM-generated content at all it's just his style. I highly encourage watching some of his DefCon or BlackHat talks, they're fun!
14.
by twothreeone 1mo ago
Yes, plant more trees!
15.
by twothreeone 1mo ago
> I’d also argue that the vast majority of their capex exists to support these two load-bearing failsons. Gotcha.
16.
by twothreeone 1mo ago
I agree it feels scary from the employee's perspective, but at least in this case, it doesn't seem like it would've been difficult to avoid: simply return your work devices when handing in your badge: > [...] multiple form
17.
by twothreeone 2mo ago
I agree, I actually saw specks when viewing the Odyssee on 70mm IMAX. Sorry, but how is that "better" than any clean, digital projection? And the hoops they apparently jump through to make it work during the shoot to get to that p
18.
by twothreeone 2mo ago
Eventually they make you fill out some paper work, or pick up some boxes from somewhere and bring them to another place. You know quick human tasks, just to verify you're really human. It's just a verification check, nothing else.
19.
by twothreeone 2mo ago
Major realization: let me confirm empirically and measure the residual, batching everything into one script.
20.
by twothreeone 2mo ago
> To prove that Ω is computationally and therefore logically irreducible, requires a theory of program-size complexity that I call algorithmic infor- mation theory (AIT) [Chaitin, 2005] Interesting, I think everyone else calls this Kolmo
21.
by twothreeone 2mo ago
Wow, very cool "The European way to pay online." - so surely they are on f-droid or have an apk download like Signal with build signatures published on their website! Oh, no - they require you to have a Google account and Play Sto
22.
by twothreeone 2mo ago
If this is true it almost sounds like DeepSeek is following the Anthropic playbook of trying to pressure the local government into aligning with their corporate agenda through scare tactics. So I wouldn't be surprised if Liang Wenfeng
23.
by twothreeone 2mo ago
It starts at page 148.
24.
by twothreeone 2mo ago
Just fund your own group of grave diggers with PhDs and an attached museum.
25.
by twothreeone 2mo ago
I think it's similar with other liability issues, e.g., when a company happens to "lose" customer data through a breach. They will be on the hook for not having certain audits and certifications at regular intervals. Practica
26.
by twothreeone 2mo ago
Oh wow, he's basically built a LASIK machine and operating it _inside_ the vacuum chamber of the SEM.
27.
by twothreeone 2mo ago
You don't need to visit an embassy for ESTA, for a Visa this in-person interview at the embassy is required.
28.
by twothreeone 2mo ago
> one that uses data and intelligence to go after the worst, large-scale criminal operations and networks History shows that the main question with government and data collection is not "what X makes life easier for citizens" b
29.
by twothreeone 2mo ago
I looked at the actual article and your instinct is exactly right: it's precisely the kind of hand-waving that makes clicking or not clicking a clear decision point.
30.
by twothreeone 2mo ago
This is the definitive, honest result.

More ›