misja111

6 ms·

31.
by misja111 5mo ago
> Every function is a specification that the compiler can verify against its implementation. This has been tried so many times already. It works nice for functions that only do some arithmetic. But in any real life system that pushes da
32.
by misja111 5mo ago
The root cause of some of the bugs seems to be the opaque nature of some of the Unix API. E.g. > The trap is that get_user_by_name ends up loading shared libraries from the new root filesystem to resolve the username. An attacker who can
33.
by misja111 5mo ago
I have been doing this for years already after finding out by myself that it worked. Staring at anything works, even staring at your screen as long as you make sure you focus out.
34.
by misja111 5mo ago
> How do you think engineers in the second half got there? By writing tons and tons of code to "build those reps" and gain that experience. Well this is true, but that doesn't mean that there isn't any other way to ac
35.
by misja111 6mo ago
Is 4.6 without adaptive thinking better than 4.5? Honest question. I switched back to 4.5 because 4.6 seemed mostly to take longer and consume more tokens, without noticeable improvement in the end result.
36.
by misja111 6mo ago
Well the fix is simple, just use 4.6 or even 4.5
37.
by misja111 6mo ago
I'm actually seeing a similar thing when comparing 4.6 and 4.5. It burns a lot more tokens, does show more how it is thinking along the way, but I don't see a strong difference in the end result. Occasionally 4.6 even seems to get
38.
by misja111 6mo ago
I disagree. Much of what makes software complex for us, makes it complex for LLM just as well. E.g: - a very large codebase - a codebase which is not modularized into cohesive parts - niche languages or frameworks - overly 'clever&#x27
39.
by misja111 6mo ago
I'm playing backgammon. Not just online, but live tournaments as well. What I like about it: it's one of those games that are easy to learn but difficult to master. Modern analyzing tools can detect your errors and weaknesses, pro
40.
by misja111 6mo ago
Where did you get those points from? Do you have a source? The 10 points I've read in the media are different, e.g. https://www.thenationalnews.com/news/us/2026/04/08/what-is-i...
41.
by misja111 6mo ago
I was replying to OP who sketched the scenario > Worst outcome is the US attacks Cuba .. As you probably know POTUS was announcing already that Cuba would be next.
42.
by misja111 6mo ago
> If this happens and Cuba decides to launch drones/missiles against the US homeland, it's not an exaggeration to say that Cuba is flattened and invaded that same afternoon. Yes that would be a typical US solution. Let's l
43.
by misja111 7mo ago
Can anybody explain how these plug-in solar panels work? I am suprised that it's possible to just plug them in to your wall socket. For instance, isn't it complicated to have their output be in perfect sync with the frequency that
44.
by misja111 7mo ago
It depends. If all I want is some prototype or pet code project, my LLM can write most by itself. The speedup could be 10 times or more. However, if I'd let a LLM write code for my work, I'd have to very thoroughly review it and m
45.
by misja111 7mo ago
I can't imagine he's building anything serious. How can you claim otherwise that your agents were deploying code that you couldn't verify. Imagine doing that in any serious business ..
46.
by misja111 7mo ago
Speak for yourself, I don't ship any code that I don't fully understand. Yes that requires less autonomous AI and less frequent merging. But I don't even want to think about the disasters that could happen if you really get i
47.
by misja111 7mo ago
> At some point you're not reviewing diffs at all, just watching deploys and hoping something doesn't break. Good luck doing that in any company that does something meaningful. I can't believe anybody can seriously be ok w
48.
by misja111 7mo ago
Most likely they will put the blame on the 'disloyal' supreme court and not on Trump.
49.
by misja111 7mo ago
So effectively US citizens have been paying an extra tax, which money flowed to certain companies. I can't wait to hear the justifications that will follow from the Trump government.
50.
by misja111 7mo ago
This is not entirely true. In an environment driven by business stakeholders, the engineer who ships features quickly, and that break rarely in production, will be greatly appreciated. The engineer who takes weeks to over-engineer a simple
51.
by misja111 8mo ago
And the alternative is ... Russia? A corrupt dictatorship whose economy is kept alive with government war spending?
52.
by misja111 8mo ago
I guess it's the same principle, an excess of adenosine in your brain because of the mental strain you put on yourself during the workout.
53.
by misja111 8mo ago
In my experience, it's the workout itself that ruins sleep when it's in the evening. My theory is that it's because of the adrenaline generated by muscle strain.
54.
by misja111 8mo ago
I have noticed that the reverse is also true: a heavy workout makes it more difficult to think hard afterwards.
55.
by misja111 8mo ago
> People seem to think only money has value. Your either don't understand or don't want to understand what people are commenting about here. Of course nobody thinks that only money has value. If only money had value, why would
56.
by misja111 8mo ago
Yeah but then this was called a subsidy so it would never have made the HN frontpage.
57.
by misja111 8mo ago
Trump has openly stated that there would be no military retaliation by the US in case of a Chinese invasion of Taiwan. Only an economic one. And we have seen what that is worth after the Krim was taken. It lasted a few years and then sancti
58.
by misja111 8mo ago
Won't that entire DOJ archive already be downloaded for backup by several people? If I'd be a journalist working on those files, this is the very first thing I would do as soon as those files were published. Just to make sure you
59.
by misja111 8mo ago
From the article: > However, another brain region saw lower volumes – suggesting the impact cannabis has on the brain is complex and nuanced, requiring further investigation.
60.
by misja111 8mo ago
That's nonsense. The main security threat for the EU is Russia, a state with a GDP roughly equal to Italy's. We only need to keep up our military spending with that.

More ›