throwaway81523

> Memory companies

Someone misspelled "Altman", https://www.mooreslawisdead.com/post/sam-altman-s-dirty-dram...

This is a pretty interesting article. Firefox shows the first paragraph for a second and then blanks it, but lynx -dump manages to get the text. There's an audio too but I ignored that.

If they had been willing to chance the $60 room, it would have had even MORE weird microbes!

Try Hedgehog: https://github.com/sbp/hedgehog

Seems like poor advice. Why "almost"?

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 concurrency works, resource requirements, source code SLOC, stuff like that. It's ok for the writeup to assume I'm familiar with Lisp. I looked at the web site for a few seconds and the home page was almost entirely uninformative. I didn't try reading the documentation but might look at it later.

The home page of ulisp.com isn't exactly what I want either, but it's a lot closer.

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.

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 makers and cable TV pirates. The TV pirates were also willing to make large expenditures to crack the chips so they could clone them and sell the clones. There's more about this in Ross Anderson's book "Security Engineering".

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 days ago (the #2 SF Muni bus towards the Marina) but I didn't have to spend a lot to ride it, since it was already deployed. Nobody had to go out and buy it.

This is a great book. I read it in high school.

I didn't recognize Claude but the thing was unreadable and after a while I figured out it must be AI.

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 everything got throttled to stop that scraping. We need open training and open models.

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!

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!

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?

Biden promised $2000 and paid out $1400, still owes us $600 each.

https://www.cnbc.com/2021/01/15/critics-say-bidens-covid-rel...

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.

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. cmp.imag.fr was one but it's domain squatted now.

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 because the customers for such things are well funded.

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 how it goes. It's supposed to be excellent.

Back in my day, the 3 books for programmers were Knuth vol 1, Knuth vol 2, and Knuth vol 3. ;)

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.

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 a human to check that.

Even simpler, imagine Anthropic announces Goldbach's conjecture is false and they have a billion digit counterexample. Anyone can download it (300MB compressed), but how do you check it?

Doron Zeilberger for decades has expected incomprehensible computer proofs to eventually take over mathematics.

I had thought that in the UK, Bob was everyone's uncle.

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 old unexec scheme became unmaintainable but maybe there are still good alternate ways to do it.

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.

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 but maybe there is a US division or something?

Added: youtube blurb says the guy in the video is Adam Presser, CEO of TikTok US joint venture.

Covid?

Cool, but we need that for microphones.