petcat

26 ms·

511.
by petcat 7mo ago
USA doesn't block websites. The FBI will seize domains after some judicial review and a court order. That's about it.
512.
by petcat 7mo ago
> Ofcom is likely to lose lawsuits about this, as they do not have jurisdiction in the U.S. How would Ofcom even have a lawsuit to lose? Are they going to file it in the US? Of course not, USA courts will tell them to pound sand. They&
513.
by petcat 7mo ago
And then they'll make VPNs illegal
514.
by petcat 7mo ago
And now we'll watch the UK take the logical next step which is for the government to mandate that all ISPs in the country block 4chan. CCP "Great Firewall" style.
515.
by petcat 7mo ago
I don't have much experience with this kind of thing, but from here it looks like a program written this way would be nearly impossible to reason about performance when something as simple as a function call in your Python interpreter
516.
by petcat 7mo ago
Police departments are sued constantly. Most major police departments even have dedicated divisions set up just to assess and respond to lawsuits. Oftentimes by just knocking on the door and handing over a check.
517.
by petcat 7mo ago
The biggest scam the mega-clouds and the Githubs ever pulled was convincing open source developers that the GPL was somehow out of vogue and BSD/MIT/Apache was better. All so they could just vacuum it all up and resell it with imp
518.
by petcat 7mo ago
It absolutely was about the instrument choice. Because folk music had strong norms about acoustic authenticity. Going electric at the time was seen as "commercialized" and "mass produced". We see the parallels with wh
519.
by petcat 7mo ago
> we still praise musicians who take the time through endless Moog / Ableton fine-tuning sessions to find the perfect loop patterns for their craft. There are still plenty of purists that will not consider this a "craft".
520.
by petcat 7mo ago
what about a random bash script that somebody vibe coded
521.
by petcat 7mo ago
> Why does it need a vpn client? Do think your web browser also should not have SOCKS and HTTP Proxy support? What about DNS-over-HTTPS?
522.
by petcat 7mo ago
> they just bruteforce the type checkers/compilers to find out if their slop was correct Have you used an AI coding model at all in the last year and a half? I think your knowledge is pretty outdated now.
523.
by petcat 7mo ago
Can't AI sign their articles with GPG too though?
524.
by petcat 7mo ago
> I don't have to carefully prompt my compiler in case it might misinterpret what I'm saying. Yes you do. You give it flags, you give it ENV vars. > My compiler comes with a precisely specified language. No, it doesn't
525.
by petcat 7mo ago
> The process of compiling higher order language to assembly is deterministic and well-tested. Here are the reported miscompilation bugs in GCC so far in 2026. The ones labeled "wrong-code". https://gcc.gnu.org/
526.
by petcat 7mo ago
Compilers can generate wrong output in many different ways. And they're all analogous to the same ways that a sophisticated LLM can generate wrong outputs. The compiler relies on: * Careful use of the ENV vars and CLI options * The ho
527.
by petcat 7mo ago
It is an attempt the be precise, and to remove doubt. But you're right that doubt still creeps in.
528.
by petcat 7mo ago
> compiler is deterministic and has a set of rules that can be understood. Here are the reported miscompilation bugs in GCC so far in 2026. The ones labeled "wrong-code". https://gcc.gnu.org/bugzilla/bugli
529.
by petcat 7mo ago
> determinism vs non-determinism Here are the reported miscompilation bugs in GCC so far in 2026. The ones labeled "wrong-code". https://gcc.gnu.org/bugzilla/buglist.cgi?chfield=%5BBug%20cr ... I count 121
530.
by petcat 7mo ago
Legalese exists precisely because it is an attempt to remove doubt when it comes to matters of law. Maybe a dialect of legalese will emerge for software engineering?
531.
by petcat 7mo ago
As human developers, I think we're struggling with "letting go" of the code. The code we write (or agents write) is really just an intermediate representation (IR) of the solution. For instance, GCC will inline functions, unr
532.
by petcat 7mo ago
That's basically just Zig, right? Re-invented C but only fixed the syntax, not the problems.
533.
by petcat 7mo ago
Are people still building new projects on Node.js? I would have thought the ecosystem was moving to deno or bun now
534.
by petcat 7mo ago
I argued the greater point? Software code-generation is not deterministic, whether it's done by expert humans or by LLMs.
535.
by petcat 7mo ago
The point is that expert humans (the GCC developers) writing code (C++) that generates code (ASM) does not appear to be as deterministic as you seem to think it is.
536.
by petcat 7mo ago
> A compiler uses rigorous modeling and testing to ensure that generated code is semantically equivalent. Here are the reported miscompilation bugs in GCC so far in 2026. The ones labeled "wrong-code". https://gcc.g
537.
by petcat 7mo ago
If you tell a human junior developer just "fix this" then they will spend a week on a wild-goose chase with nothing to show for it. At least the LLM will only take 5 minutes to tell you they don't know what to do.
538.
by petcat 7mo ago
As human developers, I think we're struggling with "letting go" of the code. The code we write (or agents write) is really just an intermediate representation (IR) of the solution. For instance, GCC will inline functions, un
539.
by petcat 8mo ago
This is a tough one for me. This guy took millions of dollars in people's private investment. Found the treasure, hid the treasure, and then refused to comply with a court order to make the investors whole. What should the punishment
540.
by petcat 8mo ago
Out-of-band docs have always been a constant source of frustration and discrepancies. It's really difficult to keep readme.com docs updated with actual code releases because there's no hard constraint preventing one from updating

More ›