Viewing profile — zero-sharp

The parent is making a point about the rate/scale at which technology replaced workers. If you think the hypothetical is too extreme, then what would a more realistic version be? A…

there were two lead developers from FFMPEG on Lex Fridman's youtube channel who talked about performance gain from assembly. They claimed the opposite https://www.youtube.com/watch…

>I don't personally know anyone who writes code any more (for work). Is this not the case for you? I hear this from time to time. But I still write code at my job. I'm not a softwa…

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 w…

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 int…

>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 provid…

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 …

I like how you equate 10 year old browser users with luddites?

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? …

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 …

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 bro…

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 ou…

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 conf…

I'm sorry, but was there a specific point you wanted to make in relation to the first two sentences of the grandparent's post?

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 myse…

I don't know if HN gives you notifications when you get replies so I'm going to reply to this post regarding https://news.ycombinator.com/reply?id=46179347&goto=item%3Fi... How are…

You have to leave your room first.

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 int…

>Say I want natural numbers, I need to choose a concrete implementation in set theory In what situation do you ever actually need a set theoretic foundation of the natural numbers …

I've had the experience of working at a small business with extremely bad onboarding/organization: 1. documentation is nonexistent 2. broken processes that nobody can explain. 3. n…

My guess is that most mathematicians wouldn't consider that notation abusive. Why do you think it is? That notation is a convenience that allows us to represent a sum over a set wh…

"it is natural that curly braces can denote both a set and a sequence, depending on this implicit input." ? I don't even know where to begin. Overloading symbols in mathematics occ…