this post was submitted on 31 Mar 2021
1 points (100.0% liked)

Asklemmy

1454 readers
38 users here now

A loosely moderated place to ask open-ended questions

Search asklemmy ๐Ÿ”

If your post meets the following criteria, it's welcome here!

  1. Open-ended question
  2. Not offensive: at this point, we do not have the bandwidth to moderate overtly political discussions. Assume best intent and be excellent to each other.
  3. Not regarding using or support for Lemmy: context, see the list of support communities and tools for finding communities below
  4. Not ad nauseam inducing: please make sure it is a question that would be new to most members
  5. An actual topic of discussion

Looking for support?

Looking for a community?

~Icon~ ~by~ ~@Double_A@discuss.tchncs.de~

founded 5 years ago
MODERATORS
top 3 comments
sorted by: hot top controversial new old
[โ€“] liminal@lemmy.ml 2 points 3 years ago* (last edited 3 years ago)

A service like letterboxd, myanimelist, and goodreads, that unifies all these mediums and more, into one single media tracking site with individual user profiles and off that, on the side, some social-networking. As of today, there's no site for tracking ALL media, rather only many sites focused on a single medium, each with ad-hoc databases and different UI:

  • Film (IMDB, letterboxd)
  • Anime (myanimelist, anilist, kitsu)
  • Games (mobygames, glitchwave?)
  • Literature (goodreads, bookwyrm (federated!)
  • Music (rateyourmusic, ...)

If I'd just like to keep track of media I consume I can just keep one big offline spreadsheet, but what I enjoy of these services is the ability to make friends with similar tastes and being introduced to amazing art through personalized recommendations, that I otherwise would've never known about.

Apart of being fragmented, most of the aforementioned available media tracking services sell user's data and are proprietary. I guess I'd like to see something like bookwyrm, but with a larger scope than just books. Maybe integration with Wikidata is the only viable solution for the herculean scope of cataloguing every media release that ever existed. Not sure how this would turn out in practice, but Wikidata could benefit too, from having legions of people adding info on their favorite obscure shows.

[โ€“] Shaggy0291@lemmygrad.ml 1 points 3 years ago (1 children)

Duolingo but it's maths.

Like, it teaches you all of maths from stuff as simple as small addition all the way up to complicated things like calculus and integration. It would have problem generators that keep feeding you practice questions until you can do it all from heart.

I'd call the app "Euler", after the prolific mathematician.

[โ€“] ster@lemmy.ml 1 points 3 years ago

This would be fantastic, although as a maths student myself I would want a mix of human-written and automatically-generated problems (since automatic ones are severely limited in scope and routine problems are rarely done in any quantity at high level).

If it also integrated with (an) Interactive Theorem Prover(s) to allow leaners to write proofs which are computer-checked that would be incredible.

I've actually been meaning to start this project myself for around 2 years but the barrier for me is web development, I'm a competent Python programmer so I reckon I have a chance with the backend but I have literally 0 ability in UI/frontend design and frontend development.

If anyone considers themselves mildy competent (post-beginner) level at frontend web development and wants to chat about this on matrix I'm all ears.