Working with academic communities to build scientific understanding

242 jonluca 2026-10-26 22:03:10 UTC openai.com Llama Share 103

Researchers have made new discoveries in harmonic analysis, complexity theory, and quantum field theory using AI models. The results include a proof of the local smoothing conjecture in every dimension and a refutation of the Exponential Time Hypothesis.

The Exponential Time Hypothesis Is False [pdf]

143 vok 2026-10-26 22:03:10 UTC github.com/openai Full Share 58

Contribute to openai/math development by creating an account on GitHub.

Just Imagining a Workout Can Make You Stronger

39 prmph 2026-10-26 23:09:10 UTC nautil.us Llama Share 19

The human brain uses proprioception to sense the location of limbs without visual input, and motor imagery can complement physical practice by activating similar neural areas. Research shows that mental practice can improve performance in activities with a strong mental component, such as sports and surgery.

CorridorKey 2.0

161 ravenical 2026-10-26 22:03:10 UTC corridorkey.com Llama Share 51

CorridorKey 2.0 is a one-click keying tool for VFX and editing software, offering perfect motion blur, bokeh, and hair with advanced color prediction and time awareness features. The plugin is available for Windows and NVIDIA GPUs, with a single license allowing up to 24 seats on the same machine.

Sebastian Raschka's from-scratch video course on building reasoning models

523 sgiannopoulos 2026-10-26 16:03:10 UTC magazine.sebastianraschka.com Llama Share 79

The author shares their expertise on reasoning models, which are crucial for modern LLMs, and provides eight video lectures to develop a reasoning model from scratch using PyTorch. The videos cover topics such as inference scaling, reinforcement learning, and distillation.

Type Server Protocol

178 adamnemecek 2026-10-26 19:03:10 UTC github.com/microsoft Llama Share 132

The Type Server Protocol (TSP) is a JSON-RPC protocol for asking a type server for Python analysis data, supporting computed, declared, and expected types. It uses LSP data shapes and conventions where useful.

Cross-request KV cache exposure in the GLM-5.3 Workers AI model (155 responses)

36 wondersky 2026-10-26 23:03:10 UTC blog.cloudflare.com Llama Share 8

Cloudflare reported a security incident on September 8, 2026, where the GLM-5.3 Workers AI model experienced a tenant isolation issue due to a misconfigured open-source inference engine, SGLang. The issue was resolved by updating the configuration and patching the inference engine.

A Printer Printing onto Paper

28 MrBuddyCasino 2026-10-26 22:03:10 UTC twitter.com/macrofying Full Share 6

This is unbelievable good. Wow. Your photos will end up in science books and children's explainer books for decades to come. Superb, more please!

CSS-Tricks has a new owner

363 edent 2026-10-26 16:03:10 UTC css-tricks.com Llama Share 85

The owner of CSS-Tricks, Chris Coyier, has sold the site to an independent buyer who plans to make it a community-driven platform with inclusive content for front-end learning. The new owner aims to create more entry points for beginners and develop educational resources like courses while maintaining a balance between advertising and other revenue streams.

Nietzschian Debugger

118 dilawargopang 2026-10-26 18:03:10 UTC github.com/dilawarshafiq Llama Share 37

A new tool called Nietzschian Debugger helps developers strengthen their skills by forcing them to understand and fix their own code, rather than relying on shortcuts. It provides a unique approach to debugging that combines philosophy with real code reading and never gives direct answers.

Oldest GUI application that still runs on Windows 11

249 enlyth 2026-10-26 18:03:10 UTC blog.enlyth.com Llama Share 154

The oldest application with a GUI that runs on Windows 11 without modifications is FREECELL.EXE from 1993, and another example is REVERSI.EXE from 1985 using otvdm emulation.

GPT-6.1 Terra

471 meetpateltech 2026-10-26 18:03:10 UTC openai.com Llama Share 297

GPT-6.1 Terra is a new model that combines visual reasoning and computer use with natural writing, exceling at tasks like drafting proposals and editing videos. It offers significant improvements over GPT-5.6 Terra in terms of speed, capability, and cost, making it practical for developers to automate high-volume work.

Show HN: Hob - Open-source, on device alternative to Claude Cowork and ChatGPT

95 pancomplex 2026-10-26 20:03:10 UTC github.com/frigadehq Llama Share 23

Hob is a free, open-source AI tool that offers an alternative to Claude and ChatGPT, compatible with Mac, Windows, and Linux. It allows offline use and can fill out PDFs and work on documents.

Anthropic S-1

1437 SiNTEx 2026-10-26 14:03:10 UTC sec.gov Llama Share 1403

The SEC limits requests from automated tools to ensure equitable access for all users. Excessive automated searches may be blocked or limited for a brief period, with the goal of maintaining efficient website performance.

LISPy things you can do in 64K bytes of core

9 andsoitis 2026-10-26 23:03:10 UTC t3x.org LocalLLM Share 0

The article discusses the memory constraints of early LISP implementations, comparing them to modern systems. It highlights how limited memory shaped LISP's design and execution on ancient computers like the IBM 704 and PDP-1.

Native Prometheus Integration with Nginx

27 foxhill 2026-10-26 21:03:10 UTC categorica.io Llama Share 7

The author shares their experience with the NGINX Prometheus Exporter plugin, which simplifies metrics collection for NGINX. The plugin is now available as an open-source MIT-licensed project to simplify statistics collection and deployment.

SIMD-accelerated computer vision on a $2 microcontroller

165 zdw 2026-10-26 15:03:10 UTC shraiwi.com Llama Share 51

The author wrote a SIMD-accelerated FAST feature detector for the ESP32-S3 microcontroller, achieving double performance of the reference implementation and processing a QVGA frame in 6ms.

Microsoft offers mass buyouts for roughly a quarter of its workforce

704 doctorzook 2026-10-26 16:03:10 UTC seattletimes.com Llama Share 609

Microsoft is offering buyouts to about 60,000 employees, roughly a quarter of its workforce. The company aims to control head count without layoffs.

Birdwatching rewires the brain and slows cognitive decline

496 cisc 2026-10-26 07:03:10 UTC bbc.com Llama Share 193

Birdwatching is being used as therapy for dementia patients, helping them feel more connected to others and experience positive emotions. Research shows that birdwatching can slow brain ageing by keeping the brain more organised and active.

Blaise Pascal invented fixed route public transport (2024)

256 skadamat 2026-10-26 11:03:10 UTC humantransit.org Llama Share 135

Blaise Pascal invented a fixed route public transport system in 17th-century Paris, precursor to modern buses and trains. His network design used radial lines and orbitals to connect major destinations efficiently.

Diamond Transistor

116 Gravityloss 2026-10-26 16:03:10 UTC df.com Llama Share 61

Diamond wafers with a hydrogen-terminated surface exhibit negative electron affinity, allowing electrons to transfer and creating a 2D hole gas that enables p-type conductivity. This process preserves the diamond's intrinsic properties without generating defects or carrier scattering.

Pharo 14

233 xkriva11 2026-10-26 12:03:10 UTC pharo.org Llama Share 59

Pharo is a simple yet powerful object-oriented programming language with immediate feedback and a rich debugging environment. The community-driven project has released Pharo 14, the result of 978 pull requests and extensive contributions from over 1,500 contributors worldwide.

In Leaked Audio, Flock CEO Tells Cops Backlash to the Company Isn't Real

270 Frieren 2026-10-26 18:03:10 UTC 404media.co Llama Share 155

Flock CEO Garrett Langley claims anti-Flock protests are not real, attributing social media opposition to Russian bots. He also suggests that the company's technology is effective and will eventually overcome public debate.

A Man from the Future: Why Johnny Can't Stop Abstracting

101 aray07 2026-10-26 18:03:10 UTC muratbuffalo.blogspot.com Llama Share 56

John von Neumann was a brilliant mathematician and scientist who made significant contributions to various fields, including physics, mathematics, computer science, and economics. He is known for his work on quantum mechanics, game theory, and the development of the stored-program computer architecture that underlies modern computers.

The EPA Is Quietly Killing Its Web Archive

207 robtherobber 2026-10-26 20:03:10 UTC motherjones.com Llama Share 40

The Environmental Protection Agency plans to decommission its online web archive at the end of 2026, potentially losing tens of thousands of publicly available environmental resources. This move could erode public trust in government and hinder democratic oversight, as researchers and lawmakers rely on the archive for information.

Magic state cultivation on a superconducting quantum processor

10 kheal 2026-10-26 21:03:10 UTC arxiv.org Llama Share 0

Researchers have developed a method to cultivate magic states in superconducting quantum processors, reducing error rates by 40 times. This approach could be a viable solution for fault-tolerant quantum computing.

US designates helium as a critical material

168 rbanffy 2026-10-26 19:03:10 UTC apnews.com Llama Share 96

The US has designated helium as a critical material due to its essential role in energy production and potential supply chain disruption. This designation aims to strengthen domestic manufacturing, support American jobs, and secure the material for U.S. economic and national security.

Show HN: Glider 4.0 Unofficial Web Edition (Mac game port)

37 networked 2026-10-26 20:03:10 UTC dbohdan.github.io Full Share 6

A browser port of John Calhoun's 1991 Macintosh game, Glider 4.0, including the Room Editor.

Switzerland. Block by block. At 1:1 scale

455 theanonymousone 2026-10-26 09:03:10 UTC blocks.manifold3d.ch Llama Share 213

Ein Minecraft-Mod namens "Swiss World" nutzt offene Geodaten von swisstopo, um eine genaue Darstellung der Schweiz in dem Spiel zu erstellen. Das Mod bietet eine Vielzahl von Funktionen und Details, wie z.B. die Möglichkeit, mit einem Klick auf die Karte einen Teleport-Befehl auszuführen.

Who killed the EV cert? A browser whodunit for Halloween

20 roddylindsay 2026-10-26 20:03:10 UTC qwac.com Llama Share 32

A decade ago, Extended Validation certificates provided a green company name in the browser's address bar to reassure users of a website's identity. However, this feature was phased out due to humans' poor attention span and inability to notice trust indicators.