throwaway81523

3 ms·

1.
by throwaway81523 5d ago
Try Hedgehog: https://github.com/sbp/hedgehog
2.
by throwaway81523 6d ago
Seems like poor advice. Why "almost"?
3.
by throwaway81523 7d ago
I don't feel likely to get much out of typing (+ 2 2) and getting 4 in a web REPL. What I want is a 1-page writeup with basics about the implementation: Lisp dialect, implementation strategy, special features and limitations, how the
4.
by throwaway81523 8d ago
I've also heard that the Google Titan security enclave chip (used in Pixel phones) is very hard to crack. Apple has something similar for Iphones, I believe.
5.
by throwaway81523 8d ago
I expect typical smart cards like the one in your credit card are harder to crack than the raspberry pi was. Those cards are (or were) also used in TV set-top boxes and back in the day, there was a decades-long arms race between the chip m
6.
by throwaway81523 8d ago
Nice, thanks. I had wondered whether the $250K in lab gear is something that a serious HW security lab would already have on hand, as opposed to specialized expenditure for just this attack. I mean I rode in a $250K(?) motor vehicle a few
7.
by throwaway81523 12d ago
This is a great book. I read it in high school.
8.
by throwaway81523 12d ago
I didn't recognize Claude but the thing was unreadable and after a while I figured out it must be AI.
9.
After Math(terrytao.wordpress.com)
154 points by throwaway81523 13d ago|168 comments
10.
by throwaway81523 14d ago
Who is "we" and while pacing is good, I'm way more uncomfortable with the frontier being controlled by a few companies that managed to predatorially gobble all the world's human-created work as training data, before ever
11.
by throwaway81523 15d ago
Oh I see, never mind! You have to use the "preset" pulldown to select different surfaces. I wonder how feasible it would be for other people to add new ones!
12.
by throwaway81523 15d ago
I only see one picture, the Klein bottle on the front page. Are there more? Maybe it's my browser settings or something like that. Firefox 140.14.0esr. Thanks!
13.
Sky sphere representation in language models (29 Jul 2026)(arxiv.org)
2 points by throwaway81523 15d ago|0 comments
14.
by throwaway81523 16d ago
If you're going to preprocess the polynomial, maybe you want to evaluate it at many different points. But then why not use the FFT?
15.
by throwaway81523 16d ago
Biden promised $2000 and paid out $1400, still owes us $600 each. https://www.cnbc.com/2021/01/15/critics-say-bidens-covid-rel...
16.
by throwaway81523 16d ago
Could they have just put "$1000" in the first line of the article? In fact they didn't mention it at all, and I had to look in the AMA zone.
17.
by throwaway81523 19d ago
Yeah like others it's the 24h that's least believable here. There have been MPC/MPW (multi project chip/multi project wafer) services that could deliver 0.35um parts at comparable cost, but with several month turnaround
18.
by throwaway81523 19d ago
I don't have the impression that a $10 FPGA can implement the equivalent of an 80386. I can believe it of a $1000 FPGA. I don't know what the right intermediate point would be. But big FPGA's are very expensive, mostly bec
19.
by throwaway81523 19d ago
Aren't a zillion statistics books out there already? Yes I've been wanting to read one, and Wikipedia also has lots of good statistics articles. I've been wanting to work through Freedman and Pisani's book but you know
20.
by throwaway81523 19d ago
Back in my day, the 3 books for programmers were Knuth vol 1, Knuth vol 2, and Knuth vol 3. ;)
21.
by throwaway81523 20d ago
I've heard that ICE is getting robot dogs. I wonder if anyone can make some robot wolves to protect the organic ones. Wolf hunting is a much more exciting adventure when the wolves can shoot back.
22.
Care for a Little More AI?(proofsandprompts.com)
2 points by throwaway81523 20d ago|0 comments
23.
by throwaway81523 20d ago
There are theorems like that now, like de Grey's lower bound for the Hadwiger-Nelson (unit distance graph) problem. He used a SAT solver to check that a certain graph with 1581(?) vertices is not 4-colorable. There's no way for
24.
by throwaway81523 22d ago
https://s3vi.ndc.nasa.gov/ssri-kb/static/resources/NASA%20St...
25.
by throwaway81523 22d ago
I had thought that in the UK, Bob was everyone's uncle.
26.
by throwaway81523 22d ago
This seems like an ugly hack. We really need a way to snapshot a python program after its imports have been loaded, similar to temacs/emacs that's been around for decades, or a similar thing that exists in gforth. Emacs's o
27.
by throwaway81523 24d ago
All the really high end stuff is in financial data centers anyway, surrounded by TV cameras 24/7. Tamper reactance in the HSM itself is cool and everything but the surrounding security handles a lot of what the HSM is made to do.
28.
by throwaway81523 25d ago
Is that guy supposed to be TikTok's CEO? As far as I can tell the CEO's name is Shou Zi Chew and he's from Singapore. Photo: https://en.wikipedia.org/wiki/Shou_Zi_Chew Not the same guy as in the video
29.
by throwaway81523 25d ago
Covid?
30.
by throwaway81523 27d ago
Cool, but we need that for microphones.

More ›