daymanstep

12 ms·

1.
by daymanstep 8d ago
How useful is this decompiled source code? I had a look and most of the code looks like this: bool fn_80173510(void) { u16* temp_r31 = gmMainLib_8015EDA4(); bool var_r30 = true; int i; if (gmMainLib_8015EDC8()->x5 == 0)
2.
by daymanstep 9d ago
As LLMs make formal verification cheaper (they can generate proofs that can then be automatically checked) many of the verifiable components of software systems, such as compilers and microkernels, will be verified. I suppose the issue is t
3.
by daymanstep 14d ago
Math in general is something that you don't need to know until you need to know it, the problem with "just in time" learning is that if you don't already know it then you won't even be able to know when it's ne
4.
by daymanstep 16d ago
Peer reputation and self policing works in a system where no money is at stake. In the old days scientific research was only done by self-funded rich people with tons of money and free time. Nowadays science is mostly done by people whose i
5.
by daymanstep 22d ago
Lightsail does not offer five nines.
6.
by daymanstep 25d ago
> Kant goes one level further. He says, basically: "before you do something, ask yourself: if everyone else in the world did what you're about to do as a matter of course, will it make the world better or worse? If it makes the
7.
by daymanstep 1mo ago
The Taliban was actually very rapidly pushed out of Afghanistan by the US working together with the Northern Alliance. The real problem was that the US couldn't reach into Pakistan to fully end the Taliban for good. Thus the Taliban wa
8.
by daymanstep 1mo ago
> There are more people who can write code, than who cannot. Are you serious?
9.
by daymanstep 2mo ago
Not viable for long range strikes.
10.
by daymanstep 2mo ago
Human in the loop is infeasible in comms denied areas which is what we have in Ukraine/Russia right now. It's why Ukraine and Russia are now using fully autonomous drones. That's the only real solution to jamming.
11.
by daymanstep 2mo ago
My counter argument is that you only need 1% of the population to be bad apples in order to destroy a high trust society. Hell, even a single serial killer on the loose will make a lot of people too afraid to walk alone at night. One or two
12.
by daymanstep 2mo ago
Yeah ultrasound sucks. I have an ultrasound distance measurer and it thinks a 1.8 meter gap is 0.6 meters. Extremely inaccurate.
13.
by daymanstep 3mo ago
Clankers absolutely can run sudo if you have passwordless sudo
14.
by daymanstep 3mo ago
Yes if people don't want to play they can just do a resign vote, majority wins. No need to kick ban anyone.
15.
by daymanstep 3mo ago
What kind of problems are you trying to have it solve ?
16.
by daymanstep 3mo ago
> You hit the point where your agent is churning for hours and running more and more tests and inadvertently breaking more things trying to make the change in all those places I've had this experience with vibe-coded applications wr
17.
by daymanstep 4mo ago
I would far prefer getting managed C# over the Electron garbage that constitutes much of Windows nowadays.
18.
by daymanstep 4mo ago
Kant also said something similar: If he is not to stifle his human feelings, he must practice kindness towards animals, for he who is cruel to animals becomes hard also in his dealings with men.
19.
by daymanstep 4mo ago
If by practicing kindness towards rocks, you become more inclined to act kindly towards other humans, then surely that is a net win.
20.
by daymanstep 4mo ago
It's hard enough to be unemotional when the livelihood of yourself (and others you care about) is on the line, but it's doubly hard when you think justice has been violated.
21.
by daymanstep 4mo ago
I think people often make this mistake, where they think they've killed their ego, and then fail to notice when their ego returns. I think people generally underestimate how hard it is to permanently kill their ego. What ends up happen
22.
by daymanstep 4mo ago
"Winning" in this context doesn't matter because people have the freedom to choose which algorithms they want to use. Like in the same way that windows has "won" in that it has 99% of desktop market share yet I can
23.
by daymanstep 4mo ago
Yeah everything is a browser app now gotta ship a whole browser engine even for a simple messaging app.
24.
by daymanstep 4mo ago
The US allowing Iran to levy a toll on Hormuz would completely discredit the US and set the precedent for other countries to levy their own shipping tolls . It's a non-starter.
25.
by daymanstep 4mo ago
Doesn't that mean that your process is then responsible for ensuring that an app with a read-only capability cannot do a write ? You're moving the burden of enforcement from the kernel to the user level ?
26.
by daymanstep 4mo ago
I am so tired of people talking philosophy without knowing any philosophy. So here is some Aquinas for those who want some actual substance. What is the ultimate good for humans? Specifically what does the good for us, and thus our well-bei
27.
by daymanstep 4mo ago
I had a chemistry teacher who insisted that the fissile isotope of Uranium was U-238 not U-235. I challenged him on this multiple times and he refused to budge on this. I get that it's a simple mistake to make (it seems like U-238 is b
28.
by daymanstep 4mo ago
Wonderful teachers that give unreliable information with total confidence?
29.
by daymanstep 4mo ago
How would less competition make the world better?
30.
by daymanstep 4mo ago
The author might want to look into elite overproduction theory. Same thing happened in Russia in the late 19th and early 20th century. Most of the radical revolutionary groups had a core of highly dedicated and highly educated people. Unive

More ›