AlphaProof Code
AlphaProof Code agents wrote over three million lines of machine-checked proof in Lean to verify the core cryptographic protections in Signal down to machine instructions.
Liveupdated 28 min ago
What matters in tech and AI
Hacker News, Techmeme, GitHub, Hugging Face, LessWrong and Lobsters, distilled into one feed. Plus a picture a day.
huamidev/GestaltX
An MobileGestalt editor for iOS 27.x, featuring region-code tweaks, device presets, backups, and support for 7 languages.
Terminal2Shell: Critical flaw grants instant shell access on every major OS
Researchers disclose a 55-year-old vulnerability affecting macOS, Windows and Linux. Exploitation is trivial and requires no special tools. No patch exists.
"Hardwired Pause" should likely be your favorite (pause) plan.
I'm part of a team of 26 researchers that recently released a 212-page paper proposing a new plan for pausing AI, the "hardwired pause."[1] The paper is called "The Feasibility of a Hardwired Pause of Frontier AI Training." Our analysis su…
Sources: Jensen Huang and Alice Huang's relationship dates back to at least 2023, facilitating $7.5B+ in Nvidia chip shipments via Chinese companies since then
The relationship between Nvidia CEO Jensen Huang and Alice Huang, the woman that the U.S. government reportedly identified …
Amazon saves millions by replacing Sonnet 4.6 with Strands Decider
Two Amazon engineers swapped Claude Sonnet 4.6 for a decision model in one of the world's biggest internal ticketing systems.
NotRexed/Hookshot
A Native Recompilation Of The Legend Of Zelda: Ocarina Of Time Nintendo Switch 2 Remake
Lightcone Commons: Round 1 complete, Round 2 underway
Tl;dr: Lightcone Commons’ first funding round is complete! 17 evaluators made funding recommendations, including Zvi Mowshowitz, Scott Siskind and Eliezer Yudkowsky. 23 funders coordinated to grant $45.1M, and 147 projects received funding…
jhaizhou-ops/S2Arm
Run your own Switch games natively on iPhone, iPad and Mac: game code rewritten to ARM64, graphics direct to Metal, one app for the whole library. Bring your own games and keys. 把你自己的 Switch 游戏原生带到 iPhone / iPad / Mac。
Open Graph images with Astro and Typst
Typst is good for more than academic papers and resumes.
Learning Heterogeneous Tactile Representation for General Dexterous Manipulation
LingBot-Touch is a tactile foundation model that learns a unified, extensible representation across heterogeneous tactile sensors, yielding plug-and-play tactile tokens that consistently enhance manipulation policies such as diffusion…
Ableton Live 13
See what’s coming in Ableton Live 13: experimental sound design tools, precision mixing effects and workflow improvements to bring your ideas into focus.
Anthropic launches its IPO roadshow, saying the company and shareholders plan to sell 825M Class A shares at $70 to $78 each, listing on the Nasdaq under ANT
Today Anthropic, PBC launched the roadshow for its proposed initial public offering of its Class A common stock.
Nothing found. Try another query or turn on more sources.