TechBrief — تازه‌ترین اخبار فناوری

Gap in Mochizuki's proof of ABC confirmed by Lean

Article URL: https://twitter.com/FumiharuKato/status/2078017230537892207

Comments URL: https://news.ycombinator.com/item?id=48963019

Points: 9

# Comments: 1

Mayor Mamdani Says Landlords Can't Use AI Images to Advertise

Article URL: https://petapixel.com/2026/07/16/mayor-mamdani-says-landlords-cant-secretly-use-ai-images-to-advertise-properties/

Comments URL: https://news.ycombinator.com/item?id=48962983

Points: 45

# Comments: 23

Real-Time LuaTeX: Recompiling Large Documents in 1ms [pdf]

Article URL: https://www.tug.org/tug2026/preprints/lode-realtime.pdf

Comments URL: https://news.ycombinator.com/item?id=48962944

Points: 8

# Comments: 2

Judge a book by its first pages

Article URL: https://uncovered.ink

Comments URL: https://news.ycombinator.com/item?id=48962893

Points: 17

# Comments: 13

Classic Amiga titles, free to download

Article URL: https://amigafreeware.downer.tech/

Comments URL: https://news.ycombinator.com/item?id=48962838

Points: 11

# Comments: 0

Hardcore IndieWeb: Run your own website 100% independently for only $0.01/day

Article URL: https://www.neatnik.net/hardcore-indieweb

Comments URL: https://news.ycombinator.com/item?id=48962758

Points: 28

# Comments: 21

Co-evolution of self-replication and function in a digital primordial soup

Article URL: https://arxiv.org/abs/2607.09211

Comments URL: https://news.ycombinator.com/item?id=48962429

Points: 8

# Comments: 1

Ada: An AI business intelligence software from CSV and Excel(yes LLMs but more)

Article URL: https://github.com/saineshnakra/automated-data-analyst

Comments URL: https://news.ycombinator.com/item?id=48962405

Points: 4

# Comments: 2

Dave Eggers told OpenAI staff that ChatGPT was ‘silencing an entire generation’

Last year, Sam Altman invited author Dave Eggers to give a talk to around 200 OpenAI staffers. The man has written countless novels, screenplays, pieces of journalism, started McSweeney's, and founded multiple schools and nonprofits that support writers and the arts more broadly. So one might expect he'd roll into the company's offices and offer […]

Typing Speed Test, but for Developers

Article URL: https://haxxorwpm.0s.is/

Comments URL: https://news.ycombinator.com/item?id=48961504

Points: 72

# Comments: 41