🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Memory leaks are going to have a whole different meaning soon

A couple other important requirements: 1. There’s a signature scheme that can be very efficiently verified in it. Happy to use any curve 2. There’s an efficient hash to use inside it

Very cool it’s native on mobile - but I really like the ability with other agents to be able to use my own environment, so ssh still wins for me

What do the bots want from me lately? Lots of new fake followers, second burst I had in a while

ChatGPT as Pokédex is underrated

Great, now there are statements that can’t be proven or disproven

One of the things I like most about coding agents today is their ability to generate tests on the side to debug problems It doesn’t work amazingly well when it’s a softer ask, like “make the visualization look good on mobile”, it’s less clearly defined and requires some

Asked to implement the rest + add an assembly implementation, the new claims attached

Could it be that Apple Watch health is the most private there is vs Whoop and Oura?

ok a bit embarrassing - I didn't have rust installed on that machine, so the generated code didn't even compile and the benchmarks were estimates, as Matteo Frigo also noticed I prodded more to get it to a better state, but still not a fully working implementation I would

Last update from the experiment - after more careful prodding, it contains more real implementations of the prover components, including a claimed bidirectional fft, with updated benchmarks, which are slower Most of my involvement has been more of the sort of “is it a real

looks like a really fun opportunity for students