One wonders if Bluesky's approach to usernames might one day inspire a future package manager in this direction: a GUID that is then aliased to a friendly (sub)domain through proof of ownership, with a default fallback domain for those without a domain (i.e. mypkg.crates.io vs mypkg.philpax.me)

DeepSeek-R1-Lite-Preview is live: o1-preview-level performance on AIME and MATH

Um... clicking through to each integration method, they clearly have examples and documentation on how they work:

https://docs.rs/integrate/latest/integrate/adaptive_quadratu...

https://docs.rs/integrate/latest/integrate/gauss_quadrature/...

https://docs.rs/integrate/latest/integrate/romberg/fn.romber...

Posts that receive many upvotes in a short period of time are automatically hidden from the front page until someone can investigate. I think this behaviour might be described here: <https://github.com/minimaxir/hacker-news-undocumented?tab=re...>

" DeepSeek-R1-Lite-Preview is now live: unleashing supercharged reasoning power!

o1-preview-level performance on AIME & MATH benchmarks. Transparent thought process in real-time. Open-source models & API coming soon!

Try it now at http://chat.deepseek.com "