Sabitlenmiş Tweet
perry
9.6K posts

perry retweetledi

There's a point Vogel is making here that I largely agree with and can elaborate on another time, but let me add some nuance.
Greek philosophy, going all the way back to Thales, placed a very heavy emphasis on mathematics, especially geometry. I don't think this emphasis would have been nearly so strong if it was not a very generative source of inspiration.
It's very easy for an intuitive understanding of the world to obscure strange corner cases. If you're forced to prove something rigorously, these corner cases may add a lot of additional difficulty but once addressed can draw out truths that your intuition would never have seen.
The past two centuries of mathematics has involved the development of new techniques that have solved problems that the ancients struggled to, but also have strange implications that I don't think we've fully grappled with. Incompleteness, logical independence, the Principle of Explosion, Complexity Theory, etc. The applied forms of these things have heavily shaped the physics, engineering, and computing that enabled the modern world. The philosophical implications seem only shallowly explored.
Infinity was a taboo for thousands of years, as the church considered a number beyond all others to be an affront to God; in short, God cannot create something greater than Himself. In the late 1800s, we found that infinity didn't quite work the way we thought. In a series of letters, Cantor debated Pope Leo XIII and other theologians over the theological implications of transcendental infinities, won the debate by showing that the church had ignored a very strange possibility for the nature of infinity, but then no one seems to have bothered to consider much about what this may actually mean on the theological side.
I'm hopeful that as we make mathematics more legible to interactive computers via things like theorem provers, a lot of this obscure mathematics may become far easier for people to learn, and more thinkers can look to rigorous logic to find strange possibilities that their intuition has missed.
Prince Vogelfrei 🐦⬛@PrinceVogel
Yeah? How do you say that in math
English

LILGUY V2 - "STARBOY" 🌟
An adorable, wearable digital pet that behaves like a real living creature.
Aluminum / Stainless Steel / Brass / Crystal
Batch 1 pre-order ➡️ lilguy.net
English


@allgarbled must’ve been talking about how she accurately intuited that you were asian
English

Beat it by having Codex hand-craft weights:
gist.github.com/N8python/02e41…
100% accuracy on 10 million random test cases w/ only 343 parameters. As a bonus, it uses the vanilla Qwen3 architecture, just with the right weights.
Dimitris Papailiopoulos@DimitrisPapail
491 parameters: a new top scorer for 10-digit addition with transformers! Who can beat it?
English

@hopes_revenge really? USD-denominated transactions in 2032? kind of unrealistic
English

@allgarbled “What would you do alone in a cage with nothing but cocaine? Read this book to find out”
English

Not interested in a book where the title poses a question that is so easily answered. I would do the cocaine. Next question.
Paul Schofield@pschofie79
Among philosophy books that attempt to “say something useful about the real world,” this is the best I’ve read in a long time. Big picture idea that addiction isn’t a brain disease is good. But page by page, there’s a lot to think about.
English

annoncement to all my non-slop oomfs, slop/pot has fully taken over lean4. move to greener pastures, this shit is officially ran through.
atharva ☆@k7agar
lean is going to be the language to know and understand in a few years
English





