Sabitlenmiş Tweet
katat
1.1K posts
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.
Matteo Franceschetti@m_franceschetti
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
English
Indeed. strength training helps with the baseline depth, while cardio does the range.
Dr. Rhonda Patrick@foundmyfitness
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.
English
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.
English
katat retweetledi
We created a hands-on tutorial so you get to implement plonk from scratch!
blog.zksecurity.xyz/posts/plonk-tu…
English
katat retweetledi
This is another interesting ZK bug found recently. Read our blogpost to learn the query collision bug of Halo2.
zkSecurity@zksecurityXYZ
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. 👇🏼
English
katat retweetledi
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. 👇🏼
English
katat retweetledi
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.
zkSecurity@zksecurityXYZ
Bug Hunt: Zero-Knowledge, Full-Paranoia, and the AI That Stares Back blog.zksecurity.xyz/posts/snarksen…
English
katat retweetledi
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/
English
katat retweetledi
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
English
katat retweetledi
Optimizing Barrett Reduction: Tighter Bounds Eliminate Redundant Subtractions.
Read more on how we helped optimize P-256 as a side effect of our latest audit. blog.zksecurity.xyz/posts/barrett-…
English
katat retweetledi
Variants of KZG: Part I, Univariate. Wanna learn more how people batch verify these KZG proofs? Follow our multi-part series! blog.zksecurity.xyz/posts/kzg-1/
English