jumpman500

I sort of agree, if you can guarantee the AI generated proof isn't a false positive. To be fair though, your example would be easy to explain to someone. You just show how the encryption algorithm can be trivially broken. A program that can break major encryption algorithm would likely be understandable, or at the very least we could show how it can decrypt things.

It's not good in some job negotiations if someone has a very clear picture of what your current net worth and income is. Also in some purchases companies could price discriminate more effectively against you.

I wasn’t able to stomach the idea of Larry Ellison being able to silently nudge my political views so I just deleted the app. Without the allure of China being able to influence my opinion I lost interest.

Yup, that's the problem. They view people as peons. Not people with lives, ambitions, family and friends. The only way to correct that view is to disobey.

It's time to unionize. The top is out of touch and the valuations of these tech titans aren’t just staggering; they’re symptomatic of a system that values profit over people. These tycoons at the helm are not just steering companies—they’re puppeteering democracy, pushing political agendas that many of us find abhorrent and irrelevant to our lives. Unionization isn’t merely about better pay or working conditions; it’s about reclaiming power from this oligarchy that’s grown too powerful, too influential. The tech community needs to wake up and get these clowns in line, we could shut these companies down if we organize.

Ya. I think people that have better technical vocabulary and an understanding of what should be possible with code do better. That’s usually a senior engineer, but not always

There was only 64% election turnout in 2024. People are not as politically radicalized and polarized as media companies say to increase engagement. Some people are, but the problem is being exaggerated for clicks and views.

I would not be surprised if governments pushing back against all foreign social media is a major theme of the decade. America is basically saying to the world right now foreign social media companies are a major risk. The global reach of America's social media companies could be coming to an end.

The return to office mandate at my company has definitely made most people at my company unhappy. Especially because it's obviously being done as a way to encourage people to quit. As a senior developer I've stopped caring about the company plan. If upper management doesn't care about employees, I don't care about deliverables. As the person that does most the technical interviewing anyways I know they won't be able to find any replacements in a reasonable time.

I meant overweight/unhealthy people losing weight would feel better. Totally agree that a heavier athlete wouldn't necessarily feel better with weight loss.

> On average, the participants lost 10% of their body weight; reduced their waist circumference by 11% percent; and had lower blood pressure, body mass index, triglycerides, blood sugar levels and insulin resistance.

Any person that loses 10% their body weight through a diet is going to feel much better.

I think the games industry is just to competitive for subscriptions to work. Indie games are more often than not are some of the best games in the year and usually cost half as much as AAA games. Subscriptions could work but there are few publishers that have produced consistent quality games to justify it.

The code, tests and data is the documentation. If the code is clear the documentation should be short description of features and purpose. Explaining how to setup a development environment is nice for onboarding.

Everything else is noise and leads to worse understanding. You have a duty to document but you also have a duty not to document irrelevant details or workarounds that aren’t real solutions. Bad documentation is a waste of your time and others.

No because I believe in workers rights… and freedom of speech. Civil rights are important democratic principles.

Fair point. Banning a social media platform because of topics discussed though seems like a dangerous precedent to set. Seems like a free speech issue to me though.

I think most people are aware of the CCP influence on TikTok. I hope reports like these make people question if they’re being manipulated on the platform. People should always question the validity of the media they consume.

Due to freedom of speech being a core value of democracy and censorship/information control being a core value of authoritarianism.

There’s a culture war, not a real war with China. If we censor the CCP just like they censor us then we are just as authoritarian as them.

Because if we’re willing to export propaganda and unwilling to receive any in return then we’re a nation of hypocrites.

I don't think tech courses or certificates have ever been a top consideration when reviewing backend engineer qualifications. Only if we're hiring for a specific technology that's niche. Most certificates just teach you how to understand/sell a specific technology stack which sometimes is helpful, but other times can make you not see simpler solutions. I'd check out what's freely available first.

Your 400 dollars is probably better spent making mistakes building your own personal project on aws/or some other cloud provider.

Yea a lot of game theory is built on the arbitrary axioms like that people will follow a given strategy with given information, or that there’s common knowledge. In reality people don’t necessarily follow the axioms of the theory.

I mean yes writing the wrong query will give you the wrong results. But there’s nothing inherently risky with a left/right/full join.

I could make the same argument about inner joins giving the risk of dropping records you intended to keep (very common in analytics). Just have to know what you’re doing and what data you got.

Well another way to think about it is that onboarding new folks is the only way to really check if your following a sane software development practice.

If it takes folks more than a few months to onboard, you probably have too many rules, standards or other processes that are pointless. There a multiple exceptions but if you can’t onboard folks fast your management team is either incompetent or they don’t pay developers enough to care who learns.

Isn’t that a dangerous amount?

A company should demand the documentation they need to understand things when the feature is under-development or shortly afterwards.

Documentation takes time. It's their fault for cutting corners and pushing out a product/service that's undocumented spaghetti code.

Yea I mean all crowded public places suck if you’re trying enjoy the scenery and relax… I don’t think this product would make it any worse. There’s already plenty of ways to make a lot of noise and annoy folks.

> Pursuant to the last major thread on the topic, I was thinking further about it, and realized that the vast majority of progress civilization has made has been under conditions much more regulated in terms of which ideas may propagate. We've never had a situation where fake news can and does spread the way it does today, where authorities are being undermined like this and casually dismissed by people with no knowledge of the respective fields, etc.

I don’t think you have evidence to support this either. Really hard to say when progress in a civilization happens, and how it would be different if norms were different.

Just because historically speech has been controlled doesn’t mean anything. Slavery also was well accepted and “progressed” civilization, but most people don’t want slavery in the modern world.

I've always found ETL frameworks to have their own problems. They seem great on paper but usually they don't account for a specific source system, APIs, applications, data size, data distribution or scheduling situations. If your project is using it then developers end up hacking the frameworks instead of writing simple code that does the specific thing they need to do.

Before you know it you have super long and super inefficient code just to fit the framework. It takes about the same time to read and understand an ETL framework as it is to write your own python/bash script, and at least with your own code it's easier to see bottlenecks.

Same. I can't use Safari without Ublock Origin. The web is a horrible place without it.

[1] https://github.com/el1t/uBlock-Safari/issues/158

16,000 per person

I get your point but I think sending the right signals to the market about carbon use is more important.

If we need to tax the rich more we tax the rich more. If we can’t control global warming poor people have much worse things than taxes coming to ruin their lives.