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. :-)
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.
I think the argument against that for the rapper is that he's pushing the Cybertruck as some tough/rich/machismo thing. Being stranded roadside is quite some distance from that. Who out there is going to want to listen to his song on the back of him suffering this kinda drama?
Another argument for it being legit is that he has to know that they'd send advance warning and that it would be a combo of certified and email (to get a quicker result). I've been pursued legally and there were email/physical copies.
This is not the first time Tesla has done it, either. Before the 3 was released, a customer found some references to it in their software and made some posts.
Next thing they know, their vehicle's firmware was forcibly downgraded to a version that had no references, was forcibly version-locked at that firmware version, and had the Ethernet and OBD ports disabled.
They'll also release misleading telemetry data at press conferences to throw you under the bus. In one fatal accident, on the topic of AP/FSD, at a press conference: "Well, we do the right thing, and vehicle telemetry tells us that the car was warning the driver to pay attention before the accident".
When the NTSB report came out, it was found that there had been one attention warning issued, and it was eighteen minutes before the collision.
There is a huge difference between rolling back software while disabling some ports compared to completely bricking a vehicle as it is being driven. We can recognize they are both wrong and abuses without pretending they are equivalent actions.
I think the question we should be focusing on is why this is possible in the first place? It’s cute when Apple or Google can kick you out of your phone, but something like a car.. highlights the absurdity of the situation we’re in.
> I think the question we should be focusing on is why this is possible in the first place?
No, that's specious reasoning. OP points out the possibility this is not even real. Do you have any indication that any of this is true? That should be your first step. However, you're somehow arguing that hypotheticals serve as any kind of justification, and a potentially made-up scenario is worth anything.
I think what he meant is that whether or not, in that particular instance, it happens to be the case that the company does not feel sufficiently motivated to actually do this (maybe his singing wasn't offensive enough, or the company just happens to have enough reasonable people in their staff right now), the much bigger issue is that they could theoretically do this. Which I think is a very important point.
It should be provably, technically impossible to do this - or at the very least, there should be heavy penalties (say, 10-20% of annual revenue) for doing this without proper judicial ruling. A company should only be able to afford 1 or 2 errors like this.
Are you free just because your master happens to like you and let you do what you want? Obviously not, since he could change his mind at any time.
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.
- 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.
Thank you! Yes, I'm from Nigeria. I became interested in this when I met people from other West African countries and learned that they speak the same type pidgin with tiny variations.
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?
I would have to know more about your circumstances before I could make genuine recommendations. But as an autodidactal programmer, I can serve as somewhat of an authority on this manner ;) The value I get out of the platform is:
1. I can study all my languages on the same platform. For my, having studied 30+ languages (note: not claiming to speak them), I just want to “do my languages”. I can study dialectal Arabic, minority languages, archaic languages, and the major languages, all in a nice consistent and (if I can say so myself) beautiful UI.
2. Everything is heavily annotated with all the information you could ever need. This means that I add flashcards, and when I’m learning them, I have the gender, cases, tenses, agglutination, phonetics, translations, audio, conjugation/declention tables, character breakdowns, mutations, idioms, multilword expressions, roots, etymology, etc etc (the list really does go on) at my fingertips. This means I just go through my flashcards, and when I have a question, I get an answer. If I have more questions, I have a context aware chat integrated. For me, this is the autodidactal dream come true.
3. Personally, I really love SRS. I also really hate SRS. If I have to study the words “dog”, “walk”, & “morning” - and I have a sentence “I walk my dog in the morning”, I just want to study that one one sentence and be done with it. Also, I really want to just be able to play audio sentences and listen to them while cooking/cleaning/walking my dog. Or do a free recall sessions, write down everything I remember from yesterday, and skip those reviews today (it’s more effective than SRS anyways).
Lastly, WRT to creating your own flashcards: You can still create flashcards manually on Phrasing - I agree the act of creating flashcards is beneficial, I’m not trying to take that away from anyone - but I’m not sure I buy it’s the highest leverage way for one to spend their time. At least for me, it definitely is not. I would rather skip that (admittedly beneficial) step, and move onto the next step. YMMV
It’s really hard to narrow the list down to three, I have a hundred things I want to say, but I’ll leave it here. Due to popular demand, I recorded a few live demos today so you can see it in action:
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?
Somethings I can immediately think of, but definitely not enough to address the issue.
1. Anonymous student ratings, if the solutions are obviously unclear or unhelpful to the student. A history feature would need to be there so the student can go back and mark a question as unhelpful or wrong even if he realises this after a week.
2. You'd need to separate unclear or unhelpful answers from plain wrong maybe? I don't know what's the line you'd need the draw but if an answer is deemed to be false, the student would be eligible for some in-app credit that he can redeem towards his next question/subscription.
3. Random cross verification of answers? Other teachers would get to judge a random answer from another teacher and provide feedback. Students would be notified automatically if an answer is revised in this way, while also providing the correct solution. Teachers can have an infraction counter or something for the same.
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.
HN posts from my site: https://news.ycombinator.com/from?site=dyer.me