Sharing AI progress in mathematics

809 OfficialTurkey 2026-10-06 22:41:55 UTC openai.com Llama Share 740

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.

Strands Decider 2B: a small, open-source, decision model

144 gmays 2026-10-07 02:41:55 UTC strandsagents.com Llama Share 29

Strands Labs has released Strands Decider 2B, a small decision model optimized for fast experimentation and innovation in agentic AI. The model is designed to pick between sets of options and assign simple numerical scores, making it suitable for tasks such as model routing and policy classification.

Decisions API is in public beta

259 chiefstorm 2026-10-06 21:41:55 UTC developers.openai.com Llama Share 114

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.

ESP32-C3 Adblock

71 jayhoon 2026-10-07 01:41:55 UTC github.com/m-abozaid Llama Share 23

The ESP32-C3 AdBlock project stores domain hashes in flash memory for efficient lookup, reducing RAM usage and increasing performance. The device can be updated over WiFi or OTA, with a dashboard that requires HTTP Basic Auth to prevent unauthorized access.

La Cueva BBS in Mexico in 1993 (session replay)

43 nanochess 2026-10-07 03:41:55 UTC nanochess.org Llama Share 10

The author reminisces about their 1993 homebrew computer with a Z280 processor, which they used to write a serial terminal program and interface with a Hayes modem. They also share details about the BBS systems they interacted with, including La Cueva BBS and Catarsys.

Mistral Large 4

1743 Philpax 2026-10-06 13:41:55 UTC mistral.ai Full Share 1031

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.

The art of defusing a second world war bomb

29 sandebert 2026-10-07 04:41:55 UTC theguardian.com Llama Share 9

A 250kg German bomb was discovered floating on a dredger in Exmouth Marina, Devon, and two teams worked to defuse it. The bomb had been hidden for 80 years after being dropped during WWII, and its location made it difficult to access.

EmbeddingGemma 2: An open, lightweight multimodal embedding model

301 ilreb 2026-10-06 16:41:55 UTC blog.google Llama Share 31

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.

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

153 kavourias 2026-10-06 22:41:55 UTC penguin-mail.com Llama Share 84

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.

The Legend of the Paper Crane

5 vismit2000 2026-10-07 06:41:55 UTC mazdastories.com LocalLLM Share 0

Japanese paper cranes symbolize hope and recovery, inspired by Sadako Sasaki's story. They are a complex origami form, teaching math and design through balanced folds.

What Is Codemode

65 Tomte 2026-10-07 00:41:55 UTC lucumr.pocoo.org Llama Share 24

The author discusses the addition of MCP support via Codemode in Pi 1.0, which allows for more complex operations on the harness side without executing tools directly. This enables agents to use internal model APIs and express concurrent operations and basic workflows.

The cost of lies: A Mineserver story

92 luu 2026-10-07 01:41:55 UTC jeremyreimer.com Llama Share 35

Robert Cringely, a well-known computer columnist and author, destroyed his reputation by lying about his failed Kickstarter project Mineserver. He repeatedly made false claims to cover up the project's failure and eventually fabricated a story about launching satellites on F-104 aircraft.

Shaders, WebGPU Components for React, Vue, Svelte, Solid, JavaScript and Framer

14 jinqueeny 2026-10-07 05:41:55 UTC github.com/shader-effects-inc Llama Share 5

Shaders is a declarative WebGPU API for creating 200+ effects as components, with a design editor that exports the component tree to any framework. It supports React, Vue, Svelte, Solid and JavaScript entries with production-ready TypeScript and optimized performance.

AnyPS5: Port PS5 binaries to PC without emulation (87% system libraries mapped)

225 Fe2O3 2026-10-06 23:41:55 UTC github.com/boykopovar Llama Share 173

This project provides a relinker and system library implementations for the PS5, allowing dynamic linking without emulation or separate runtime processes. It supports various input devices and is designed for interoperability, research, preservation, and compatibility purposes.

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

180 zed_labs_dev 2026-10-06 18:41:55 UTC zohaib.cc Full Share 98

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.

Treg (OpenRouter for Tools)

22 trollied 2026-10-07 01:41:55 UTC github.com/superdesigndev Llama Share 5

Treg is an open-source tool registry that allows users to discover, register, and use various tools and services without holding provider keys or credentials. It provides a curated catalog of thousands of endpoints across many providers for tasks such as SEO, backlinks, social media enrichment, ads management, and more.

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

169 IvanK_net 2026-10-06 19:41:55 UTC news.ycombinator.com Full Share 93

Sorry

Show HN: NanoMuse – An open-source AI agent for your phone and computer

16 ilreb 2026-10-07 03:41:55 UTC github.com/nano-muse Llama Share 0

nanoMuse is an open-source personal agent that runs on various devices, remembering users and keeping working while the app is closed. It offers a free allowance of model use on the community relay, with options for self-hosting or using existing providers like ChatGPT.

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

277 fsbonetto 2026-10-06 16:41:55 UTC github.com/fesens Llama Share 334

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.

Jev-Driven SRE Diagnosis: What Worked and What Failed

27 matt_d 2026-10-07 01:41:55 UTC sregym.com Llama Share 8

Researchers developed a Jev-driven diagnosis pipeline that uses fast and cheap judgments to guide the investigation of Kubernetes faults, achieving 76.2% accuracy in diagnosing 21 SREGym-Lite faults. The pipeline's performance is comparable to GPT-5.6 Sol (medium) but with significant speed and cost advantages over large language models like LLM agents.

What's Earth's dominant species by mass?

214 surprisetalk 2026-10-06 12:41:55 UTC signoregalilei.com Llama Share 150

Humans and Antarctic krill have the highest biomass among animals, but cattle surpass them. Humans weigh around 350 million metric tons, while krill weigh about 379 million metric tons.

Improving and Stabilizing the Racoon2 IKE Daemon in NetBSD

15 jaypatelani 2026-10-07 03:41:55 UTC blog.netbsd.org Llama Share 5

Artem Belan completed a Google Summer of Code 2026 project to modernize the racoon2 system for exchanging and installing security parameters for IPsec. The updated system now supports reliable L2TP/IPsec or IKEv2 VPN servers on NetBSD and Linux, with IPv6 support by default.

OpenWAM: An Open Framework for Composable World-Action Models

8 ilreb 2026-10-07 03:41:55 UTC openwam.stanford.edu LocalLLM Share 1

OpenWAM enables studying how prediction and control work together in robotics by providing a common framework. It allows generating video and actions sequentially or simultaneously, with components that can be trained separately and connected at inference.

California closed the Montana license plate loophole

100 speckx 2026-10-06 17:41:55 UTC thedrive.com Llama Share 250

California has closed the Montana license plate loophole, requiring shell companies to pay California taxes on vehicles regardless of where they're registered. Existing residents of a shell company are now personally liable for unpaid taxes and penalties.

State of Devs 2026

139 sgdesign 2026-10-06 23:41:55 UTC 2026.stateofdevs.com Llama Share 67

Most developers face job insecurity, burnout, and discrimination due to AI and personal factors. The industry is uncertain, but change also brings possibility for growth and excitement among developers.

Hackers obtain counterfeit TLS certificates for Google and other large services

41 colinprince 2026-10-07 04:41:55 UTC arstechnica.com Llama Share 7

Attackers hijacked top-level domains .gh, .sl, and .as to mint counterfeit TLS certificates for Google and other organizations. Google updated Chrome to block unauthorized certificates and worked with certificate authorities to revoke them.

When random is not actually random enough

52 steveklabnik 2026-10-06 21:41:55 UTC ersc.io Llama Share 19

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

85 vaughands 2026-10-06 21:41:55 UTC vaughanhilts.me Llama Share 43

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.

Calling It Quits on ServerFault

66 zdw 2026-10-07 04:41:55 UTC sysadmin1138.net Llama Share 35

A moderator on StackOverflow, ServerFault, and SuperUser is stepping down after 15 years of service. The site has declined significantly since its peak in 2011-2012 due to changes in Google algorithms and spam campaigns.

Benchmark in Milliseconds

137 surprisetalk 2026-10-06 13:41:55 UTC matklad.github.io Llama Share 45

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.