Everything you care about in one place
Follow feeds: blogs, news, RSS and more. An effortless way to read and digest content of your choice.
Get Feederreddit.com
programming
Get the latest updates from programming directly as they happen.
Follow now 144 followers
Latest posts
Last updated about 2 hours ago
FloatLib: Verified Floating-Point Arithmetic in Lean
about 2 hours ago
submitted by /u/mttd [link] [comments]
Bernstein’s Factorization Method Helped Factor RSA-240 in 2020
about 11 hours ago
submitted by /u/DataBaeBee [link] [comments]
Can We Trust Open Source Models for Production Code? Eval Results
about 12 hours ago
Enterprises are moving to open-weight models on open harnesses, mostly for one...
Functions explained in "Let's make a programming language"
about 15 hours ago
A look at how functions, scopes, and symbol lookup work under the...
CSE 452: Google's Introduction to Distributed System Design
1 day ago
submitted by /u/fagnerbrack [link] [comments]
Saving another 100TB of RAM with math (and Rust)
1 day ago
submitted by /u/Ok_Stomach6651 [link] [comments]