Sharing AI progress in mathematics

748 OfficialTurkey 2026-10-06 22:41:54 UTC openai.com Llama Share 673

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

120 gmays 2026-10-07 02:41:54 UTC strandsagents.com Llama Share 25

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

235 chiefstorm 2026-10-06 21:41:54 UTC developers.openai.com Llama Share 108

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.

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

7 jinqueeny 2026-10-07 05:41:54 UTC github.com/shader-effects-inc LocalLLM Share 2

Shaders.com offers a declarative WebGPU API with 200+ effects as components, enabling design and code export for React, Vue, Svelte, Solid, and JS. It provides an infinite canvas for real-time editing, component nesting, and framework-agnostic rendering with TypeScript support.

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

146 kavourias 2026-10-06 22:41:54 UTC penguin-mail.com Llama Share 73

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.

La Cueva BBS in Mexico in 1993 (session replay)

32 nanochess 2026-10-07 03:41:54 UTC nanochess.org Llama Share 8

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

1708 Philpax 2026-10-06 13:41:54 UTC mistral.ai Full Share 1005

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.

Clean room implementation of Adobe products

10 derac 2026-10-07 06:03:54 UTC github.com/storytold Full Share 4

slidecraft Public Presentations and slide shows: an open-source, clean-room reimplementation of Microsoft PowerPoint in pure Rust. Part of the ArtCraft Crafting Apps.

ESP32-C3 Adblock

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

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.

What Is Codemode

52 Tomte 2026-10-07 00:41:54 UTC lucumr.pocoo.org Llama Share 10

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.

EmbeddingGemma 2: An open, lightweight multimodal embedding model

291 ilreb 2026-10-06 16:41:54 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.

The cost of lies: A Mineserver story

70 luu 2026-10-07 01:41:54 UTC jeremyreimer.com Llama Share 27

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.

The art of defusing a second world war bomb

20 sandebert 2026-10-07 04:41:54 UTC theguardian.com Llama Share 5

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.

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

168 zed_labs_dev 2026-10-06 18:41:54 UTC zohaib.cc Full Share 91

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.

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

200 Fe2O3 2026-10-06 23:41:54 UTC github.com/boykopovar Llama Share 155

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.

Jev-Driven SRE Diagnosis: What Worked and What Failed

24 matt_d 2026-10-07 01:41:54 UTC sregym.com Llama Share 6

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.

Calling It Quits on ServerFault

58 zdw 2026-10-07 04:41:54 UTC sysadmin1138.net Llama Share 28

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.

Treg (OpenRouter for Tools)

16 trollied 2026-10-07 01:41:54 UTC github.com/superdesigndev Llama Share 3

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.

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

272 fsbonetto 2026-10-06 16:41:54 UTC github.com/fesens Llama Share 329

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.

Improving and Stabilizing the Racoon2 IKE Daemon in NetBSD

13 jaypatelani 2026-10-07 03:41:54 UTC blog.netbsd.org Llama Share 2

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.

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

124 IvanK_net 2026-10-06 19:41:54 UTC news.ycombinator.com Full Share 83

Sorry

Hackers obtain counterfeit TLS certificates for Google and other large services

26 colinprince 2026-10-07 04:41:54 UTC arstechnica.com Llama Share 5

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.

Anatomy Unzipped: John of Arderne's Sweden Scroll (Ca. 1425–35)

4 prismatic 2026-10-07 05:41:54 UTC publicdomainreview.org Prefix Share 0

The English physician John of Arderne (1307–ca. 1380) is remembered as one of the founding figures of modern surgery. He was one of the earliest scholarly “master surgeons”, who differentiated themselves — through rigorous training and by thoroughly documenting their techniques — from the barber-surgeon generalists that were still blood-letting and pulling teeth across Europe. Arderne ...

What's Earth's dominant species by mass?

204 surprisetalk 2026-10-06 12:41:54 UTC signoregalilei.com Llama Share 137

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.

California closed the Montana license plate loophole

96 speckx 2026-10-06 17:41:54 UTC thedrive.com Llama Share 242

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.

LLMs may have helped my RSI

80 vaughands 2026-10-06 21:41:54 UTC vaughanhilts.me Llama Share 40

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.

When random is not actually random enough

50 steveklabnik 2026-10-06 21:41:54 UTC ersc.io Llama Share 16

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.

State of Devs 2026

124 sgdesign 2026-10-06 23:41:54 UTC 2026.stateofdevs.com Llama Share 55

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.

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

10 ilreb 2026-10-07 03:41:54 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.

Benchmark in Milliseconds

135 surprisetalk 2026-10-06 13:41:54 UTC matklad.github.io Llama Share 43

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.