legobmw99

5 ms·

1.
by legobmw99 19d ago
On the off chance this isn't just trolling: Getting linux to work on M-series Macs was a ton of work and basically none of it was done by the folks behind Omarchy. Exactly the point being made in this argument and elsewhere is that t
2.
by legobmw99 23d ago
Is "loving math for maths sake" just about knowing the answers? I think one can love math for exactly the process and understanding that a several-thousand-line uncommented Lean proof denies. If a deity rearranged the stars to spe
3.
by legobmw99 26d ago
I think this is a fine distinction to make, though it's worth noting that function arguments _can be_ colors as the author describes if the arguments have to come from a specific place, e.g. in languages where only `main` receives cert
4.
by legobmw99 27d ago
Better control over the async nature of the hardware is part of what makes GPU kernels efficient, but I'm not terribly sure the same thing would be the case on the other side of the PCIe bus. But even before you get to out-of-order&#x2
5.
by legobmw99 27d ago
That seems fair, CUDA kernels and shader code do feel like they're at a similar level of abstraction over the hardware as C was to the PDP-11. But I do think there isn't really an equivalent for modern CPU ISAs
6.
by legobmw99 27d ago
I’ve been a fan of this article for years, though it does often make me think that there really aren’t any true low level languages for our super scalar modern CPUs. Does anyone know of any?
7.
by legobmw99 1mo ago
I've started being driven mad by the number of times I've gotten a PR or proposed solution with 'sidecar' mentioned. First of all, it's often some hack to shove extra data into another place rather than actually ret
8.
by legobmw99 1mo ago
Huh, first time getting called a bot for me. I assume it’s the “Zed is an editor”, I was originally going to say something like “Zed is one of those editors like VScode that requires plugins for LSPs” and then shortened it
9.
by legobmw99 1mo ago
Zed is an editor that requires you to still write a tiny plugin basically telling it how to download and start the server, unlike something like emacs where this is just user config
10.
by legobmw99 1mo ago
I suspect both may be interesting to study more! Several existing studies I’ve seen have done things like prompt the LLM to produce a poem in a certain poets style, then ask people to spot the fake in a collection of poems, which they aren’
11.
by legobmw99 1mo ago
I partially think the difference is “can you tell something is the output of Claude without any real prompting”. People can absolutely use LLMs to generate text that I wouldn’t recognize, but people who don’t care and are producing slop wit
12.
by legobmw99 2mo ago
A democratic movement leading to increased regulation, even if you think such a thing would be misguided, is hardly a jihad…
13.
by legobmw99 2mo ago
Everybody is also different at different times in their life. Many people will develop at least one disability as they age, but even in temporary scenarios good design is accessible design. Consider opening a door when holding a heavy pack
14.
by legobmw99 3mo ago
I think it is reasonable to have a higher (or at least, different) standard for Emacs core than for packages. I also feel compelled to say that I personally think a lot of what has brought more energy into Emacs world recently is treesit an
15.
by legobmw99 3mo ago
How pessimistic you are on this subject depends on how much you believe in domain transfer for these tools. No programming language sprung out of a vacuum, and it seems reasonable to think that a LLM sufficiently trained on all the C++, Has
16.
by legobmw99 3mo ago
It's hard to articulate why, but 35 layers of deterministic abstraction feels very different from 1 layer of nondeterministic one. In particular, I think every developer has experienced the need to jump "down the stack" to de
17.
by legobmw99 3mo ago
I attended one of the better (read: top ~200) public high schools in the US, and you could graduate without even taking trigonometry
18.
by legobmw99 4mo ago
what’s wrong with make is largely that people are bad at writing makefiles. A tool like dune is able to enable cross compilation of a massive number of libraries out of the box, but make based projects that weren’t designed with it in mind
19.
by legobmw99 5mo ago
I think that’s not true; vanilla OCaml is already a competitor to Go, etc. OxCaml is explicitly an effort to compete more with Rust (the “Ox” in the name is to evoke “oxidizing” = rusting)
20.
by legobmw99 5mo ago
2026 is the year I stop reading blogs with headers like “The big unlock:” It is rude to share AI written text for others to read. You are violating a social norm that has existed implicitly forever, that you invested at least as much effort
21.
by legobmw99 5mo ago
I could imagine something like the mastodon protocol but for git forges, where even though they are separate websites there would be no true boundary to discoverability/interaction
22.
by legobmw99 6mo ago
You’re not putting a municipal grocery store on the same block as an existing big box and saying “wow, savings!” Food deserts exist in NYC, and many New Yorkers buy staples at corner stores that charge significantly more than a standard gro
23.
by legobmw99 7mo ago
Seems like its p3125r0
24.
by legobmw99 9mo ago
I am a recent 5070ti purchaser so I'm also feeling lucky, though if they exit the gaming market entirely I suspect the drivers will all go to crap soon thereafter
25.
by legobmw99 9mo ago
The poor resale market for EVs just means that people who actually have some understanding of the battery lifespans can get very good deals on 1-2 year old cars
26.
by legobmw99 10mo ago
There are some interesting experiments going on in the OCaml world that involve what they call 'modes', essentially a second type system for how a value is used separate from what it is . One goal of modes is to solve this prob
27.
by legobmw99 10mo ago
Yeah, I think people find C appealing because it feels like you can fit the whole language in your head. I’ve yet to meet someone who has actually accomplished this in practice
28.
by legobmw99 10mo ago
Isn’t that due to different reasons (like the end of production for older standards)? I recall the same happening shortly after manufacturing for DDR3 ceased, before eventually demand essentially went to 0
29.
by legobmw99 10mo ago
If they’re DDR4 (or even DDR3), it has no value to e.g. OpenAI so it shouldn’t really matter
30.
by legobmw99 10mo ago
Similar things on the OCaml forums. He has a post titled “Dune: concurrent builds are here!” but really it’s a +967 -100 slop PR that had to be closed

More ›