AlphaProof Code

153 ilreb 2026-11-10 12:42:33 UTC deepmind.google Llama Share 68

Google DeepMind researchers used a new agentic framework to formally verify the code of Signal's cryptographic protocol, proving its security properties mathematically. This breakthrough uses AI to prove key security aspects of widely deployed protocols like Signal and Google Messages at unprecedented depth.

Ableton Live 13

32 phaser 2026-11-10 12:58:33 UTC ableton.com Full Share 14

See what’s coming in Ableton Live 13: experimental sound design tools, precision mixing effects and workflow improvements to bring your ideas into focus.

Don't buy AR glasses

22 Bluestein 2026-11-10 13:10:33 UTC blog.yaros.ae Llama Share 13

The author is concerned about the potential for AR devices to become overly gamified and invasive, mirroring the current state of web design. They advise against buying an AR device, fearing it will lead to a dystopian experience with constant ads and popups.

Amazon saves millions by replacing Sonnet 4.6 with Strands Decider

431 aloukissas 2026-11-10 06:42:33 UTC strandsagents.com Llama Share 151

Amazon replaced Sonnet 4.6 with Strands Decider, a decision model that labels tickets at 98% less cost, saving millions of dollars in token costs annually. The new model uses a shorter prompt and returns a probability for each option plus confidence score, beating production Sonnet results on separate tests.

Fossil CO2 emissions decrease by 0.4% in 2026

88 giuliomagnifico 2026-11-10 09:42:33 UTC news.exeter.ac.uk Llama Share 71

Global carbon emissions from fossil fuels are projected to decrease by 0.4% in 2026, driven by solar and wind power growth. However, total CO2 emissions will still reach 43.3 billion tonnes due to land-use change increases.

Claude Fable 5.2 and Mythos 5.2

701 lairv 2026-11-09 22:42:33 UTC anthropic.com Llama Share 864

Claude Fable 5.2 and Mythos 5.2 models have improved capabilities in coding, reasoning, and vision, with strong cybersecurity and biology safeguards to prevent misuse. These models are suitable for ambitious technical work and can be used for various applications such as robotics evaluations, hardware engineering, and scientific research.

Show HN: A 15 MB self-hosted Netflix and Spotify for your media server

44 CoderLuii 2026-11-10 12:42:33 UTC github.com/holyarrs Llama Share 28

HolyArrs is a self-hosted app for managing shows, movies, and music downloads. It replaces six separate apps with one streamlined interface that handles the rest of the setup.

USPS now offers official ZIP Code boundary polygons

660 munro 2026-11-09 20:42:33 UTC postalpro.usps.com Llama Share 334

USPS ZIP Code Boundaries provides accurate national map data for industries like mapping, logistics, and real estate. It helps correct existing data as changes occur and serves as a proxy for delivery location groupings.

Show HN: Ghanaian street games you can play in the browser

31 samuelaidoo45 2026-11-10 11:42:33 UTC ghanastreetgames.com Full Share 5

New nickname Download your private key to restore your player on another device. Keep it safe: it gives access to your player. Private recovery key

Your TV can see through walls

182 Curiositry 2026-11-10 05:42:33 UTC maurycyz.com Llama Share 73

A person used an Ettus USRP B200 to record a digital TV signal, detecting motion by analyzing the signal's waterfall display. The speed of the person was estimated to be approximately 4.6 km/h after calculating the gap between stripes in the waterfall display.

Queens Public library under ransomware attack e-borrowing suspended

74 rustyhancock 2026-11-10 09:42:33 UTC connect.queenslibrary.org Llama Share 58

Public computers at 7 NYC Library locations are temporarily unavailable due to an outage, but book borrowing and returns remain possible. Renewals are currently not available during this time.

Simon Winchester, Author of 'The Professor and the Madman,' Has Died

9 benbreen 2026-11-10 12:42:33 UTC nytimes.com Full Share 5

Please enable JS and disable any ad blocker

Fireworks AI security breach impacts Notion and their customers

86 werrett 2026-11-10 07:42:33 UTC notion.com Llama Share 25

Notion has discovered a potential security incident with Fireworks AI, affecting less than 1% of workspaces. Affected users can review and secure their data through the Notion desktop app or web browser.

Billion Watts in the Speaker [video]

46 Element_ 2026-11-10 08:42:33 UTC youtube.com Embed Share 24

Locating the source of a mysterious beep

238 bigwheels 2026-11-10 00:42:33 UTC simonwillison.net Llama Share 122

A user created Beep Locator, a software system to triangulate the source of an intermittent beep in their box room using multiple devices. The system uses WebSockets and WebAudio to analyze audio from devices connected via QR code or URL, allowing users to mark beeps on a map and confirm their location.

How hard is it to check for whitespace?

64 theanonymousone 2026-11-10 07:42:33 UTC serce.me Llama Share 14

The article discusses the complexity of checking for whitespace characters in source code, highlighting differences between Java, Python, and JavaScript runtimes. A perfect hash function is used to efficiently check for whitespace according to each runtime's definition.

Foldable Flight: The Best Paper Airplanes

1093 vismit2000 2026-11-09 13:42:33 UTC foldableflight.com Full Share 153

X-01 Missile spirals as it flies and is ready to take down your next target! Vapor is one of the easiest planes on this website, and it flies really well!

Payments Canada announces launch of Canada's Real-Time Rail (RTR) payment system

548 ocd 2026-11-09 16:42:33 UTC payments.ca Llama Share 313

Payments Canada launched the Real-Time Rail, a national payment system enabling instant speed and settlement in real-time. The RTR will transform day-to-day payments for Canadian businesses and consumers with greater visibility and control over cash.

E-means: Outperforming k-means in one-tenth the epochs

433 porridgeraisin 2026-11-09 19:42:33 UTC e-means.github.io Llama Share 54

e-means outperforms Lloyd's algorithm in k-means clustering by achieving lower test loss and faster training times, with a 10-45x speedup on GPU and 8-15x speedup on CPU. e-means uses exponential moving averages to update centroids, which provides better initialization and dead-cluster revival strategies compared to traditional mini-batch methods.

'C:\> FORMAT C:' – relax, it's just a screen saver

23 TheIncredibleCh 2026-11-10 10:42:33 UTC fakedos.com Llama Share 12

FakeDOS is a macOS screen saver that simulates a pixel-perfect DOS machine, offering various fake commands and operating systems. It can be interacted with by leaving the Mac alone for a few minutes, allowing it to boot and run in an endless loop of simulated productivity.

Horible public key tricks

194 Curiositry 2026-11-10 00:42:33 UTC maurycyz.com Llama Share 63

The user is creating a protest certificate for a public website, embedding a message in the public key by modifying the base64 encoding of the modulus. This reduces entropy in the private key but still provides security through forward secrecy offered by modern TLS.

Ultorg: The User Interface for Relational Databases

101 Ivoah 2026-11-10 04:42:33 UTC ultorg.com Llama Share 28

Ultorg is a spreadsheet-like UI for relational databases, allowing users to query and edit data without writing SQL or custom CRUD apps. It provides a visual interface for navigating database tables and relationships, offering features like joins, sorting, filters, and formulas.

What Constant Surveillance Is Doing to Children

59 FinnLobsien 2026-11-10 11:42:33 UTC theatlantic.com Full Share 35

Please hold a moment… We’re just confirming your site connection is secure. This helps protect our site and our users. Thanks for your patience.

ClickHouse Acquires Xata

63 mebcitto 2026-11-10 06:42:33 UTC xata.io Llama Share 7

Xata is joining ClickHouse to bring agentic capabilities to ClickHouse Managed Postgres, combining high-performance production workloads with Xata's instant database provisioning and branching. This integration will enable seamless migration of Xata customers to ClickHouse Managed Postgres in the future.

Semi-transparent, colored cadmium telluride photovoltaic panels in agrivoltaics

329 speckx 2026-11-09 14:42:33 UTC anthropocenemagazine.org Llama Share 224

Researchers developed semi-transparent solar panels that allow plants to receive necessary wavelengths while generating electricity, potentially increasing crop yields and reducing land use. This innovative approach could help meet US electricity needs with minimal impact on agriculture.

Formalizing CPython

98 carnevalem 2026-11-10 02:42:33 UTC broyojo.com Llama Share 40

AI agents wrote 613,318 lines of Lean code to model Python's internals and found 418 bugs, including 55 that can crash the interpreter or corrupt memory. The project aims to formalize CPython using Lean and is open for contributions.

Show HN: Every satellite that passed over any place this week, and its photos

403 a585gupt 2026-11-09 18:42:33 UTC watched.earth Full Share 73

Enter any place on Earth. See every satellite that passed over it this week, and the actual pictures they took.

A primer on GPUs and kernel optimization

174 nomi_uw 2026-11-09 18:42:33 UTC nabo.dev Llama Share 15

The author built a framework to support large language models, which they call Jam. The framework is designed to address issues with training-inference mismatch and precision handling in existing frameworks. After 10 months of learning and development, the framework is now ready for release.

The first 300-millimeter power silicon carbide (SiC) wafer

147 sshah03 2026-11-09 18:42:33 UTC infineon.com Llama Share 85

Infineon successfully processed 300-millimeter silicon carbide wafers into functional power devices, showcasing its innovation strength in power semiconductors and wide-bandgap technologies. The company will present the first processed 300-millimeter SiC wafer at the electronica trade show starting November 10, 2026.

On Being an Engineer in 2026

148 talboren 2026-11-09 18:42:33 UTC twitter.com/shaharglazner Llama Share 240

The author reflects on how AI agents are increasingly taking over tasks, but still acknowledges human leverage in certain areas. Despite the rise of AI, humans retain some unique abilities that cannot be fully replicated by machines.