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.
有一场关于教育体系未能满足求知欲的人的对话。试图在幼儿园的背景下阐述这一点对我来说有点荒谬。