Kimi K3.1 Pro and K3.1 Pro Highspeed

338 Jowsey 2026-10-23 17:01:39 UTC kimi.ai Llama Share 171

Kimi K3.1 Pro is a new model that offers substantial improvements in coding, 3D creation, financial research, and agentic capabilities with a 1-million-token context window. It delivers consistent gains across various benchmarks and outperforms proprietary models like GPT-6 Astra and Claude Opus 5.5.

Today, we hacked what we'd set out to hack: the iPhone

456 pavel_lishin 2026-10-23 17:01:39 UTC blog.calif.io Full Share 294

Below is a series of demos we revealed at Hexacon in Paris today. Everything will be released in due time.

Apple Music 404 Not Found

100 frizlab 2026-10-23 18:01:39 UTC music.apple.com Full Share 28

The page you’re looking for can’t be found. Explore new music, playlists, and artists on Apple Music.

Local Wikipedia: Wikipedia, but only for things a half hour walk from you

1022 sohkamyung 2026-10-23 06:01:39 UTC edjefferson.com Full Share 202

If there are fewer than 25 things close to you, it takes the closest 25 things within about 6 miles. If there are more than 500 things only the closest 500 will be included.

UUIDv7 doesn't have the properties you think it does

50 ibobev 2026-10-23 17:01:39 UTC alexsci.com Llama Share 28

The UUIDv7 ID format provides some useful properties, including uniqueness and rough ordering, but its timestamp field can be inaccurate due to clock jumps or system restarts. This inaccuracy may lead to out-of-order IDs and potential issues with data consistency.

The Real Kevin Bacon

101 xnx 2026-10-23 16:01:39 UTC pudding.cool Llama Share 33

The "Six Degrees of Kevin Bacon" game reveals Samuel L. Jackson as the center of Hollywood, but a new generation may surpass him. A simulation predicts Chloë Grace Moretz as the next potential center, with 10% winning over simulations.

I turned my TV into a Game Boy Color with a Pokemon town as my home screen

18 scrambled 2026-10-23 18:01:39 UTC twitter.com/robbietilton Full Share 5

I turned my TV into a Game Boy Color with a Pokemon town as my home screen. Walk into a building to open an app. Want to change a setting? Beat the gym leader first. Opus 5.5 is the goat.

The Missed Opportunities of Sonic 06

39 ibobev 2026-10-23 17:01:39 UTC isaacmarovitz.com Llama Share 3

The author analyzed Sonic 06's rendering and found various issues, including poor performance, flat areas, and missing features like bump maps. The game uses multiple shader variants with different feature levels, which were disabled for performance reasons.

Canadians are running out of time to oppose Bill C-22

130 hn_acker 2026-10-23 12:01:39 UTC eff.org Llama Share 45

Canada's Parliament is debating Bill C-22, a surveillance bill that could compromise millions of Canadians' privacy and security. The Canadian Civil Liberties Association urges Canadians to sign its petition opposing the bill, which has already passed the House of Commons.

How Is Music Possible

31 rafaelc 2026-10-23 17:01:39 UTC henrikkarlsson.xyz Llama Share 19

The author reflects on how music can evoke powerful emotions and connections, even when experienced alone. Music is seen as an emergent phenomenon that arises from simple actions, yet its effects cannot be fully explained by analyzing its building blocks.

Time Nuts (2005)

18 jacquesm 2026-10-23 18:01:39 UTC leapsecond.com Llama Share 11

LeapSecond.com Time-Nuts is a mailing list for amateur enthusiasts of precise time and frequency, covering topics like atomic clocks and GPS. The list has 1800 members and offers resources, tutorials, and discussions on related electronics projects.

Show HN: Impossible Machines: declaratively program the physical world

28 bhaprayan 2026-10-23 16:01:39 UTC impossiblemachines.xyz Full Share 3

Impossible Machines works best in landscape, where there’s room to explore the mechanism.

LISP Comes of Age (1980)

34 so-cal-schemer 2026-10-23 16:01:39 UTC microship.com Full Share 13

Checking your browser... This may take a few seconds.

Docker is weird

789 psxuaw 2026-10-23 00:01:39 UTC codeandcake.dev Llama Share 320

The author learned about Docker's inner workings, discovering it's not just a single feature but rather 5 Linux kernel features combined. They also found the challenges of writing their own container runtime due to Go's design choices and Linux API requirements.

Total Historian

15 benbreen 2026-10-23 17:01:39 UTC theideasletter.org Llama Share 1

French historian Marc Bloch was honored with a place in the Pantheon for his courage and contributions to history, marking the first time a historian received this honor. His work focused on medieval Europe, emphasizing collective worldviews and mentalities over individual leaders and nations.

Show HN: Swurf – Swipe through the real web

17 webtjb096 2026-10-23 17:01:39 UTC swurf.org Full Share 3

Swurf shows you one real website at a time. Swipe to the next. It learns what you like, never repeats a page, and needs no account.

Animations for System Builders

7 KraftyOne 2026-10-23 18:01:39 UTC brooker.co.za LocalLLM Share 1

LLMs help understand systems through questioning and animation. Real-world examples show metastable failures in both distributed and non-distributed systems.

Can we replace a $150k Looker with a bucket of HTML files?

41 skadamat 2026-10-23 18:01:39 UTC david.lequin.dev Llama Share 25

A company replaced their Looker BI tool with a custom-built dashboard using Claude AI, saving $140k per year. They built the tool in 8 months by 3 engineers and others, without significant additional costs or engineering time.

Show HN: Searching for optimal strategies in a puzzle game with chance (Drop7)

6 primitivesuave 2026-10-23 18:01:39 UTC drop7.dev LocalLLM Share 0

A learned evaluator outperformed a fair leaf in depth-3 search, scoring 484k vs 314k points. The results replicated on new data, showing consistent gains with bootstrap confidence bounds.

Gemma-4-26B-A4B with 39-69% less thinking at same accuracy

58 armcat 2026-10-23 15:01:39 UTC bottlecapai.com Llama Share 6

This is the fifth model in the ThinkingCap series, reducing thinking tokens by 38.9% on average while maintaining accuracy at 0.15pp cost. The new model uses up to 87.6% fewer thinking tokens than its predecessor, with faster answers and lower inference costs at scale.

Job loss and cortisone mania

137 speckx 2026-10-23 11:01:39 UTC tilschuenemann.de Llama Share 69

The author was unexpectedly let go from their job due to company restructuring, but instead of feeling down, they used the time to focus on self-improvement and productivity. They made significant changes to their daily life, including organizing tasks and habits, which gave them a sense of control and serenity.

Ask HN: If the models are so good, why doesn't OpenAI just start 100 companies?

476 ex-aws-dude 2026-10-22 22:01:39 UTC news.ycombinator.com Full Share 525

Sorry

The foolishness of "natural language programming" (1978)

334 xiaoyu2006 2026-10-23 01:01:39 UTC cs.utexas.edu Llama Share 224

The author argues that using natural languages to program computers would not simplify human life, as it would increase the machine's burden and require significant changes in how we communicate. Formal symbolism is a more effective tool for ruling out nonsense, allowing humans to learn complex concepts earlier.

Show HN: OnKey – I'm a bad singer, so I built an app to show where I'm off-key

176 dsmurrell 2026-10-23 05:01:39 UTC github.com/dsmurrell Llama Share 74

OnKey is a free, open-source singing trainer for Mac that learns songs from user input and provides real-time feedback. It uses various models to separate vocals from music and track pitch, with no account or analytics required.

Air Purifiers as White Noise Machines

9 luu 2026-10-23 18:01:39 UTC jefftk.com LocalLLM Share 7

White noise machines can be replaced with small air purifiers that also provide sound masking. A 34 CFM purifier significantly reduces particulate levels in a room, improving air quality as much as reducing outdoor pollution by two-thirds.

The alien space of science: Coherent but cognitively unavailable directions

185 martincsweiss 2026-10-23 06:01:39 UTC arxiv.org Llama Share 70

Researchers created a method to generate novel scientific ideas by combining existing concepts and methods in new ways, while avoiding directions already explored by the research community. The approach produced more diverse portfolios of ideas than existing language models, with human evaluation showing it matched or exceeded their quality.

OpenShell – A safe, private runtime for fleets of autonomous AI agents

482 niemandhier 2026-10-22 19:01:39 UTC github.com/nvidia Llama Share 206

OpenShell 0.1.x introduces a stable release cadence, new isolation primitives, and expanded APIs for secure autonomous AI agent execution. It enforces policies on file access, system calls, and network connections using kernel-level enforcement and formal verification.

We have traits at home

31 Ygg2 2026-10-23 14:01:39 UTC axelmagn.com Llama Share 8

The author shares insights on abstractions in Zig, specifically using interfaces and comptime duck typing for runtime polymorphism. They propose a new convention for defining compile-time type contracts as Traits, inspired by functional programming and OCaml modules.

How does Fable 5.1 hide messages in images?

182 gmays 2026-10-23 05:01:39 UTC lesswrong.com Llama Share 63

Fable 5.1, a language model, can generate artistic images using SVG and hide messages within them. The model encodes the message by altering attributes such as height of objects in the image to represent letters of the alphabet. A separate instance of Fable can recover these hidden messages from rendered images without knowing the encoding method used.

LLMs are making formal software verification feasible at a much larger scale

429 johnbender 2026-10-22 23:01:39 UTC anthropic.com Llama Share 267

Researchers have developed a method using large language models to prove the security of software at scale, enabling new development workflows with proven security guarantees. This approach can detect and fix bugs in widely used open-source libraries.