Lobster Roll

All Programming (General) 3777 Systems / Low-Level / OS 2954 Programming Languages / CS Theory 2128 Data / Databases / Infrastructure 1763 AI / Machine Learning 1526 Web Development 1310 Security / Privacy 1010 Culture / Philosophy / History / Reading 962 Productivity / Career / Business 732 Gaming / Retro Computing 538 Maker / DIY / Hardware 516 Design / UX / Visualization 491 Science / Math / Physics 428 Apple / macOS / iOS 355 Internet / Digital Culture 162 Health / Fitness / Lifestyle 14 Crypto / Blockchain 4

Science / Math / Physics

Gödel's beavers, or the limits of knowledge (lcamtuf.substack.com)
11 pts 0 comments by dzwdz Jul 4, 2025 math Science / Math / Physics
A catamorphic lambda-calculus interpreter (michaelpj.com)
9 pts 0 comments by abhin4v Jul 4, 2025 haskellplt Programming Languages / CS TheoryScience / Math / Physics
Autoformalization of mathematical theorems? No shit (freedommathdance.blogspot.com)
5 pts 0 comments by surprisetalk Jul 3, 2025 mathrant Science / Math / Physics
Introducing the first alpha of Turso: The next evolution of SQLite (turso.tech)
46 pts 59 comments by antonmedv Jul 3, 2025 rust Systems / Low-Level / OSData / Databases / InfrastructureScience / Math / Physics
Rediscovering the Beauty of Chemistry Through Quantum Theory and Prolog (medium.com)
2 pts 0 comments by petecorey Jul 2, 2025 programmingscience Programming (General)Programming Languages / CS TheoryScience / Math / Physics
Counterexamples of positivity implications in Kähler curvature tensors (magnusson.io)
3 pts 2 comments by aleph Jul 2, 2025 math Science / Math / Physics
BookML: automated LaTeX to bookdown-style HTML and SCORM (vlmantova.github.io)
1 pts 1 comments by fcbsd Jun 25, 2025 a11ymath Web DevelopmentDesign / UX / VisualizationScience / Math / Physics
JSON evolution in Go: from v1 to v2 (antonz.org)
21 pts 1 comments by cgrinds Jun 23, 2025 go Programming (General)Science / Math / Physics
Finding a billion factorials in 60 ms with SIMD (codeforces.com)
10 pts 0 comments by WilhelmVonWeiner Jun 22, 2025 math Science / Math / Physics
Why computational reproducibility matters (blog.khinsen.net)
16 pts 13 comments by fanf Jun 21, 2025 science Programming Languages / CS TheoryScience / Math / Physics
Why Can't We Break Cryptography? (blog.computationalcomplexity.org)
2 pts 1 comments by teymour Jun 21, 2025 cryptographymath Science / Math / Physics
Learn you Galois Fields for Great Good (xorvoid.com)
7 pts 0 comments by dzwdz Jun 20, 2025 math Science / Math / Physics
Deep Dive into SVT-AV1's Evolution (Part 1) (wiki.x266.mov)
6 pts 0 comments by gnafuthegreat Jun 20, 2025 performancetesting Programming (General)Data / Databases / InfrastructureScience / Math / Physics
Finding Peter Putnam (nautil.us)
6 pts 0 comments by tallen Jun 20, 2025 cogscihistoricalphilosophyscience Science / Math / PhysicsCulture / Philosophy / History / Reading
Elliptic curves as art (elliptic-curves.art)
26 pts 2 comments by fanf Jun 19, 2025 artmath Science / Math / PhysicsCulture / Philosophy / History / Reading
Mathematical Illustrations: A Manual of Geometry and PostScript (personal.math.ubc.ca)
16 pts 0 comments by marmoset Jun 16, 2025 concatenative Programming Languages / CS TheoryDesign / UX / VisualizationScience / Math / Physics
The Hat, the Spectre and SAT solvers (nhatcher.com)
5 pts 2 comments by hwayne Jun 13, 2025 compscimath Programming Languages / CS TheoryScience / Math / Physics
100 years of Zermelo’s axiom of choice: What was the problem with it? (research.mietek.io)
15 pts 4 comments by meithecatte Jun 13, 2025 formalmethodsmath Programming Languages / CS TheoryScience / Math / Physics
Quantum Computing without the Linear Algebra (eprint.iacr.org)
2 pts 3 comments by abhi9u Jun 13, 2025 compscipdf Programming Languages / CS TheoryScience / Math / Physics
Mixed Boolean-Arithmetic (part 1): Introduction (plzin.github.io)
7 pts 3 comments by jmillikin Jun 11, 2025 mathreversing Systems / Low-Level / OSScience / Math / Physics
Quaternions (youtube.com)
1 pts 0 comments by LesleyLai Jun 11, 2025 mathvideo Science / Math / Physics
IBM is now detailing what its first quantum compute system will look like (arstechnica.com)
2 pts 0 comments by snej Jun 10, 2025 hardware Science / Math / PhysicsMaker / DIY / Hardware
Push Science (paulrcohen.github.io)
2 pts 4 comments by MiraWelner Jun 9, 2025 aipdf AI / Machine LearningScience / Math / Physics
Astonishing discovery by computer scientist: how to squeeze space into time (youtube.com)
11 pts 4 comments by james Jun 7, 2025 compscivideo Programming Languages / CS TheoryScience / Math / Physics
Binary Lambda Calculus (gist.github.com)
8 pts 0 comments by veqq Jun 6, 2025 mathplt Programming Languages / CS TheoryScience / Math / Physics
Sharing everything I could understand about gradient noise (blog.pkh.me)
24 pts 1 comments by ubitux Jun 6, 2025 compscimathprogramming Programming (General)Programming Languages / CS TheoryScience / Math / Physics
Convolutions, Polynomials and Flipped Kernels (eli.thegreenplace.net)
3 pts 0 comments by azhenley Jun 6, 2025 math Science / Math / Physics
A Beautiful Technique for Some XOR Related Problems (codeforces.com)
3 pts 0 comments by zk Jun 3, 2025 math Science / Math / Physics
A Lean companion to “Analysis I” (terrytao.wordpress.com)
21 pts 3 comments by mseri Jun 1, 2025 formalmethodsmath Programming Languages / CS TheoryScience / Math / Physics
Scientific Computing in Rust, June 4-6 2025 (free online workshop) (scientificcomputing.rs)
2 pts 1 comments by itamarst May 30, 2025 rust Systems / Low-Level / OSScience / Math / Physics