franklin_p_dyer

My site: https://franklin.dyer.me

HN posts from my site: https://news.ycombinator.com/from?site=dyer.me

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/

+1

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.

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.

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

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?

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”)

I'm curious - do you have any plans for doing "quality control" as more tutors join your site? What will you do if someone joins as a tutor and is giving incorrect/misleading answers to students, and getting paid for it?

Thanks for the feedback! The business with `cbind` is a facepalm, I'll definitely fix that. I don't think it will affect performance much since that last step won't be repeated many times, but it makes me cringe now knowing how redundant it is.

Good advice on `col_grouping` as well, accessing those components of an aggregation rule by index rather than by name is a bad code smell and decreases readability for sure.

In what cases have you found it worthwhile to use pandas?

For sure! Definitely an good thing to know for an R newbie like me who is handling large datasets naively.

Thanks for mentioning polars, I hadn't heard of it before but it looks neat.

Location: Albuquerque

Remote: Yes

Willing to relocate: yes (including outside of USA, ask me)

Technologies:

- Programming languages: Haskell, Python, Java, C, Javascript, MATLAB, R, SQL

- Other: Git, Wireshark/libpcap, GCODE, LaTeX

Résumé/CV: https://franklin.dyer.me/file/FranklinPDyer-Resume.pdf

Email: franklin@dyer.me

Bio: I'm a senior computer science and math student at the University of New Mexico, graduating in May 2024. My interests are varied and I love learning, so I'll consider any sufficiently challenging and stimulating job that involves programming. (At UNM, I've done research into 3D printing, computational fluid dynamics and ML-based network intrusion detection.) However, I'm particularly interested in web development, web scraping and projects with security applications.

I highly recommend the book “The Power of Habit” by Charles Duhigg. It describes lots of interesting scientific findings.

That book introduced me to a technique for eliminating bad habits that has worked really well so far. Duhigg describes a case in which a lady was trying to stop biting her lip, so she was asked to carry a slip of paper with her, and whenever she felt the urge to bite her lip, instead write a tickmark on the piece of paper. This ended up working for her (and for me) because it is apparently easier to replace one habit with another (i.e. lip-biting with tickmark-writing) than to eliminate a habit completely. And once you’ve fully replaced your bad habit with writing tickmarks, it’s easy to stop doing the latter - just stop carrying pencil and paper in your pocket.