Tech
130k Lines of Formal Topology: Simple and Cheap Autoformalization for Everyone?
Article URL: https://arxiv.org/abs/2601.03298 Comments URL: https://news.ycombinator.com/item?id=47240504 Points: 7 # Comments: 0
Tech
Tech
Don't make me talk to your chatbot
Article URL: https://raymyers.org/post/dont-make-me-talk-to-your-chatbot/ Comments URL: https://news.ycombinator.com/item?id=47239943 Points: 215 # Comments: 176
Tech
A suite of government hacking tools targeting iPhones is now being used by cybercriminals
Security researchers say exploits used by governments to hack into iPhones have been found to be used by cybercriminals. They warned of an emerging market for "secondhand" exploits.
Tech
Alibaba’s Qwen tech lead steps down after major AI push
Reactions rippled through Alibaba's Qwen team after tech lead Junyang Lin stepped down following a major model launch.
Tech
Just three companies dominated the $189B in VC investments last month
Crunchbase data shows a record $189 billion of global venture capital flowed to startups last month, with AI startups nabbing 90% of the capital.
Tech
TikTok down for some in US, thanks to second Oracle outage since sale
TikTok experienced a similar outage just days after ByteDance divested the app's U.S. operations.
Tech
No fooling: NASA targets April 1 for Artemis II launch to the Moon
"Engineers are assessing what allowed the seal to become dislodged to prevent the issue from recurring."
Tech
Downdetector, Speedtest sold to IT service provider Accenture in $1.2B deal
Accenture plans to buy Ookla, which also includes RootMetrics and Ekahau.
Tech
FCC chair calls Paramount/WBD merger "a lot cleaner" than defunct Netflix deal
FCC to review foreign debt, but Carr indicates it will be a formality.
Tech
Lenovo's New ThinkPads Score 10/10 for Repairability
Article URL: https://www.ifixit.com/News/115827/new-thinkpads-score-perfect-10-repairability Comments URL: https://news.ycombinator.com/item?id=47240694 Points: 21 # Comments: 4
Talos: Hardware accelerator for deep convolutional neural networks
Article URL: https://talos.wtf/ Comments URL: https://news.ycombinator.com/item?id=47240441 Points: 24 # Comments: 5
Tech
Helsinki just went a full year without a single traffic death
Article URL: https://www.politico.eu/article/helsinki-no-traffic-death-roads-eu-accident-finland-driving-transport/ Comments URL: https://news.ycombinator.com/item?id=47240212 Points: 71 # Comments: 21
Tech
Don't Make Me Talk to Your Chatbot
Article URL: https://raymyers.org/post/dont-make-me-talk-to-your-chatbot/ Comments URL: https://news.ycombinator.com/item?id=47239943 Points: 152 # Comments: 93
Tech
AI companies are spending millions to thwart this former tech exec’s congressional bid
A tech billionaire-backed super PAC is spending $125 million to undercut candidates pushing for AI regulation. New York's Alex Bores, a former tech executive himself, is one of them.
Tech
What we can learn from scientific analysis of Renaissance recipes
Multispectral imaging, proteomics, historical texts yield new insights into 16th-century medical manuals.