| Pronouns | he/him |
| Web | https://www.craigstuntz.com |
A very nice explainer why "if you're so worried about quantum computers, why haven't they factored 21 yet?" isn't a very convincing argument. Look at the labels of the graph, and how extremely close the various lines are for factoring 21 and 2048 bit numbers. Polynomial scaling remains polynomial, unfortunately, and by the time you can factor 21 you're almost ready to break RSA.
RE: https://techhub.social/@ironicbadger/116326155409620757
I've been thinking that people who claim that GitHub is down so often due to "vibe coding" are not seeing the full picture, and this image makes that point quite well, I think. Microsoft, for better or worse, has been trying to eat its own dog food. + it's been going down like Alpo
@cbaberle said "And this process itself can lead to a lot of "a ha" moments and "radical" new ideas, itself."
I have found the same thing. When I am working on things that are not directly about formalized mathematics, but with using a proof assistant as a blackboard (echoing Martin's wonderful phrasing), I feel that I am much freer to make wild conjectures, because I can disprove them equally quickly.
The numbers of "models" of quantum programming based on traced monoidal categories (that did not in fact work) is staggering. The failures were usually quite subtle. My co-author(s) and I had convinced ourselves via 'paper math' that they worked, for each and every one of them.
@johncarlosbaez @andrejbauer @dougmerritt @MartinEscardo @pigworker @xenaproject
And now also on Ars Technica:
i don't see enough people with one of the best tool improvements i've ever made for reverse engineering, so i had to write a blog post about it!
re: https://hci.social/@chrisamaphone/116325060049701188
taking off my "impartial observer" hat for a moment (and so breaking out of the thread), one opinion i've started solidifying is that we need stable (or one might say "archival") proof languages, alongside those that actively evolve. a big motivation for me is to develop teaching materials that still run in a decade (Explaining), but i think there are good Convincing-aligned reasons to want this as well.
new from me, @etosch , @cxli , and Elan Semenova: "Is truth future-proof? On the possible futures of mechanized proof". contains provocations, philosophical framings, and accounts of current practices in light of the idea that mechanized proofs contain mathematical knowledge that we might want to persist across future generations.
preprint: https://khoury.northeastern.edu/~cmartens/papers/plateau26-itfp.pdf
presented at PLATEAU a few weeks ago. slides: https://khoury.northeastern.edu/~cmartens/talks/plateau-itfp-talk-slides.pdf
Thomson Reuters’ data, which can include peoples’ addresses and details on their ethnicity, is linked to tools used ICE.
https://www.404media.co/how-thomson-reuters-powers-ice-and-palantir/
Sophie Schmieg
Jacques Carette
alice pellerin
chris martens
404 Media
Adrian Sampson