Neat! It feels like bridging the gap between infinitesimals intuition and epsilon-delta formalism. I wonder whether this approach could make a 1st course more rigorous, and whether that would be a good thing.
https://mujo.app I’ve been building a minimalist productivity app for musicians. Mujo adds time tracking, task management, notes and other “practice journal” tools into a simple metronome interface. Been hacking at the iOS version for a while, and starting to think about Android.
I built a proof of concept for a VC-scale app, and something like this is one of the core features. I applied to YC S24 and didn't get an interview (SUPER understandably). If anyone wants to hear details, shoot me an email (in bio); this project's vaporware until I find the right partner.
I’m sad to see this - I used to binge their videos a few years back. As someone who discovered and fell in love with classical music late in life (~26), and is now a hobbyist content creator [1] they were a terrific bridge into learning about orchestral instruments that I don’t play.
I agree with others that this seems like an attempt to pivot to “music as a higher art”, e.g. the rumored Two Set Academy, like a Tonebase competitor. Which is an absolute shame, because I think they did wonders to challenge that status quo and make classical music fun.
[1] Shameless, but if anyone is curious about an adult hobbyist learning classical guitar, I’m livestreaming almost daily: https://youtube.com/jcpractices
Building Mujo, a minimalist musicians' practice journal for iOS. It integrates time tracking, note taking, and task management into a familiar metronome UI/UX. I dearly love it (1400+ hours logged!) and it's slowly building traction. https://mujo.app
I think so. Another recent entry is purelymail, which I love because it's a flat rate for unlimited domains. I'm trying to spin up multiple "small bets", and per-user pricing is unreasonable, and for better or worse, I don't want a single catch-all email.
A secondary benefit for me is that Purelymail is cheap ($10/yr). But a major downside is that the CalDAV implementation doesn't yet support Accepted/Rejected scheduling responses. It's fantastic that they have CalDAV at all, but this one feature would seal the deal for me.
I don't mention it to suggest you could directly compete on that unlimited-users value prop, but it's an example along the lines that max_ suggests.
One that comes to mind is integration with recent ActivityPub / fediverse stuff. There might be cool design space there
I read "GEB" by Hofstadter after I finished my A levels (UK, aged 18). I picked up a random book in the school library to fill in 20 mins before going out on a pub crawl (as you do). Once we had finished off the Abingdon Ock Street crawl in fine style and the hangover had subsided, I devoured it. I'd never read anything like it before - what a communicator of ideas.
A few unwise life style choices later and I find myself running a small IT company for the last 25 odd years.
I'll never get beyond undergrad engineering maths n stats but it's works like GEB and the Natural Numbers Game (and I see there are more) that allow civilians like me to get a glimpse into the real thing. There is no way on earth I could possibly get to grips with the really serious stuff but then the foundations are the really serious stuff - the rest simply follows on (lol)
Whom or whoever wrote the NNG tutorials are a very good communicator. The concepts are stripped to the bare essentials and the prose is crystal clear and the tone is suitably friendly.
Yea I’ve run through that a couple of years ago - was brilliant, had a lot of fun. But I mean to stay up to date and somehow contribute from the sidelines
Sort of. Except for "weird logic classes", people would not bother to informally prove (i.e. no computers / strict system) such elementary things. But we can and should ask whether in fact that is the best curriculum structure.
(My making an easy fun game of proofs, I hope we can introduce them far earlier in the school curriculum. How many people in this world really understand the difference between reasoning and charismatic rhetoric? I don't blame anyone that isn't given the way we are taught.)
