全部科技与 AI 资讯
按时间倒序汇集的来源索引。展示关键元数据并引导直达原始报道。
What mathematicians should know about the Lean Theorem Prover: reliability & AI
The Samsung Galaxy S26 Ultra is down to $950 after Prime Day
Amazon has the Samsung Galaxy S26 Ultra in black with 256GB of storage discounted to $949.99, a healthy discount from its usual price of $1,399.99. This phone’s standout feature is the adjustable privacy display, which can hide your entire screen, or just portions of it, from onlookers and strangers. It doesn’t meaningfully hurt the screen’s […]
Show HN: The rarest tech books and docs you've probably never read
Scam American companies are using to manipulate ingredient lists
In Memory of Deno
Amazon’s new Kindles appear to have a light leak problem
Some users are reporting that the new Kindles have a light leak issue that is especially apparent when using dark mode. The latest base-model Kindles have a flush bezel that gives them a sleek appearance and looks great… as long as you keep the lights on. But things can change once you turn down the […]
Typesafe AI raises $870M at $7.5B
Kotlin keeps up with Rust in DHH's Campfire rewrite
Microsoft tries to spark new life into Windows
When Microsoft released Windows 11 five years ago, it felt like an operating system that was still being renovated, a work in progress. You'd think by now that those renovations would be complete, with Microsoft turning its attention to Windows 12. Instead, Windows 11 feels like it's here to stay, forming the foundation for Microsoft's […]
LumenUs helps automate tedious paperwork in times of grief
Amazon and others are done keeping data center deals secret. Is it enough to build trust?
Before Computer Science Became a Boys' Club, Margaret Hamilton Wrote the Code
Tomek Korbak: OpenAI's head of safety told they no longer trust me
Frances Haugen hopes The Social Reckoning will inspire more whistleblowers
Facebook whistleblower Frances Haugen was mostly unfazed watching Oscar-winning actress Mikey Madison play a character named after her in The Social Reckoning, except for one thing: the wrist warmers. In Aaron Sorkin's new thriller, the fictional Haugen - who, like her nonfictional counterpart, leaks thousands of documents to Wall Street Journal reporter Jeff Horwitz - […]
'Breathtaking,' 'Devastating': Mathematics Reels After New OpenAI Release
Apple and LG leak shows new ‘tap to control’ HomeKit features
A post on X from "pdfu," who has previously posted leaks and renders of suspected Apple features and LG smart home gear, shows new details of rumored Apple Home accessories from LG. According to the new leak, they could include an NFC-based "Proximity Control" feature that pops up a hint for a device's controls in […]