The compiler part of a language is actually a piece of cake compared to designing a concurrent garbage collector.
This has gotta be one of the most dunning-kruger comments on hn
Readit Newsalmostgotcaught commented on Compiler Engineering in Practice chisophugis.github.io/202... · Posted by u/dhruv3006
You say that like it’s even remotely feasible at the frontier of mathematics and not a monumental group effort to turn even established proofs into such.
Most groundbreaking proofs these days aren’t just cross-discipline but usually involve one or several totally novel techniques.
All that to say: I think you’re dramatically underestimating the difficulty involved in this, EVEN if the author(s) were a(n) expert(s) in machine readable mathematics, which is highly UNlikely given that they are necessarily (a) deep expert(s) in at LEAST one other field.
> You say that like it’s even remotely feasible at the frontier of mathematics and not a monumental group effort to turn even established proofs into such.
people on hn love making these kinds of declarative statements (the one you responded to, not yours itself) - "for X just do Y" as a kind of dunk on the implied author they're responding to (as if anyone asked them to begin with). they absolutely always grossly exaggerate/underestimate/misrepresent the relevance/value/efficacy of Y for X. usually these declarative statements briskly follow some other post on the frontpage. i work on GPU/AI/compilers and the number of times i'm compelled to say to people on here "do you have any idea how painful/pointless/unnecessary it is to use Y for X?" is embarrassing (for hn).
i really don't get even get it - no one can see your number of "likes". twitter i get - fb i get - etc but what are even the incentives for making shit up on here.
You would absolutely say "not bad" as an idiomatic variant of "good" in American English.
"not bad, not bad at all"
Russia seems poised to invade Europe in the near future. If they do, and succeed, Rome could become part of the new Soviet Union(which Putin has explicitly said he wants to bring back)
Once that happens, it's likely to lead to poverty. At least that's what happened in the last USSR
> Russia seems poised to invade Europe in the near future. If they do, and succeed
Is this a joke? There is literally no chance this ever happens.
This is addressed in the article.
> In fact, they are conducting a massive, multi-phase shift in software strategy. Phase 1 is releasing and open sourcing a new native PyTorch backend. They will also be open sourcing the compiler for their kernel language called “NKI” (Neuron Kernal Interface) and their kernel and communication libraries matmul and ML ops (analogous to NCCL, cuBLAS, cuDNN, Aten Ops). Phase 2 consists of open sourcing their XLA graph compiler and JAX software stack.
> By open sourcing most of their software stack, AWS will help broaden adoption and kick-start an open developer ecosystem. We believe the CUDA Moat isn’t constructed by the Nvidia engineers that built the castle, but by the millions of external developers that dig the moat around that castle by contributing to the CUDA ecosystem. AWS has internalized this and is pursuing the exact same strategy.
This isn't an "enormous software investment", this is table stakes which lose out heads up against Nvidia. See AMD.
to be fair it wasn't clear that was an official AMD debugger and besides that's only for debugging ROCm applications.
this sentence doesn't make any sense a) ROCm is an AMD product b) ROCm "applications" are GPU "applications".
Deleted Comment
Is there not an official tool from AMD?
> After searching for solutions, I came across rocgdb, a debugger for AMD’s ROCm environment.
It's like the 3rd sentence in the blog post.......
Theoretically there is a third option, stay in the store near the cash register and call the police to come deal with it on the spot before the purchase. The problem is that they probably won't bother coming, and if they do, they won't come quickly enough to make it worth waiting for them given the amount of money at stake.
Edit: Yeah, I did say before the purchase, but I should have said after the purchase when they pay the legally correct price but the store accuses them of shoplifting and tries to detain them. And I know it's often infeasibly hard to pay the legally correct price from a logistical perspective without the cashier's cooperator, especially if you want to pay with a card. It is clearly possible to put at least the right amount of cash on the counter, ask for the change, and attempt to leave if they refuse, but that doesn't guarantee ever getting the change. Anyway, I did list this option as (purely) theoretical and not as actually practical.
this is a tort not a criminal act - cops wouldn't/couldn't do anything.
almostgotcaught commented on Java Hello World, LLVM Edition javaadvent.com/2025/12/ja... · Posted by u/ingve
Ok. Let me ask differently. Why would I download and use LLVM for working with java code? Which usecases favor this?
"why would I use a frying pan when I can use a flashlight"
The two things have nothing to do with each other.