I built my own reading app and “ChatGPT” with 100% local LLMs.
I ask agents to iterate it while using it on daily basis. The UX is tailored for my specific needs and mindset. No standard UI, no compromises.
The reading/learning experience has never been better.
katat retweeted
If you're not in the hallways of zkproof talking to us between talks, maybe listen to some Lo-Fi!
Built a styled QR code generator that is capable to generate scannable artworks with global luminance control.
I guess I have innovated something unique in the market.
One side feature is it allows you to check how well your partner sleep last night.
That is an important data point for you to gauge with for the next day.
BREAKING: @eightsleep is now available in mainland China.
Our biggest expansion ever. A major company milestone. And a sign of where health technology is going.
For more than a decade, we’ve engineered sleep technology that measures the body, adjusts the environment in real time, and improves sleep, not just tracks it.
The future of health and longevity will not be built on data alone. It will be built on outcomes.
That shift is happening around the world, and Eight Sleep is establishing itself as the leading global sleep brand.
300 million people in China suffer from sleep disorders. Average nightly sleep is 6.97 hours. The unmet need here is bigger than in any market we’ve entered.
We’re excited for what’s ahead. Learn more at eightsleep.com/china
Indeed. strength training helps with the baseline depth, while cardio does the range.
One of the biggest benefits I noticed after starting to strength train seriously was the "mental fitness" I gained.
Doing tough lifts is challenging enough that it changes how the rest of my day feels. I handle stress better, things don't feel as overwhelming, and my baseline resilience has gone up.
I'm definitely stronger, but my ability to do hard things has also improved.
From my recent appearance on @hubermanlab.
papers are highly underrated gems for engineers, especially with the smart ai tools available these days.
if you are comfortable with comprehending codebases, you should be also able to comprehend papers with dense math equations.
often it is early age math trauma that leads to unnecessary anxiety, discouraging from grinding through challenges and getting the valuable clarifications that the indispensable math offers.
it is a great fulfillment to watch the kids drawing spring couplets at the end of lunar year.
(yeah, I asked them to add btc eth also)
katat retweeted
We created a hands-on tutorial so you get to implement plonk from scratch!
blog.zksecurity.xyz/posts/pl…
katat retweeted
This is another interesting ZK bug found recently. Read our blogpost to learn the query collision bug of Halo2.
katat retweeted
We recently discovered a subtle but important soundness issue in Halo2, which we’ve named the query collision bug. It affects certain edge-case circuits and was present in widely used versions, including the main Zcash implementation and PSE’s fork. 👇🏼
katat retweeted
Over the past year, we’ve been exploring a big question: Can AI actually find good bugs in zero-knowledge circuits and applications? And if it can… what does that mean for us as auditors? Is our job safe, or are we on the brink of faster, cheaper, AI-powered audits? After digging into this at EthCC in Cannes and on the Zero Knowledge podcast, we went one step further — we built SnarkSentinel, our own experimental AI-powered ZK auditing tool. In this post, I’ll share what worked, what didn’t, and what the future of auditing might look like when humans and AI team up… or clash.
katat retweeted
Proving you're a human is another side-effect of modern advanced AI, but @cryptodavidw speaks on 2 ways that ZK could be a part of the solution.
Hear more about how AI and ZK are overlapping:
zeroknowledge.fm/podcast/364…
katat retweeted
We'll be in Cannes on Tuesday! Come meet the zkSecurity team and come talk about zero-knowledge proof, cheese, and wine over a ZK picnic!
lu.ma/brw7xbny
