franklin_p_dyer
Joined 6 years ago
Karma
115
Submissions
31
Member since
Aug 18
Recent submissions
Comment · 9 months ago
Comment · 1 year ago
Not a question, but - Tatoeba could use your help! It is an open source (both code and data) dataset of parallel sentences and their Maltese data is very lacking. Also it’s pretty fun to just translate a bunch of random sentences into a language you speak. :-)
Comment · 1 year ago
+1
Comment · 1 year ago
Is there any reason not to believe this is just a hoax? I am immediately skeptical I see reported only on Threads (or FB, IG, Twitter, Bluesky, etc) and not corroborated.
Comment · 1 year ago
Really cool post! This is an awesome idea and I'd love to see more of these. :-)
Maybe these won't be the kind of thing you are looking for, but here are some gems that would be cool to see formalized, some of which I've been meaning to do myself someday:
- There are many parts of the book "A Course in Constructive Algebra" (Mines, Richman, Ruitenburg) worthy of being formalized, but even just the discussion of "omniscience principles" in the first chapter would be cool.
- I absolutely love Sierpinski's book "Cardinal and Ordinal Numbers", and although I'm not sure it would be considered a book of "intuitionistic mathematics", he is careful enough about pointing out where he uses AoC for parts of his book to be suitable for consideration. The results and exercises in VI.5 "Axiom of choice for finite sets" are probably my favorite in the whole book and would be awesome to see formalized.
- Tarski's Theorem about Choice: https://en.wikipedia.org/wiki/Tarski%27s_theorem_about_choic..., particularly from Tarski's original paper (though it is in French).
- I am not sure about a historical article/source for this one, but formalization of some results about Dedekind-finite and Dedekind-infinite sets (https://en.wikipedia.org/wiki/Dedekind-infinite_set) could be really fun. I find these to be very counterintuitive.
Comment · 1 year ago
This is really cool. Do you speak this pidgin or are you trying to document it as a non-native?
Comment · 1 year ago
As someone who is both an avid language learner and a software developer - what’s the value added in this platform, for someone who is already pretty comfortable as a programmer and autodidact?
It would take a lot to convince me to pay that much for a product like this. True, it can be inconvenient trolling around for content in your target language, but as a software dev I am pretty experienced with finding obscure things on the internet by finessing search queries. And there are plenty of other apps out there that do spaced repetition for you, and open source tools and data sets that can be used to help you scrape/process vocab (again, if you don’t mind spending some time debugging, which I personally do not). Besides that, I really don’t find it that inconvenient to manually write down words/phrases from books or movies and copy them into my SR deck. On the contrary, I think this overhead actually helps the phrases stick better!
So how would you sell your site to someone in my situation? What would I get out of it?
Comment · 2 years ago
This is so much fun. I did the same for a Discord server full of philosophy nerds, and the bot would say all sorts of things that started out profound-sounding and ended up absurd (one of our favorites: “I think therefore I am not italian”)
HN posts from my site: https://news.ycombinator.com/from?site=dyer.me