drivebyhooting

5 ms·

61.
by drivebyhooting 2mo ago
And changing your car oil is easy. Vacuuming and dusting the house is easy. Many easy things. Too many for me to do all.
62.
by drivebyhooting 2mo ago
You know how a microphone can also serve as a speaker? Can this technology also do text to thought?
63.
by drivebyhooting 2mo ago
How do you automate experimentation? Doubtlessly, AI can iterate at superhuman speeds in the domains of thought and design: Software, mathematical proofs, literature search. But in the realm of experiment? Alas it is the lack of a body that
64.
by drivebyhooting 2mo ago
In my city I call a handyman to fix my dryer and guess what? He uses chatGPT to help him through the issue. $350 Beyond a basic amount of manual dexterity and familiarity with mechanical things, AI can absolutely help guide an untrained per
65.
by drivebyhooting 2mo ago
For the present, human bodies are far more capable than robotic ones.
66.
by drivebyhooting 2mo ago
What say you of warehouse workers? Of restaurant staff? These exist today and are dehumanized in much the same way, but perhaps with lesser effect. Don’t mistake my ill portent for enthusiasm. I merely foretell.
67.
by drivebyhooting 2mo ago
I think the next bottleneck is embodiment. AI can lay the best laid plans, but who will execute it? I think a possible solution to the dual problems of AI embodiment and unemployment is humans becoming avatars for AI. Imagine one of the un
68.
by drivebyhooting 2mo ago
Fixed number of rounds with a target should use DP for solution, not KC.
69.
by drivebyhooting 2mo ago
> A company’s public statement in the middle of an outbreak is not marketing. It is evidence — what the company said it knew, and when, published to the world at a moment when nobody had the benefit of hindsight. Stopped reading immediat
70.
by drivebyhooting 2mo ago
And yet, knowing how to calculate a wave function helps little with leading a happy life, finding and maintaining good relationships, talking to children, etc. The more secular we become, the more “gospel” we reject, the more we leave behin
71.
by drivebyhooting 2mo ago
I think my opinion will be even more maligned: I like Java-style checked exceptions. It forces awareness of the error and a clean way to propagate it.
72.
by drivebyhooting 2mo ago
Can generics be used to improve error handling and eliminate the if err pattern?
73.
by drivebyhooting 2mo ago
Look up “nonconvexity”. TQQQ during draw down will kill your gains.
74.
by drivebyhooting 3mo ago
How do I reliably apply? And is there a remote role?
75.
by drivebyhooting 3mo ago
The problem I see is that in a traditional company a senior engineer would push back on complexity and know when to do due diligence. AI seldom pushes back, embraces complexity, does a lot of due diligence (however often superficial), and t
76.
by drivebyhooting 3mo ago
What do you mean?
77.
by drivebyhooting 3mo ago
Being infantry might’ve been a better calling than a divorced dad.
78.
by drivebyhooting 3mo ago
You misunderstood me. LLMs democratize the process of mathematical disillusionment. There may come a day that Terence Tao himself will have this democracy delivered to him. When the human mathematical towers are crumbled and spirits left hu
79.
by drivebyhooting 3mo ago
Graduate complex analysis. I couldn’t do any of the homework problems without a study group.
80.
by drivebyhooting 3mo ago
Well for me the twilight had already come when I realized I’d never amount to a decent mathematician. Maybe this is rather a common experience? LLMs just democratized that process.
81.
by drivebyhooting 3mo ago
How did you learn lean? I’ve played the game but I still feel lost and bewildered. Did the action of proving with LLM assistance teach you the best?
82.
by drivebyhooting 3mo ago
> many possible Y-goals would concentrate probability into this X-strategy being used Why does EY write so obliquely?
83.
by drivebyhooting 3mo ago
You’re taking a dim view on the government. Is the government always the most efficient or intelligent? No. But the government can also build nukes, launch ICBMs, coordinate hundreds of spy satellites, etc. I count those capabilities as pr
84.
by drivebyhooting 3mo ago
Why bother with dynamic padding and a back pointer? That wastes at least 8 bytes. You might as well always align to 8 bytes and make your header a multiple of 8.
85.
by drivebyhooting 3mo ago
Can we audit the CoT and work the AI did to generate such a remarkable cancellation?
86.
by drivebyhooting 3mo ago
Why can’t we have more doctors?
87.
by drivebyhooting 3mo ago
Doesn’t this generalize? Mathematics matters less than less as fewer people are capable of understanding it. So whatever cutting edge, deep insight about the nature of groups matters less than different equations which matters less than so
88.
by drivebyhooting 3mo ago
The proof prompts do say to spend at least 8 hours.
89.
by drivebyhooting 3mo ago
Full monomorphization can also greatly increase code size and icache pressure. Especially if LTO was not possible. I haven’t seen icache pressure causing performance degradation in the wild but it is in theory possible.
90.
by drivebyhooting 3mo ago
If you’re gonna have kids, fussy means: * have decent schools * not covered in lead or asbestos * not next to a highway

More ›