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

https://substackcdn.com/image/youtube/w_728,c_limit/_GJVKVNMczM
Below is a series of demos we revealed at Hexacon in Paris today. Everything will be released in due time.

Kimi K3.1 Pro and K3.1 Pro Highspeed

Kimi Code offers six model IDs across different series, with varying capabilities and speeds. Users can switch models in clients or third-party tools using a specific model ID to select the desired version.

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

https://edjefferson.com/localwiki/logo.png
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.

Time Nuts

Time-Nuts is a mailing list for amateurs interested in precise time and frequency, covering topics like atomic clocks, GPS synchronization, and hardware projects. It offers resources, surplus equipment listings, and links to relevant websites and archives for enthusiasts.

The Missed Opportunities of Sonic 06

https://isaacmarovitz.com/_astro/csc.qd2LvtIN_1FCr9I.webp
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.

The Real Kevin Bacon

https://pudding.cool/2026/10/kevin-bacon/assets/social.jpg
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.

Total Historian

https://www.theideasletter.org/wp-content/uploads/2026/10/20261015-milani-paris-bloch-books-3000-1024x683.jpg
Marc Bloch, a French historian, was honored in the Pantheon for his contributions to history and his role in the French Resistance. His work emphasized collective mentalités and structural analysis, influencing the Annales school and shaping modern historical methodology.

Docker is weird

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.

How Is Music Possible

https://substackcdn.com/image/fetch/$s_!jv_m!,w_2400,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Ffefd7c8e-1e7a-4602-97b3-3565e99383c9_1920x1551.png
If there is a rapid change in the weather, we can sometimes receive faint radio signals from Poland or Lithuania on the island, once even Finland.1 Out of nowhere these unfamiliar soundscapes will enter the car, evoking worlds I know little about—then we’ll make a turn down the hill, and they’ll be gone. Today, we listened to Swedish P2, where they were playing a mixtape that Sara Parkman had ...

Job loss and cortisone mania

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.

The alien space of science: Coherent but cognitively unavailable directions

https://arxiv.org/static/browse/0.3.4/images/arxiv-logo-fb.png
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.

Show HN: Impossible Machines: declaratively program the physical world

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

The foolishness of "natural language programming" (1978)

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.

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

https://www.eff.org/files/banner_library/OG-Encryption-DefendEncryption.png
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.

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

https://camo.githubusercontent.com/e76e6ba9648be3d0b5f61a0469a06ef25621dc69f3d0f91fd9581b77a06307ed/68747470733a2f2f6d656469612e73696e676f6e6b65792e6170702f6f6e6b65792d6c616e652d322e676966
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.

Every AI model has the same "controversial" take on humans

https://www.modelcompare.ai/blog/ai-models-controversial-take-on-humans/drawn-gpt-6.1-sol.webp
AI models from 10 labs in 3 countries agree that humans prioritize belonging over truth, with most saying people conform to group norms and create justifications for their actions.

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

Sorry

We have traits at home

https://www.axelmagn.com/blog/202610-zig-traits/so_good.png
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.

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

https://bottlecapai.com/assets/thinkingcap-gemma-4-26b/press-thinkingcap-gemma-4-26b.jpg
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.

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

https://opengraph.githubassets.com/89d300dde1a78bee22c33bed76898d74e2dc7a2ded32d04ca14c51621a28129a/NVIDIA/OpenShell
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.

Pentagon grants DHS permission to test heat ray weapon for use at border

https://media.cnn.com/api/v1/images/stellar/prod/3294744.jpg?c=original&q=w_860,c_fill
The Pentagon has given the Department of Homeland Security permission to test a military-grade heat ray, also known as the Active Denial System, for potential use at the southern US border. The system shoots an invisible beam of electromagnetic waves that causes a burning sensation on human skin and can reach over half a mile away.

How does Fable 5.1 hide messages in images?

https://res.cloudinary.com/lesswrong-2-0/image/upload/v1792123168/lexical_client_uploads/rhbbcsivk5fap1xrfl2y.png
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.

OpenSSL 4.1.0

https://opengraph.githubassets.com/02c77ea91d816b8397dbd361fb4dd9719007a716310ae9afcccc7c50fd8fc0a2/openssl/openssl/releases/tag/openssl-4.1.0
New build targets and optimizations were added for improved performance. Several bug fixes addressed issues with DTLS 1.3, including permanent receive failures and unexpected message alerts during handshakes.

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

https://www.anthropic.com/_next/image?url=https%3A%2F%2Fwww-cdn.anthropic.com%2Fimages%2F4zrzovbb%2Fwebsite%2F02207cbc6f46e272fe9a0fa7929cb8ec29578e74-1920x980.png&w=3840&q=75
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.

Run full iOS 16.5 firmware on Android Devices

HackiOS boots iOS 16.5 on Android phone hardware using an open-source XNU kernel and custom drivers, allowing users to run unmodified iOS apps without modifying the original code. The project is a research bench, not a ROM, and requires specific hardware and software configurations.

An alignment assessment of the UK AISI cybertesting incident

https://www.anthropic.com/_next/image?url=https%3A%2F%2Fwww-cdn.anthropic.com%2Fimages%2F4zrzovbb%2Fwebsite%2F80f82d087f39fb093a6bc89e8d242e98d4cdf04e-2000x1731.png&w=3840&q=75
On August 4, 2026, the UK AI Security Institute (AISI) published a report that detailed some concerning behavior it observed from Claude Mythos 5 during its testing of the model’s cyber capabilities. In AISI’s evaluation, Mythos 5 was given a capture-the-flag (CTF) cybersecurity challenge, in which it was asked to retrieve a protected piece of data (the “flag”) from a simulated network. ...

WorldTUI: I trained a 360M model to pretend to be a terminal

https://simedw.com/2026/10/21/world-model-terminal/images/worldtui-cowsay.jpg
A 360M-parameter language model was fine-tuned to act as a terminal, predicting screen changes with every keypress. It can create files, run applications and remember user input for a few commands later.

This I Believe (1952)

https://www.awakin.org/pics/rand/smile-balls.jpg
User shares thoughts on values, believing in goodness and helping others, with examples of personal experiences showing that kindness prevails. They emphasize the importance of starting small and trusting others to create a positive impact.

Getting ready to operate GNU Taler in Germany

Taler Operations AG is being founded to operate Taler as an online payment system in Germany and the Euro-zone, with plans to apply for a licence from BaFin. The new company will focus on Taler exclusively, enabling payments with Taler first in Germany before expanding across the single market.

eMudhra ignored Mozilla Root investigation deadline; blames social media

eMudhra Intermediate Certificates' private keys were compromised due to a flawed key generation process, allowing anyone to recover the keys and potentially issue certificates for any domain. eMudhra is working with Mozilla and other organizations to migrate affected subscribers to alternative root hierarchies and provide replacement certificates.