rowanG077

4 ms·

31.
by rowanG077 2mo ago
I could not disagree more. I have been using linux for about 15 years. Linux is better now than it ever was.
32.
by rowanG077 2mo ago
M2 even.
33.
by rowanG077 2mo ago
AI in the sense of LLMs is too new to really make an impact yet. But it is compute driven. Modern science and engineering would be impossible as we do it now without high-end compute.
34.
by rowanG077 2mo ago
This is really it for me as well. At the heights of complexity AI can do magical things. But really a lot of the time I just want it to do mundane things right. And currently it just cannot. It writes garbage text, consistently ignores some
35.
by rowanG077 2mo ago
I think highly complex work and “professional” work are basically completely orthogonal. You can have highly complex work you do as an amateur, where AI can be very useful. For example working through a difficult mathematical problem, build
36.
by rowanG077 2mo ago
A lean proof or equivalent. I should have been more clear.
37.
by rowanG077 2mo ago
Just package the proof as a library and put it in some source code repository like github.
38.
by rowanG077 2mo ago
Lean does have libraries, but since they are also in lean they are subject to the same rules. It's basically a super strong type checker. If it compiles the proof is valid. Unless there is a bug in the type checker.
39.
by rowanG077 2mo ago
I just don't see that to be true. If tommorow someone pulls a proof that n = np out of their ass but is not able to explain it, it will still have immense value.
40.
by rowanG077 2mo ago
I'm not a professional game maker. But having used unity in anger in the past I found Godot a breath of fresh air. What unity really wins with is the unity asset store.
41.
by rowanG077 2mo ago
It seems you misunderstood my comment. I'm not arguing against them being more narcissistic or greedy compared to the baseline population. I'm saying that was not the original point I was objecting to. I'm not sure what your
42.
by rowanG077 2mo ago
The point I was responding to was claiming rich people lose their ability to self-regulate. You are posting about them being mean, more narcissistic and more greedy.
43.
by rowanG077 2mo ago
Big difference between propping up and trying to correct an extremely naive and childish view someone has about rich people.
44.
by rowanG077 2mo ago
I will ignore the insane comparison between neurons and LLMs. But > This is a reason for specialists, not generalists. Precisely not. The amount of work a human can do is basically unenumerable. Requiring a specialist for each task will
45.
by rowanG077 2mo ago
Adding arms and 360 vision is not free. Look at octopi with their insane nervous system required to support their tentacle. The one who wins is not the one that makes the best robot ever. The one who wins is the one who builds a robot that
46.
by rowanG077 2mo ago
That does not place AI above humans and neither does it evoke anything religious. Look at it this way. AI has destroyed humanity at chess for decades now. That doesn't mean we have placed AI above humans in the general sense. You have
47.
by rowanG077 2mo ago
I don't see that at all. Nowhere did this person evoke placing AI above people or even remotely evoke religious imagery. You imagined that yourself, and that creeps me out.
48.
by rowanG077 2mo ago
You are not understanding what humanoid robots are about. Those are specialist robots you are describing. The promise is of course one robot that can do the plumbing, clean your house, do the dishes, build a house, and basically every physi
49.
by rowanG077 2mo ago
Reducing all these fields to mathematics is incredibly reductive. I don't think it's in good faith.
50.
by rowanG077 2mo ago
large parts of Computer science, mathematics, theoretical physics, economics, some humanities research and I'm probably missing a ton.
51.
by rowanG077 2mo ago
For some research funding is mostly the salaries of the people doing the research.
52.
by rowanG077 2mo ago
I love SSE. But it has real limitations. One not mentioned yet is that you cannot send binary data.
53.
by rowanG077 2mo ago
I would rather call it the boiling frog. But hey, whatever floats your boat.
54.
by rowanG077 2mo ago
As a counterpoint. Simply getting older and more confident fixed it for me. From highschool to university It was terrible for me, it even got worse. A few years later during work it was simply fixed. From my perspective forcing children and
55.
by rowanG077 2mo ago
If your game fits in the bounds of N64 hardware it makes perfect sense IMO. You basically get virtually all modern platforms for free. Much easier than wrestling with all the modern API that are "platform independent" but not real
56.
by rowanG077 2mo ago
You can purchase much cheaper TB to pcie converts in china. You add some generic 12v power and you're done.
57.
by rowanG077 3mo ago
Are you really being so obtuse? Of course in real code you might use the error. For printing, forwarding it to a logging frame or anything else. The point is the error does not guard access to the return value. Here basically the same examp
58.
by rowanG077 3mo ago
Did you ever use go? ``` package main import ( "errors" "fmt" ) func getMessage() (string, error) { return "DO NOT INSPECT", errors.New("something went wrong") } func main() { msg, _ := getMessage
59.
by rowanG077 3mo ago
Unwrap is an explicit action. Checking an error is usually just forgotten. No unwrap can enter your code without the dev being accutely aware of it.
60.
by rowanG077 3mo ago
It does that, yeah. But my experience mostly in codex with gpt 5.5 and 5.6 is that if you micromanage it enough you can get clear code. It just gets really annoying to repeatedly do that.

More ›