franklin_p_dyer (u/franklin_p_dyer)

franklin_p_dyer commented on EuroLLM: LLM made in Europe built to support all 24 official EU languages eurollm.io/... · Posted by u/NotInOurNames

purrcat259 · 2 months ago

I read, write and speak Maltese, AMA if you are curious about the language.

franklin_p_dyer · 2 months 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. :-)

https://tatoeba.org/

franklin_p_dyer commented on Tesla remotely deactivates rapper's vehicle for singing about the Cybertruck? threads.com/@brittainfors... · Posted by u/Analemma_

stingraycharles · 4 months ago

Ok, I apologize, but I’ve seen so many fake posts by social media influencers / celebrities at this point that I have to ask: does anyone have a source / verification that this is actually true?

It’s not necessarily that I don’t believe this would be absolutely the par of the course for Elon, I just would like to see a more credible source than a threads post of the rapper. The cease & desist letter in the threads comments looks like it’s AI generated.

franklin_p_dyer · 4 months ago

+1

franklin_p_dyer commented on Tesla remotely deactivates rapper's vehicle for singing about the Cybertruck? threads.com/@brittainfors... · Posted by u/Analemma_

franklin_p_dyer · 4 months 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.

franklin_p_dyer commented on 100 years of Zermelo's axiom of choice: What was the problem with it? (2006) research.mietek.io/mi.Mar... · Posted by u/Bogdanp

mietek · 6 months ago

Author of the mechanization here. Feel free to suggest materials from the history of intuitionistic mathematics and type theory that ought to be mechanized and made available to a wider audience — the less well-known, the better.

franklin_p_dyer · 6 months 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.

franklin_p_dyer commented on Ask HN: What are you working on? (April 2025) · Posted by u/david927

Kelvinidan · 8 months ago

A standardized dictionary/lexicon for the variant of pidgin English that is spoken around Western-Africa.

https://yarnz.app/

It contains words and phrases with their accompanying context.

franklin_p_dyer · 8 months ago

This is really cool. Do you speak this pidgin or are you trying to document it as a non-native?

franklin_p_dyer commented on Ask HN: What are you working on? (April 2025) · Posted by u/david927

barrell · 8 months ago

I have been working on http://phrasing.app - a language learning & acquisition tool for polyglots. I’ve been using it to study ~12 languages (5 on maintaince, 2 seriously studying, 5 casually “studying”) and it’s starting to feel really good. If anyone is learning/maintaining several languages, please reach out! I’m looking for beta testers in as many languages as possible (it supports 120+).

In what I believe is still the spirit of the question though, I discovered Maltese these week and have added it to my casual study. It’s a Semitic language (closely related to Arabic), written in the latin script, with about 40-50% of its vocabulary being Italian/Sicilian based. It’s become my new obsession

franklin_p_dyer · 8 months 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?

franklin_p_dyer commented on Ask HN: What's the most creative 'useless' program you've ever written? · Posted by u/reverseCh

eloisius · a year ago

About 10 or 11 years ago I wrote a bot that sat in our company Campfire chat training a Markov chain for each person. Then you could command it to imitate someone and it would spit out hilarious madlibs. This would likely not be amusing anymore, but back then it made people laugh.

franklin_p_dyer · a year 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”)