yodsanklai

7 ms·

91.
by yodsanklai 7mo ago
My manager is slowly being replaced by an AI. She's been asked to increase number of reports and start working on unrelated tasks, because presumably AI is making more productive at supporting the team.
92.
by yodsanklai 7mo ago
> without a battle of ego. This resonates. Recently, I've started to consider Claude as a partner. I like how he's willing to accept he's wrong when you provide evidence. It can be more pleasant than working with humans.
93.
by yodsanklai 8mo ago
oh cool, i didn't know there was a second edition!
94.
by yodsanklai 8mo ago
Actually, thanks to AI, this may change soon! we may be in a place where widespread formal verification is finally possible.
95.
by yodsanklai 8mo ago
The actual title is "How to win a best paper award", which is quite different from doing "important research that matters". Most researchers work in very niche and specialized fields, sometimes for their whole life. The
96.
by yodsanklai 8mo ago
> I would NOT recommend dating apps, you will most likely not find a real connection Plenty of people found real connections on dating apps. They can be frustrating but remain a good way to meet people. That being said, different people
97.
by yodsanklai 8mo ago
> a lot of political stuff finds place on the front page. I think something very serious is happening in the US right one, and it's increasingly hard for our community to just pretend it doesn't exist.
98.
by yodsanklai 8mo ago
The world is changing...
99.
by yodsanklai 8mo ago
> that my spouse and her colleagues use AI A LOT for diagnosis and treatment plans I hope they know what they're doing.
100.
by yodsanklai 8mo ago
Not so much, and I really don't know if it's me getting older, or the workplace that has changed. When I was younger, I really wanted to learn and I had a romantic view of coding and computers. Nowadays, I'm mostly concerned
101.
by yodsanklai 8mo ago
Within a given company, I think these roles are well-defined. In a big tech company, a principal engineer will influence decisions at a much higher level then a senior whose isn't visible outside his team. And an engineering manager su
102.
by yodsanklai 8mo ago
I'm try to save money and could take an early retirement in 2-3 years if necessary. If I'm fired before that, and if I don't find a job as an SWE or manager, I think I could teach. But who knows if your job will be gone. Ther
103.
by yodsanklai 8mo ago
> Seems like a terribly depressing way to live This sounds very judgmental. Don't assume there's a single way to live a happy life. People with kids aren't immune to depression or lack of purpose.
104.
by yodsanklai 8mo ago
> Then Iran tried to develop nukes again. Do we know that for a fact? or is it a lie just like Saddam's WMD. > PotUS told Iran "Don't shoot the protestors or else." Iran shot the protestors. Do you think Trump genu
105.
by yodsanklai 8mo ago
Nothing like a war to boost your popularity just before the elections
106.
by yodsanklai 8mo ago
Of all the silly things that Trump did, I think this one is the most reasonable. This has always been a department of war. Calling it defense was propaganda.
107.
by yodsanklai 8mo ago
Not at the same rate than AI supervised by a non-expert.
108.
by yodsanklai 8mo ago
It's a strange paradigm shift, where the tool is right and useful most of than not, but also make expensive mistakes that would have been spotted easily by an expert.
109.
by yodsanklai 8mo ago
As other pointed out, it's very difficult to answer as we're not you... Ideally, I'd try to talk to people who made similar decisions (e.g. Turkish migrating to Portugal or similar) so you can perhaps add new information to y
110.
by yodsanklai 8mo ago
> Also you don’t go to another country for a “better living standards”. Why not?
111.
by yodsanklai 8mo ago
Everybody is on the edge, with the fear of a big layoff wave happening. We see more and more people claiming they are so much more productive thanks to coding agents, big tech CEOs driving the use of AI like crazy, pundits anticipating rise
112.
by yodsanklai 8mo ago
I don't think a big company can be on the side of anything, except making money, unless there's a majority owner. This is by design. If fighting the government is going to hurt the company more than not doing it they won't do
113.
by yodsanklai 8mo ago
Any risk of being accused of funding terrorism by the US if I donate there?
114.
by yodsanklai 8mo ago
What can we individually do to help the people in Gaza, but even more broadly with human rights issues. Basically, to whom give our money to?
115.
by yodsanklai 8mo ago
and if you don't agree, you're antisemitic
116.
by yodsanklai 8mo ago
Because the type system gives you correctness properties, and gives fast feedback to the coding agent. Much faster to type check the code than let say write and run unit tests. One possible disadvantage of static types is that it can make t
117.
by yodsanklai 8mo ago
I'm curious to see how AI is going to reshape research in programming languages. Statically typed languages with expressive type systems should be even more relevant for instance.
118.
by yodsanklai 8mo ago
Not an expert, but I think they will primarily use the tools that are used in the training data, so it can be difficult to have them use your shiny new tool. Also good luck trying to have them use your own version of a standard unix tool wi
119.
by yodsanklai 8mo ago
At a given level of skills, the company will favor the cheapest employees. At a given level of salary (e.g. US market), the company will find the best possible candidates (most of them are foreigners, for simple statistical reasons). Maybe
120.
by yodsanklai 8mo ago
Because code isn't free. I can see it in my team. We've all been using Claude a lot for the last 6 months. It's hard to measure the impact, but I can tell our systems are as buggy as ever. AI isn't a silver bullet.

More ›