Bend – A language that blocks AI mistakes via proof, on CPU and GPU
(news.ycombinator.com)
1.
2.
Bend – A language that blocks AI mistakes via proof and runs on GPUs
(news.ycombinator.com)
3.
Nvidia announces native GPU programming in Rust
(news.ycombinator.com)
4.
6.
CUDA for AMD on Windows
(news.ycombinator.com)
7.
B200 Attention Kernel from Scratch to Near-SOTA in 60 Diagrams
(news.ycombinator.com)
8.
9.
10.
Hot Chips 2026: CUDA Targets RISC-V – By Chester Lam
(news.ycombinator.com)
11.
What happens when a GPU reads memory
(news.ycombinator.com)
12.
Geolocating a random island using geometry and CUDA programming
(news.ycombinator.com)
13.
Show HN: PantheonGPU – GPU health testing and AI workload benchmarking
(news.ycombinator.com)
14.
15.
Better Gaussian Splatting in Julia
(news.ycombinator.com)
16.
AirLLM 70B inference with single 4GB GPU
(news.ycombinator.com)
17.
18.
Inflect-Micro-v2: complete voice in 9.36M parameters
(news.ycombinator.com)
19.
20.
22.
23.
24.
25.
Nvidia DGX Spark as a daily driver
(news.ycombinator.com)
26.
Alternative(s) to run CUDA on non-Nvidia hardware
(news.ycombinator.com)
27.
28.
Reduce GVisor Cold Starts with GPU Snapshotting
(news.ycombinator.com)
29.
Zluda 6 release (run unmodified CUDA applications on non-Nvidia GPUs)
(news.ycombinator.com)
30.
What happens when you run a CUDA kernel?
(news.ycombinator.com)
Today's top topics:
openai
anthropic
apple
ai safety
google
ios 27
dario amodei
iphone 18 pro
nvidia
microsoft