Craig Stuntz reposted
It's blog post time! Some thoughts on the avalanche of shit. www.audiodamage.com/blogs/news/s...
Craig Stuntz
@craigstuntz.com
I can write an incorrect program which is faster than your incorrect program https://craigstuntz.com
83 followers63 following432 posts
Craig Stuntz reposted
It's blog post time! Some thoughts on the avalanche of shit. www.audiodamage.com/blogs/news/s...
Erica Synths LXR-02 drum machine firmware now open source: www.ericasynths.lv/news/post/lx...
GoDaddy revoking 400k TLS certificates; nothing to see here, move along? bugzilla.mozilla.org/show_bug.cgi...
Craig Stuntz reposted
Craig Stuntz reposted
🚨 Six WebPKI Intermediate CAs are compromised. This is bigger than Heartbleed, but a client-side issue. Anything that verifies certificates against public roots, like most TLS clients, is/was affected. Details, live test, patched versions and workarounds at emudhra.we-have-a-problem.com Act now.
Craig Stuntz reposted
THIS IS NOT A DRILL. If you package/distribute/maintain root stores or chain verifiers, act immediately. If you know how to remove trust in a root, consider doing it now. Otherwise, prepare to update systems as patches/mitigations come. Go users, update to Go 1.27.3 or Go 1.26.10.
Craig Stuntz reposted
Craig Stuntz reposted
Fresh books have arrived! 🥰❤️ available from: www.routledge.com/Making-Synth... (with free shipping!) 📕 #synthwave #book
Craig Stuntz reposted
Researchers Find Crows Smart Enough Not To Let On How Smart They Really Are https://theonion.com/researchers-find-crows-smart-enough-not-to-let-on-how-s-1844081510/
Craig Stuntz reposted
Anthropic found the origin of the NIST elliptic curve seeds: they were generated with drand48()! No one was seriously worried, but this should put some FUD to rest, completing the NIST ECC rehabilitation arc… just in time to be retired in favor of PQ. Also, we raised $36 Ki for ISRG. Yay!
Craig Stuntz reposted
We backdoored a 7B open model for under $50. Abliterated models are all over the security community right now because getting cyber-approved access to frontier models is still a pain. Read the blog -> projectdiscovery.io/research/how...
TimeCop1983 says he has 3 (Roland) Junos, but he mostly uses Juno plugins, because it's so much easier, and sounds as good: www.youtube.com/live/uiVlpJg...
Shout out to Microsoft for resetting this counter twice in two months: www.howmanydayssinceajwtalgnonevuln.com
Craig Stuntz reposted
Signals and Threads episodes are bangers, but this may be the first to become part of my PL course's "text". About 50% is a compressed version of my GC lectures, about 30% is modern updates, and 20% is @yminsky doing his thing w/ Stephen Dolan. (-: signals-threads.simplecast.com/episodes/mem...
"A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda" blueberrywren.dev/blog/primes/ Does what it says on the tin.
Craig Stuntz reposted
Craig Stuntz reposted
Craig Stuntz reposted
Solved a Hilbert problem, invented the computer, defeated the Nazis AND, we now know, wrote erotic fiction staring himself. www.cam.ac.uk/stories/alan... The perfect human being.
"The only requirement to open a private school in Arkansas is displaying a flag and flagpole...." www.propublica.org/article/prop...
Craig Stuntz reposted
Today is the last day to register to vote in Ohio's November election. Check your registration status RIGHT NOW at voterlookup.ohiosos.gov/voterlookup..... Your voter registration might be out of date if you've moved since the last time you voted. You might have been dropped from the rolls.
Craig Stuntz reposted
Craig Stuntz reposted
Are you interested in learning how to use Git for the first time? (or almost the first time) we're looking for Git beginners to give us feedback on a Git tutorial! The tutorial will be open source when it's released, so you'll be helping many future beginners! Sign up here […]
Super-interesting: "Crossing the Golden Gate: macOS's New Application Support Protection" wojciechregula.blog/post/golden-... Apple extends System Integrity Protection to the folders of Discord, the major browsers, and a few crypto wallets
Craig Stuntz reposted
NASA employees say they've lost vital equipment and staff needed to make sophisticated spacecraft amid the agency's abrupt relocations over the past several months. n.pr/3SK34oz
The entire editorial leadership of Diabetes Care, the ADA’s flagship journal, is boycotting any work for the organization until they stop censoring their members retractionwatch.com/2026/09/14/a...
Craig Stuntz reposted
Craig Stuntz reposted
Fisler, Littman, & I have an upcoming CACM op-ed: "Teaching Novice Computing and Programming in the Agentic AI Era". Based on our experimental course+research. We argue that the «flaky compiler» is a useful metaphor for course design. Details in preprint: cs.brown.edu/people/sk/Pu...
Craig Stuntz reposted
A group of 25 Fields Medalists, including myself, have made a joint declaration on Math and AI: mathandai.org . We welcome additional signatories. See also this article in the Economist announcing the declaration: www.economist.com/science-and-...
This was inevitable, but here is the grim, hard data: Abortion bans kill women with ectopic pregnancies. www.propublica.org/article/ecto...
I seriously, unironically think this would be fantastic for Columbus. Turn it into a giant pedestrian mall. Restaurants/coffee shops could have outdoor seating. Other cities have similar stretches and it’s always lovely.
Once again thinking about this 1977 proposal from the Columbus, Ohio, Department of Development.
Craig Stuntz reposted
Craig Stuntz reposted
Google Maps Introduces Crawling Directions For Cyclists Hit By Truck https://theonion.com/google-maps-introduces-crawling-directions-for-cyclists-hit-by-truck/
“[The ACM] creates new research integrity role to address [research misconduct] case backlog” retractionwatch.com/2026/07/02/a...
Wow, this issue I reported in Paket in 2016 was just fixed github.com/fsprojects/P...
Craig Stuntz reposted