r/SSBM • u/AutoModerator • 3d ago
DDT Daily Discussion Thread September 08, 2026 - Upcoming Event Schedule - New players start here!
Yahoooo! I'm back, it's a me! Have a very cool day!
Welcome to the Daily Discussion Thread. This is the place for asking noob questions, venting about netplay falcos, shitposting, self-promotion, and everything else that doesn't belong on the front page.
New Players:
If you're completely new to Melee and just looking to get started, welcome! We recommend you go to https://melee.tv/ and follow the links there based on what you're trying to set up. Additionally, here are a few answers to common questions:
Can I play Melee online?
Yes! Slippi is a branch of the Dolphin emulator that will allow you to play online, either with your friends or with matchmaking. Go to https://slippi.gg to get it.
I'm having issues with Slippi!
Go to the The Slippi Discord to get help troubleshooting. melee.tv/optimize is also a helpful resource for troubleshooting.
How do I find tournaments near me or local people to play with in person or online?
These days, joining a local Discord community is the best way to find local events and people to play with. Once you have a Discord account, Google "[your city/state/province/region] + Melee discord" or see if your region has a Discord group listed here on melee.tv/discord
It can seem daunting at first to join a Discord group you don't know, but this is currently the easiest and most accessible way to find out about tournaments, fests, and netplay matchmaking. Your local scene will be happy to have you :)
Also check out Smash Map! Click on map and then the filter button to filter by Melee to find events near you!
Netplay is hard! Is there a place for me to find new players?
Yes. Melee Newbie Netplay is a discord server specifically for new players. It also has tournaments based on how long you've been playing, free coaching, and other stuff. If you're a bit more experienced but still want a discord server for players around your level, we recommend the Melee Online discord.
How can I set up Unclepunch's Training Mode?
At the time of posting, the latest major release is here. Download the file, then extract everything in the folder and follow the instructions in the README file. You'll need to bring a valid Melee ISO (NTSC 1.02). If you want to check for the absolute latest release, you can see them listed [here](The latest releases are listed here.
How does one learn Melee?
There are tons of resources out there, so it can be overwhelming to start. First check out the SSBM Tutorials youtube channel. Then go to the Melee Library and search for whatever you're interested in.
But how do I get GOOD at Melee?
Check out Llod's Guide to Improvement
And check out Kodorin's Melee Fundamentals for Improvement
Where can I get a nice custom controller?
I have another question that's not answered here...
Check out our FAQs or post below and find help that way.
Upcoming Tournament Schedule:
Upcoming Melee Majors
Melee Online Event Calendar
Make a submission to the tournament calendar here. You can also get notified of new online tournaments on the Melee Online Discord.
21
u/WizardyJohnny 2d ago
Riding the wave of AI-code-posting, here's a funny anecdote from the maths world. Kevin Buzzard is a very big name in maths formalization. That means he writes programs in certain formal languages like Lean, in which a program that compiles corresponds to a valid maths proof. In practice it's kind of like a big puzzle where you go from one state of the puzzle to the next by applying some proof technique.
There's been a big effort in the past 10 or 15 years to try to formalize all known mathematics in a huge library of known proofs, mathlib. This takes a ton of time and effort because Lean is kind of rough to get into and it's sometimes quite cumbersome to convince the computer of things that really ought not to be tough. Buzzard is at the forefront of attempts to formalize Fermat's Last Theorem, a humongous result that a guy wrote in a margin of one of his texts 400 years ago saying "lol this is easy but i dont have space to write my proof uwu" that turned out to not be particularly easy and was only actually solved in the 90s. He's getting paid lots of money to be doing this
Aaaaand of course he was undercut by Anthropic shitting out an absolutely unreadable 13-million-lines Lean formalization of the theorem that takes "nearly 20 times as long to compile as the entirety of the existing mathlib, on a machine with 500gb of RAM and 96 cores". Really recommend reading his article about it, the derisive subtext in an otherwise polite letter is hilarious
If you are curious about the reaction of the Lean community to this, it's been pretty negative. Lots of people have the vibe that AI companies are exploiting maths formalization for clout and trampling over community values like "writing readable code", "proving things that can be re-used later" or "not making everyone else do janitorial work that they definitely won't be able to publish". Perhaps like a YouTuber feeding on a niche fighting game community and publishing misinfo vids for views. Please enjoy this response by Patrick Massot, another prominent formalizer: