@0x0@lemmy.dbzer0.com

comments

• No, but I produce a noticeable layer of grease

  on yes in c/femcelmemes@lemmy.blahaj.zone · 5d ago

• Night time showerers waking up and going about their days covered in their own filth: pigpen_from_peanuts.jpg.

  on yes in c/femcelmemes@lemmy.blahaj.zone · 5d ago

• I wonder if future kids will read about the AI panic of the '20s in their hyperbooks

  on Obama urges Democrats to have a ‘clear plan’ for AI safeguards in c/technology@lemmy.world · 14 Sep 2026

• My understanding is that they published a machine-checkable proof (Lean).

  There’s already valid epistemological question about whether proofs that are only machine-checkable are the same quality of knowledge as traditional proofs. For instance, the 1976 proof of the four-color theorem was controversial in part because it was too long to be read by a human.

  Another part of the argument is that the foundations are quicksand: proof checkers include unverified code (read: potentially buggy) and run atop unverified OS kernels on a likely proprietary CPU! (Personally, I think if you can understand the theorem statement, it’s safe to delegate the drudgery of the proof-checking to a computer. If two different systems agree, that’s good enough for me. But I’m neither a mathematician nor a philosopher.)

  These AI generated proofs push the boundary further because humans participated even less in the formalization and proof development.

  on OpenAI’s feud with mathematicians is only escalating in c/technology@lemmy.world · 13 Sep 2026

• You know how everyone swears that AI is making them so much more productive? If there’s an ounce of truth to it, I bet that it’s because writing a prompt forces them to articulate what they’re stuck on. I discovered years ago that when I’m stuck on a technical problem, I can usually break through by brain dumping onto a page or two — it doesn’t matter if I ever read it again, it’s just something about the process of writing that helps me make new connections and prune the unhelpful ideas.

  on Self-rule idea in c/onehundredninetysix@lemmy.blahaj.zone · 11 Sep 2026

• It’s also useful if you have a lot of unit tests that can be run in parallel.

  on Microsoft announces Project Zenith, a clutter-free Windows experience meant to entice developers - Engadget in c/technology@lemmy.world · 6 Sep 2026

• I’ve worked on large C++ applications and it’s worth having a beefy machine. Each source file can be compiled in parallel so you save time by having a ton of CPU cores and memory.

  on Microsoft announces Project Zenith, a clutter-free Windows experience meant to entice developers - Engadget in c/technology@lemmy.world · 6 Sep 2026

• I take issue with the claim that % and PM are units.

  on Love is love in c/lemmybewholesome@lemmy.world · 6 Sep 2026

• Please stop putting the apostrophe between ya and ll

  on Love is love in c/lemmybewholesome@lemmy.world · 6 Sep 2026

• I don’t advise 100mg of aluminum

  on oh yeah rule in c/onehundredninetysix@lemmy.blahaj.zone · 4 Sep 2026

• Never meet your heroes. Have you ever seen the way he rages at people on the mailing list? Don’t get me wrong, he’s made some incredible technical contributions that I’m thankful for, but I have to push back against claims that he is a well-adjusted dude.

  on The Creator of Git and Linux in c/linuxmemes@lemmy.world · 2 Sep 2026

• Nope, this launches all those commands in parallel. Logical and is &&.

  on Rule in c/linuxmemes@lemmy.world · 28 Aug 2026

• With carabiner-attached labubu no less.

  (I can’t tell for sure, but I hope.)

  on Healthy ruleationships in c/onehundredninetysix@lemmy.blahaj.zone · 22 Aug 2026

• Goddamn, that’s good

  on Aaron Swartz was prosecuted for scraping, while Meta does it without consequence in c/technology@lemmy.world · 21 Aug 2026

• If their claims are true, it’s more like a gun company boasting about their auto-targeting gunbot escaping containment and shooting civilians.

  If they’re lying, it’s just idiotic. Are we supposed to be impressed that you made a dangerous machine and failed to keep the world safe from it?

  on Meta becomes latest firm to say its AI hacked another company in c/technology@lemmy.world · 8 Aug 2026