Best al pastor I’ve ever had and it’s not even a little close (@ Angel’s Tijuana Tacos)
| Pronouns | http://pronoun.is/he/him?or=they |
| Writing | http://dscoder.com/DerivingMap/index.html |
David Smith
@Catfish_Man
- 2.1K Followers
- 282 Following
- 6.2K Posts
I am an irregular collection of floating diffuse lights, chiming softly
…what the fuck is wrong with drivers here
Flowchart for whether modern CPUs will reliably predict the branch you think is unpredictable:
Is the branch fully data-dependent? —> Maybe
|
|
V
Does the branch run just a few times? —> Doesn’t matter
|
|
V
Yes
Frédéric Jacobs🆕 A blueprint for formal verification of Apple corecrypto
Learn more about the formal verification methods used for ensuring the mathematical correctness of corecrypto's post-quantum ML-KEM and ML-DSA implementations.
We are also releasing our Isabelle libraries, ARM64 model, and Cryptol-to-Isabelle translator!
https://security.apple.com/blog/formal-verification-corecrypto/
@joe @inthehands that general line of argument (which tbh I can’t even confidently say is wrong) is why I’ve been framing it as “copyright was never prepared for a button that creates unlimited derived works to exist”. Sidesteps the whole “how much of creativity is standing on the shoulders of others” and sticks to the relatively unassailable “this is going to fuck over anyone who relies on current copyright protections”.
Reed MidekeTIL, the SD card specification allows cards to report they support a maximum current consumption of… 65 amps
tyiart
I need to get a coat of arms made with "Nulla bona actio impunita manet" as the motto, for framework development
hannahI had some confusion regarding just which "HR 2616" was just passed today by the US House of Representatives, so for my own records:
What seems to have made it through today is the Rules Committee print of HR 2616, which combines what were formerly HR 2616 and HR 2617 into one bill.
This print requires:
- teachers at schools receiving funds under the ESEA to obtain parental consent (i.e. forced outing) before addressing a student as the gender they state, and
- a ban on "gender ideology extremism" (the bill's words; it is not clear at all how far it goes, though "widest possible applicability" is a reasonable guess) from being taught in said schools.
The print now goes to the Senate.
Y'all know I think both of these changes are bad. I do think y'all should be more concerned about point (2), which is a ban on teaching something that the current administration sees as icky, and which most of US society -- at best -- doesn't see as something worth defending.
I think students will find ways around this should it become law. Banning knowledge makes it cooler, after all, and I have some faith that a significant part of Gen Z and Gen Alpha roll with this stuff just fine.
But I still think you should view this as a live attempt to establish precedent and procedure to take other things from you. Do what you will, or won't, with that thought.