Hacker News Reader

zldaron The Mojo language (by Modular, now Qualcomm) is now open-source

I guess they want to go after CUDA for their GPU lines. Now give us the hardware.

zldaron Palomar: A registry of Lean verified mathematics

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.

zldaron Ask HN: GitHub employees what's going on? Why?

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).