Skip to content

Instantly share code, notes, and snippets.

@sogaiu
Last active April 5, 2025 10:55
Show Gist options
  • Save sogaiu/e2b5d55654236347bcecfcddef7dd352 to your computer and use it in GitHub Desktop.
Save sogaiu/e2b5d55654236347bcecfcddef7dd352 to your computer and use it in GitHub Desktop.

2025-04-05

2025-04-04

2025-04-03

2025-04-02

2025-04-01

  • 93: Diversity of Approach (David Nolen) - Giant Robots Smashing Into Other Giant Robots

  • The Disconnect Between AI Benchmarks and Math Research

    Current AI systems boast impressive scores on mathematical benchmarks. Yet when confronted with the questions mathematicians actually ask in their daily research, these same systems often struggle, and don't even realize they are struggling.

  • The Cultural Divide between Mathematics and AI

    To understand the cultural divide, we must first understand what mathematics truly is. Paul Halmos captured this beautifully in I Want to Be a Mathematician (1985): "The youngster who is presented with a proof of a difficult theorem admires the achievement and is left wondering: How was this proof found? How could I invent something like this? No hints are given in the books." This gets at a fundamental truth: mathematics isn't primarily about finding proofs; it's about building understanding.

    May be actually teaching about how to solve things directly from an early age might have a positive impact?

  • .bat wrapper script

  • Exploring the Methodology of “A performance comparison of Clojure and Java” by Gustav Krantz - joinr

    • The M6

      We are a small team of nerds sharing writings on the internet. If you think about it, that’s how the internet started, before its commercialization. Remember the 90s? (Ok, some of you don’t.) Not that we are against commercial activity per se — we’re not. However, this is the way that we remember the internet when it first started, and we’re proud to join the few who are still keeping, in effect, this tradition alive.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment