Sharing AI Progress in Mathematics

201 OfficialTurkey 2026-10-06 22:41:47 UTC openai.com Llama Share 138

We are releasing new mathematical results from an internal frontier model, sharing them in a GitHub repository with protocols for revisions and citations. The goal is to promote scientific transparency and openness while empowering scientists with state-of-the-art capabilities.

Mistral Large 4

1537 Philpax 2026-10-06 13:41:47 UTC mistral.ai Full Share 943

Visit our Help center - Browse guides, troubleshooting steps, and answers to common questions. Login to chat with support - Sign in and reach our team directly via live chat. Join our Discord for community support - Ask questions, share ideas, and get help from the Mistral community.

Decisions API is in public beta

86 chiefstorm 2026-10-06 21:41:47 UTC developers.openai.com Llama Share 33

The Decisions API evaluates text, images, or both to return typed answers about 10x faster than the Responses API. It provides probability-based answers for conditions, choices, and scores to classify content and prioritize work in applications.

Vibecoding Photoshop: Time and pressure

23 samtheDamned 2026-10-06 22:41:47 UTC andreklein.net Full Share 22

EmbeddingGemma 2: An open, lightweight multimodal embedding model

188 ilreb 2026-10-06 16:41:47 UTC blog.google Llama Share 26

EmbeddingGemma 2 is a multimodal model that unifies code, images, video, and audio in a shared embedding space. It achieves leading scores among sub-1B multimodal embedders for its size across benchmarks like MTEB and MAEB while matching or outperforming larger models.

Nobel Prize in Physics 2026: Francis Halzen

506 solarist 2026-10-06 10:41:47 UTC nobelprize.org Llama Share 167

The Nobel Prize in Physics 2026 was awarded to Francis Halzen for his contributions to the IceCube Neutrino Observatory. The award is announced live on nobelprize.org from October 5-12.

Penguin Mail – open-source Rust email client for Linux with AI

17 kavourias 2026-10-06 22:41:47 UTC penguin-mail.com Llama Share 0

Penguin Mail is a fast app that syncs multiple email accounts, including Gmail and Microsoft, with calendar and contact data on your computer. It offers various features like encryption, filters, and scheduling without holding any keys or tracking user data.

OpenTPU – An open-source AI accelerator, developed by AI

208 fsbonetto 2026-10-06 16:41:47 UTC github.com/fesens Llama Share 271

openTPU is a learning project that brings auto-arch-tournament lessons to AI accelerators, testing how far agents can design hardware and build chips. It measures performance on various models with real weights on an Inspur YPCB-00338 card.

Paramount Skydance has completed its $111B merger with Warner Bros. Discovery

142 Mgtyalx 2026-10-06 20:41:47 UTC arstechnica.com Llama Share 202

Paramount Skydance completed its $111 billion merger with Warner Bros. Discovery after a lawsuit was settled, combining two of the largest movie studios and streaming services. The new company will have a deep programming library and expansive collection of brands and franchises, but faces pressure to grow streaming and preserve cash flow from cable networks.

Claude Code’s suggested message feature: I think the real customer is the model

66 zed_labs_dev 2026-10-06 18:41:47 UTC zohaib.cc Full Share 32

Software engineer in Waterloo, ON. I started with Android apps and now work mostly on full-stack systems and AI agents. I care about making products that make life easier, feel fast, and stay fun to use.

When random is not actually random enough

13 steveklabnik 2026-10-06 21:41:47 UTC ersc.io Llama Share 1

The author suggests a more general API for random choices, allowing users to specify the probability distribution directly, rather than relying on low-level functions like random_u64(). This approach can help avoid common pitfalls and make code easier to reason about.

LLMs may have helped my RSI

16 vaughands 2026-10-06 22:41:47 UTC vaughanhilts.me Llama Share 6

The writer has noticed a significant reduction in repetitive strain injury (RSI) pain after adopting new coding habits, including using voice dictation and focusing on home row typing. This change may be due to reduced keyboard use and increased time spent writing English prose, which is more comfortable for their smaller hands.

The Query Transformation Pipeline

5 gvsg-rs 2026-10-06 22:41:47 UTC readyset.io LocalLLM Share 0

Query rewriting is essential for Readyset's dataflow approach, transforming SQL into a graph of operators that maintain results incrementally. This enables faster reads by avoiding full query re-execution, though it requires SQL to be in a specific form for compilation.

OpenSSH 10.6

73 torcete 2026-10-06 21:41:47 UTC openssh.org Llama Share 14

OpenSSH 10.6 was released on October 6, 2026, and is available from the mirrors listed at https://www.openssh.com/. It includes sftp client and server support as a 100% complete SSH protocol 2.0 implementation. The OpenSSH team has received many security bug reports, including some from AI models or made with AI assistance.

Benchmark in Milliseconds

126 surprisetalk 2026-10-06 13:41:47 UTC matklad.github.io Llama Share 34

A micro benchmark should run for about 300ms to provide a human-perceptible range, allowing for easy comparison and iteration. This duration strikes a balance between precision and speed, making it suitable for intuition-based decision-making rather than precise measurement.

How Fast is Python 3.15?

8 Qem 2026-10-06 22:41:47 UTC blog.miguelgrinberg.com LocalLLM Share 2

Python 3.15 shows minor performance improvements over 3.14, with the JIT offering a notable 1.28x speed gain. PyPy remains significantly faster, while multi-threaded tests highlight the limitations of CPython's GIL.

Ask HN: Why is Ask HN only showing me 14 posts?

28 Gooblebrai 2026-10-06 21:41:47 UTC news.ycombinator.com Full Share 30

Sorry

Ask HN: Are there AI models for generating sounds based on a text and reference?

9 onemiketwelve 2026-10-06 21:41:47 UTC news.ycombinator.com Full Share 0

Sorry

Gleam doesn't compile to Erlang source anymore

285 ingve 2026-10-06 08:41:47 UTC gleam.run Llama Share 120

Gleam v1.19.0 has been released with significant improvements, including a rewritten Erlang code generator that outputs Erlang abstract forms, resulting in faster compilation times and improved accuracy of line numbers in BEAM crash reports. The new compiler also includes various bug fixes and enhancements for JavaScript support, type checking, and language server functionality.

The Early History of Smalltalk (1993)

108 _reza 2026-10-06 15:41:47 UTC worrydream.com Llama Share 62

The author recounts the development of Smalltalk, a programming language that combined object-oriented design with interactive computing. The language was influenced by various ideas from the 1960s, including Sketchpad, Simula, and LISP.

Berthd

39 handfuloflight 2026-10-06 19:41:47 UTC berthd.app Llama Share 60

Berth is a tool that runs coding agents on local dev boxes, allowing work from anywhere. It creates a worktree and manages multiple agents with their own tabs and features.

Toronto-Based VPN Provider Plans to Quit Canada over Lawful-Access Bill

80 speckx 2026-10-06 19:41:47 UTC citizenlab.ca Llama Share 32

Psiphon, a company helping internet users evade online censorship, plans to leave Canada if its lawful-access bill passes. The bill would require Psiphon to compromise user privacy features.

Show HN: I turned my iPhone and a $20 smart plug into an f-stop timer

67 pentakkusu 2026-10-06 14:41:47 UTC peterszentkiralyi.eu Llama Share 18

Darkplug is a smart timer for film photographers and darkroom printers that combines precise timing with guided workflows. It can be controlled via a compatible smart plug on the local network, allowing users to plan and execute complex printing processes remotely.

Tell HN: GitHub refuses to remove cracked copies of my software after a month

25 IvanK_net 2026-10-06 19:41:47 UTC news.ycombinator.com Full Share 15

Sorry

Erdosproblems.com Succumbs to the AI Onslaught

85 pfdietz 2026-10-06 13:41:47 UTC erdosproblems.com Full Share 37

Mathematics of Geothermal Energy

66 srameshc 2026-10-06 13:41:47 UTC ebsco.com Llama Share 37

Geothermal energy harnesses heat from the Earth's interior to produce electricity or provide domestic heating. The temperature increases with depth, making high-gradient areas prime locations for geothermal projects.

System-level ad-blocking in Android

43 birdculture 2026-10-06 20:41:47 UTC kevinboone.me Llama Share 31

This article discusses blocking ads on Android devices at the system level, providing methods to override DNS behavior and block known advertising services. Blocking ads can protect against trackers and malware, but requires careful consideration of potential security risks.

Beam: Reflection's 501B open-weight model

539 Philpax 2026-10-05 23:41:47 UTC reflection.ai Llama Share 167

Beam is a large language model that combines pretraining and reinforcement learning to achieve strong performance in coding, agentic, and reasoning tasks. It was trained on 23.8 trillion high-quality tokens from the web and proprietary licensed datasets using a novel scaling recipe for reinforcement learning.

Polars 2.0

404 simicd 2026-10-06 12:41:47 UTC pola.rs Llama Share 94

Polars 2.0 introduces significant features, including first-class SQL support and performance improvements that surpass DataFusion and DuckDB in TPC-H and TPC-DS1 benchmarks. The new version also includes out-of-core capabilities, improved scaling with more cores, and enhanced strictness for error handling.

Show HN: Parseable, an open observability datalake, handles 100M time-series/min

76 yashdotrv 2026-10-06 13:41:47 UTC parseable.com Llama Share 18

Deploy Parseable on a cloud for unified telemetry data, with features like SQL querying, dashboards, alerts and object storage-native data management. It offers full control and ownership of the data in open formats.