That's one interpretation: the system doesn't take of your specific needs and therefore it's neglectful or inadequate. Another interpretation is that the teacher is doing exactly what the school needs them to do because most 5 year olds aren't concerned with how air conditioners work. And perhaps it shouldn't be the responsibility of the kindergarten teacher to provide technical education?
There's a conversation to be had about the educational system underserving the intellectually curious. Trying to make that point in the context of kindergarten is a little absurd to me.
Are you asking me to believe that the educational system underserves kindergartners because the average kindergarten teacher can't provide an education on your narrow technical interest?
The responsibilities of the average kindergarten teacher probably include 1) making sure your kids don't swallow glue, and 2) making sure little johnny doesn't throw another tantrum.
>Few of my teachers really understood the things I wanted to learn, my peers weren't interested in the nerdy things I was, and my parents certainly didn't have the wealth to provide me with private tutoring.
I can understand saying that when you're in middle or high school. But as a 5 year old? This comment has to be a joke?
I have a gripe with this attitude because it goes beyond browser use. Inserting the new fancy thing everywhere is often unnecessary and affects accessibility in a negative way for a nonneglible number of your users. And that was the point of the article, right?
Taking the conversation slightly outside the original context: if I go to a restaurant, should I have a phone and an app ready so that I can order food? If I go to the gym, should I have a gym app ready so that I can sign in? I don't like having to do that. But that's just another instance of this same attitude.
Look, I don't spend most of my time online criticizing AI progress. But what does your response even mean? People hallucinating work and solutions isn't commonplace at all, right? What industry do you work in where people hallucinate with frequency?
I don't think your comment represents the situation very well. They allowed the user to upload the data and they're storing the data regardless, right?
I like this answer. For me it's not about showing others that you're correct. Instead, it's about feeling like you're being heard/acknowledged.
I'm not trying to be the "lone free thinker". But if I see a hivemind, I occasionally insert my opinion with the intention of having a different perspective be recognized.
A totally understandable situation. Most people just want to use technology to accomplish their immediate goal. I'm tech savvy and I lose my mind every time I get distracted by broken/misconfigured technology.
So I just searched my email on HIBP again. Most of the leaks I see there were from old websites I hardly cared about securing from many years ago. But, in general, how do I find out what has actually been leaked (if it's not website specific)?
I'm not going to change all of my passwords every time a random website that I used briefly ten years ago leaks my low effort password.
If I understand this correctly, it translates Rocq to C++? Took me several minutes to even understand what this is. Why is it called an extraction system? Who is this for?
I'm confused.
edit: I had to dig into the author's publication list:
Testing remains a fundamental practice for building confidence in
software, but it can only establish correctness over a finite set of
inputs. It cannot rule out bugs across all possible executions. To
obtain stronger guarantees, we turn to formal verification, and in
particular to certified programming techniques that allow us to de-
velop programs alongside mathematical proofs of their correctness.
However, there is a significant gap between the languages used
to write certified programs and those relied upon in production
systems. Bridging this gap is crucial for bringing the benefits of
formal verification into real-world software systems.
Thanks for your reply. Unfortunately I'm not a student there. I just saw that they were making some of their lessons publicly available and wanted to organize the material for myself. I'm experiencing their courseware through the 2 minute long micro lessons on the Ed platform and I don't see any way to download the videos.
Hi is there a way to view the lectures in a more traditional way? For example, as one long video? I'm seeing lessons broken up into 2-5 minute long videos.
In reference to the open courseware, is there a way to either just download all of the videos in bulk, or view them as part of a single video? It looks like they're broken down into ~2 minute long video clips through the Ed platform, which is very annoying.
There's a conversation to be had about the educational system underserving the intellectually curious. Trying to make that point in the context of kindergarten is a little absurd to me.