Forwarded from 猫咪阅读频道
Steve Awodey
Lecture notes for Categorical Logic
Steve Awodey's GitHub pages
Forwarded from slanterns w/ 🦀
GitHub
make closures act like MaybeDangling by RalfJung · Pull Request #160745 · rust-lang/rust
This makes closures (and types like them: coroutines and coroutine closures) act like MaybeDangling. This means that the aliasing model will entirely ignore references and Boxes passed around as cl...
Forwarded from Hacker News (yahnc_bot)
Andrew Wiles on proving Fermat’s Last Theorem (1995) [video] https://www.youtube.com/watch?v=GS7CxAtV5Ks
YouTube
"I loved every minute of it, however hard it had been"
Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.
Forwarded from Lobste.rs
a pure css implementation of some sunlight streaming in through the window
Comments
via github.com via juliethefoxcoon
Comments
via github.com via juliethefoxcoon
GitHub
GitHub - jackyzha0/sunlit: a pure css implementation of some sunlight streaming in through the window
a pure css implementation of some sunlight streaming in through the window - jackyzha0/sunlit
Forwarded from Hacker News (yahnc_bot)
Learning more about Claude's mathematical capabilities https://www.anthropic.com/research/riemann-zeta
Anthropic
Learning more about Claude's mathematical capabilities
An unreleased version of Claude has made strides on a problem related to the Riemann hypothesis. It improved the lower bound for the fraction of zeros of the Riemann zeta function that satisfy the hypothesis, increasing it from 41.6% to 67.2%.
Hacker News
Learning more about Claude's mathematical capabilities https://www.anthropic.com/research/riemann-zeta
This media is not supported in your browser
VIEW IN TELEGRAM
Forwarded from Hacker News (yahnc_bot)
Tail-call optimization in C is relatively recent (2025) https://lwn.net/Articles/1034703/
Hacker News
Learning more about Claude's mathematical capabilities https://www.anthropic.com/research/riemann-zeta
诶哟草...是 bun 那人搞得...
有点越来越绷不住了
有点越来越绷不住了
Forwarded from Hacker News (yahnc_bot)
England set to be one of the first countries to eliminate hepatitis C https://www.bbc.com/news/articles/c75gk620r22o
Bbc
England set to be one of the first countries to eliminate hepatitis C
England is on track to become one of the first countries in the world to eliminate hepatitis C, a dangerous virus that attacks the liver, figures show.