teiferer

13 ms·

331.
by teiferer 4mo ago
Lots to be desired, unfortunately. I tried 3 different words. It nailed the first 2 but the third was impossible: The word "serverside" is impossible to swipe. I tried 10x, never did it even come close.
332.
by teiferer 4mo ago
Hm what if he burries some storage server (with UPS) in the yard to which this is streamed. They are never going to find it. Especially if the networking is wireless, but even tracking down where ethernet (copper or fiber) goes is hard.
333.
by teiferer 4mo ago
If the goal was to maximize attention to the event (in order to use it to steer attention towards the cause) then it was quite successful, no? After all, we're talking about it here. Mostly about him and the details of the event, but s
334.
by teiferer 4mo ago
Next step would be to cut the cells too.
335.
by teiferer 4mo ago
> might as well be used in the reverse I don't think they would reject that. In fact, you are arguing their point: It's the context that matters, not just the act. Without knowing the context it's not valid to presume a pa
336.
by teiferer 4mo ago
Exactly. With "you" in the original post I didn't mean the exact actor right now but whoever will be in charge eventually. When good actors leave the stage, you are only left with the bad ones.
337.
by teiferer 4mo ago
I'm with you on that, but that's not the point. It's about what role tech plays in life. The claim that young people are increasingly detoxing and embracing offline life is just not true. More than any earlier generation, bei
338.
by teiferer 4mo ago
Yeah sure. That's not going to be a sustainable model. Once the tech is available and money is to be made, lots of for-profit alternatives will appear with marketing and lobby budgets that will take over the market. Remember Open AI wa
339.
by teiferer 4mo ago
> Plenty of younger people are already reverting to more primitive phones That's an effect that has always been claimed (younger generations rejecting new tech and going offline/low-tech/anti-...) but it's never been
340.
by teiferer 4mo ago
> But suddenly, you have a huge library of data about your health. With "you" being a VC backed startup aiming for the next $1T IPO. What could possibly go wrong?
341.
by teiferer 4mo ago
And that's my point. Putting just a little bit of minimal effort pays off much more than micro-optimizing some etf investment. Big time.
342.
by teiferer 4mo ago
> just ban U.S. platforms Try that and see your champagne exports be tarriffed with 100% in no time.
343.
by teiferer 4mo ago
I know you are joking, but there is something about this that I really don't get. "Friends" here really means "a professional network". Many nerds despise having one or maintaining/building one. At the same tim
344.
by teiferer 4mo ago
> got it solved by buying drinks for a buddy of mine that works for LinkedIn That it requires you to buy your buddy a drink says it all. They should have taken the general issue to their higher ups, fixed it for you and then bought you
345.
by teiferer 4mo ago
> I have to rely on machine translation to understand English documents that have no translation. The materials in my language are about 5 to 6 years behind. Pretty much off topic, but I strongly recommend you learn English. It takes a l
346.
by teiferer 4mo ago
Agreed. But those things are not mutually exclusive.
347.
by teiferer 4mo ago
> Code review doesn't scale to prolific humans If that's genuinely your attitude then your org has a problem. Code review is slow and less fun, for the average sw eng. But for high quality work it's indispensable. So treat
348.
by teiferer 4mo ago
I think your conclusion is upside down. Air safety is based on the "Swiss cheese" model. Multiple layers of safety nets are in place to compensate for issues in one layer. In particular, technical safeguards are there to prevent d
349.
by teiferer 4mo ago
My favorite example is the introduction of speed limit on some accident-ridden stretch of the Autobahn north of Berlin. After introducing the speed limit, the accident numbers went down dramatically. What did the local administration decide
350.
by teiferer 4mo ago
Trouble is that it is not always true either. You can legitimately overreact and in hindsight it can be hard to distinguish between these two things. Plus, even if you did overreact, that can still be the better side to have erred on, i
351.
by teiferer 4mo ago
That should really be a cautionary tale for everybody accusing everyone of LLM manufacturing texts. Many people write like that. The self-censoring nowadays to try to avoid sounding like an LLM is really sth we need to grow out of.
352.
by teiferer 4mo ago
> In the real world, many of us don't have the time to create formal proofs Of course not. That's why they are so rare. But I thought we live in an AI era now where this kind of stuff can be done by a machine.
353.
by teiferer 4mo ago
Oh I actually mean machine checked. Indeed, formal pen-and-paper proofs can have flaws, since they are essentially code without test coverage.
354.
by teiferer 4mo ago
A grad student is evaluated by how well they are capable of following scientific procedures, communicated their results and have a sufficiently broad knowledge foundation. All that can easily be verified by a professor in a related field si
355.
by teiferer 4mo ago
> This is...just incredibly conspiratorial and a bit silly. Do you think? Have you seen the insane valuations at which the AI companies are going to do their IPOs? They surely leave no idea off the table when hundreds of billions of USD
356.
by teiferer 4mo ago
> wrote a fuzzer for its prototype which explored and verified that its reasoning was correct. It absolutely nailed it. For such a data structure, "nailing it" means a formal proof of correctness. Fuzzing, as useful as it is, i
357.
by teiferer 4mo ago
> It's possible Opus or GPT-5.5 could have done this too, I've not tried the exact same sequence. The Fable vibes are good here, though. And that's the thing. These comparisons are all gut feelings. I'm missing object
358.
by teiferer 4mo ago
I'd say you are comparing different things in different eras. When France built the majority of its nuclear plants, 70s-90s, Germany didn't do anything renewable to speak of but sunk billions into the dying coal industry. Unions a
359.
by teiferer 4mo ago
Using German coal dependence as a baseline statistic to prove that nuclear is more economical than green energy is a remarkable stunt.
360.
by teiferer 4mo ago
Exactly. Sadly, it gets overlooked how much subsidies nuclear and even oil+gas have received over the years. Nuclear energy wouldn't even be a thing without heavy govt subsidies. And it keeps needing subsidies. No nuclear plant is econ

More ›