@zzt to which i say: if they aren't going to make the AI horny there's not even a point

so uh which part of super intelligence involves getting caught in two devastating affairs and burning the company that makes the AI chips to the ground

wait no is this effective accelerationism?

can any serious big boy who thinks LLMs are on the edge of sentience or almost AGI or whatever tell me which part of the plan involves fucking the only remotely profitable company in the AI industry (by a wide, wide margin) to death?

@calutron My recent rules if logging in is onerous:

* If you're not a bank, I pass. This was the rule github triggered for me to rip it out.

* If you're a bank, you have a little slack but not much. Back in 2022 I made the mistake of buying some TIPS from Uncle Sam. Now they want me to show my ID into a webcam. I will do so next year to extricate my money -- and then never return.

@mwl A quick reverse image search yielded a Bluesky post by someone called Yamino as the source.

Today I Learned…

Meta and X blocked dozens of LGBT+ groups, journalists, and activists in Türkiye after a court order. Meta has restored most of them. X still hasn't. Sign and tell X to restore the accounts: https://allout.lgbt/3V09QHo

@ricci people just need to pause for a year or two, so we have a chance to catch up.

@lilithsaintcrow "stars and garters"....!

I will definitely be using that one.

@ewen @colindean Heh. I have memories of "riding the clutch" on San Francisco hills when I first moved to America and still drove a manual car.

@valorzard
regarding https://codeberg.org/ValorZard/ValorC

i think you should take a look at https://plv.mpi-sws.org/refinedc/. it's a BSD licensed tool to formally verify C code using refinement type annotations (c23 attribute syntax just like you want). the advantage is that Rocq program validity proofs are generated, so the trusted computing base is only the Rocq kernel (which has many eyes on it), and not the frontend for verification.

also regarding CompCert: UB is still a consideration in CompCert. see https://www.ralfj.de/blog/2021/11/24/ub-necessary.html for an example how programs with UB can be compiled into inconsistent code by CompCert. the idea of "the code won't have UB" is also misleading in itself (it would only be true if UB-ridden code was rejected at compile time), because even if a compiler doesn't perform any UB-based optimizations and compiles faulty code into something that matches the "intuition" of the C code, something that might be what the programmer expected, there's no actual definition for how it should behave, it is not specified, so bad surprises can per se always happen.

cc @navi

@sam Original will do just fine 😍

@cr1901 perhaps you are thinking of Richard M Stallman… I meant Root Mean Square

why does every website increasingly feel like I'm trying to log into a bank

@nomdeb

Shellie used the tiptronic gear changes on our automatic for steep hills. She likes that sense of control. I just like finally having an automatic and being lazy after all these decades of being a gear monkey :)

@colindean

My people.

@JamesWidman @patrizia @milo @nyanpasu64 well maybe we should switch to C++20!

get you a friend who, when they send you a calendar invite saying only "tits up", time, and place, you don't think twice before mashing the accept button

@davidgerard Nvidia is going to go down a lot before it goes back up, the AI bubble is going to do a lot of lasting damage