zldar
Re:The Mojo language (by Modular, now Qualcomm) is now open-source
on Wednesday August 19, 2026 @08:24AM (#49360597)
I guess they want to go after CUDA for their GPU lines. Now give us the hardware.
Re:Palomar: A registry of Lean verified mathematics
on Wednesday August 19, 2026 @08:10AM (#49360458)
He is seemingly unbothered by the AI cartel centralization. He also wrote for MSFT's AI Anthology in 2023:
https://unlocked.microsoft.com/ai-anthology/terence-tao/
He clearly loves big industry, as unfortunately also too many software engineers do.
Re:Ask HN: GitHub employees what's going on? Why?
on Wednesday August 19, 2026 @07:57AM (#49360324)
COOs lie. There is no chance that MSFT would openly admit that its mandated vibe coding activities at GitHub have failed.
What speaks against the volume activity is that GitHub works perfectly after an outage. People don't just stop AI coding after an outage. If anything, the volume should be higher for people to catch up.
It is more like rebooting a vibe coded WIN-95 because of a vibe coded integer overflow (joke).