Ask HN: How would u setup a child's first Linux computer?

You helped your children build and set up their own Linux computers, teaching them about free and open software. Now you want to do the same with your daughter, installing Linux and introducing her to useful open-licensed software.

I Am Mark Zuckerberg

https://iammarkzuckerberg.com/images/zuck-200.jpg
Mark Zuckerberg, an Indiana bankruptcy attorney, experiences constant confusion with Facebook due to his shared name with the tech mogul. He receives numerous complaints, threats, and solicitations, and has been sued and had his accounts disabled multiple times.

Ironclad – formally verified, real-time capable, Unix-like OS kernel

https://ironclad-os.org/images/screenshot.png
Ironclad is a formally verified, open-source operating system kernel with POSIX compatibility and real-time capabilities. It's free, fully open source, and relies on donations and grants for funding.

Reverse engineering Codex CLI to get GPT-5-Codex-Mini to draw me a pelican

https://static.simonwillison.net/static/2025/codex-hacking-default.png
The user modified the Codex CLI tool to allow direct access to the new GPT-5-Codex-Mini model by upgrading the tool's source code to run custom prompts. The user successfully used the modified tool to generate an SVG image of a pelican riding a bicycle using the new model.

Largest cargo sailboat completes first Atlantic crossing

https://www.marineinsight.com/wp-content/uploads/2025/10/Sailboat-1.jpg
The Neoliner Origin, a 136-metre-long cargo sailboat, completed its first transatlantic voyage despite damage to one of its sails. The ship aims to reduce greenhouse gas emissions by 80 to 90 per cent compared to conventional cargo ships.

Show HN: I built a self-hosted error tracker in Rails

Telebugs is a self-hosted error tracking system that replaces Sentry with a one-time payment of $499. It's simple, lightweight, and customizable for any application.

Marko – A declarative, HTML‑based language

https://markojs.com/assets/product-B8pLJkQT.webp
Marko is a language for building dynamic user interfaces, extending HTML with declarative features and asynchronous content loading. It optimizes code for browsers and servers with environment-specific output and TypeScript support.

The overengineered Solution to my Pigeon Problem

https://maxnagy.com/posts/pigeons/water_gun.jpg
The user built a wifi-controlled water gun to deter pigeons from their balcony using an iPhone camera and a python script with openCV. The system successfully kept pigeons away for six days before they adapted to the new threat, prompting the user to consider alternative solutions.

Defeating Kaslr by Doing Nothing at All

The Linux kernel on arm64 devices, including Pixel phones, has a non-randomized linear mapping memory region, allowing attackers to calculate a kernel virtual address for any physical address, which can be used to access kernel data even with KASLR enabled. This issue, combined with the kernel's static physical address on Pixel devices, makes it easier for attackers to exploit the kernel, and ...

Forth – is it still relevant?

https://opengraph.githubassets.com/05db5911373855e0a55d668212bfb4b52b321c991f3053f07574f53bcee22832/chochain/eforth
The eForth project aims to create a modern, efficient, and easy-to-understand Forth implementation in C/C++ with multi-platform support, targeting a niche audience of C programmers who may find Forth more productive. The project's core implementation is based on an array of Code objects that represent each Forth word, with a focus on simplicity, elegance, and performance.

Toolkit to help you get started with Spec-Driven Development

https://raw.githubusercontent.com/github/spec-kit/main/media/logo_small.webp
Spec-Driven Development is a process that flips traditional software development by making specifications executable and directly generating working implementations. It allows developers to focus on product scenarios and predictable outcomes.

Study identifies weaknesses in how AI systems are evaluated

https://www.oii.ox.ac.uk/wp-content/uploads/2025/10/AdobeStock_315050843-700x395.jpeg
A new study by Oxford Internet Institute found that many AI benchmarks lack scientific rigour, making it difficult to draw reliable conclusions about AI progress and safety. The study proposes eight recommendations to improve the validity of AI benchmarks, including defining and isolating concepts and using statistical methods.

Open-source communications by bouncing signals off the Moon

https://open.space/moon_array.png
The device is a high-aperture array for EME experiments and radio astronomy, requiring a 12 V DC power supply and an amateur radio license. It's intended for moon-bounce and one unit per person is allowed, with country restrictions applying.

Tabloid: The Clickbait Headline Programming Language

https://tabloid-thesephist.vercel.app/img/screenshot.jpg
Tabloid is a Turing-complete language for writing clickbait-style programs with unique features like automatic capitalization and quirky function declarations. It lacks built-in looping constructs, instead using recursion and has a simple syntax for variables and functions.

Show HN: Hephaestus – Autonomous Multi-Agent Orchestration Framework

https://raw.githubusercontent.com/Ido-Levi/Hephaestus/main/assets/hephaestus_overview.png
You're building a system where AI agents can handle complex software projects by creating tasks based on discoveries, not predefined instructions. This allows the workflow to adapt in real-time and branch itself based on actual discoveries.

Control structures in programming languages: from goto to algebraic effects

The book explores programming language control structures from history to theory, covering imperative and functional languages. It offers a comparative perspective on programming languages and introduces algebraic effects and contemporary research topics.

Avería: The Average Font (2011)

http://iotic.com/averia/img/fig1b.png
The user created a font called Avería by averaging multiple fonts using ImageMagick and PHP, then refined the process to preserve sharp edges. Avería is now available under the SIL Open Font License with various variants.

Study finds memory decline surge in young people

https://substackcdn.com/image/fetch/$s_!q36V!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Ff27993bc-ac91-4115-bff8-9c086ee5bfca_1920x1280.jpeg
A recent study found that younger adults in the US are experiencing a significant rise in cognitive disability, with 9.7% of those 18-39 years old reporting difficulty concentrating, remembering, or making decisions. This is attributed to the effects of social media and technology on the human mind.

Show HN: Sparktype – a CMS and SSG that runs entirely in the browser

How to build your own VPN, or: the history of WARP

https://cf-assets.www.cloudflare.com/zkvhlag99gkb/3NQ735PxiKa2lse7NqfF61/9b12261ad02b05ba6d60ec8fc20eadc2/image7.png
Cloudflare used Linux's networking stack to build a high-performance VPN for WARP, a mobile-first performance and security app. They used Netfilter's NAT feature to securely egress arbitrary user packets from their edge machines.

Why is Zig so cool?

Nilo Stolte discusses the features of the Zig programming language, highlighting its unique compilation capabilities, simplicity, and robustness. He provides examples of using Zig to implement a Sudoku game, demonstrating its low-level capabilities and the use of test blocks for prototyping and debugging.

How Airbus Took Off

https://wip.gatspress.com/wp-content/uploads/2025/09/WIP-Cover-Layered-1.png
Airbus succeeded in the aerospace industry by prioritizing customer needs, adopting a unique industry approach, and having strong leadership. Its willingness to risk political blowback and adapt to changing market conditions helped it become a global leader.

Grok 4 Fast now has 2M context window

The website is temporarily blocked due to security reasons after a suspicious action was detected. Please email the site owner with the Cloudflare Ray ID and details of the action that triggered the block.

Show HN: PingStalker – A a macOS tool for network engineers

https://www.pingstalker.com/images/white/LivePing.png
PingStalker is a macOS app for network pros to scan, monitor, and troubleshoot networks quickly. It offers features like device discovery, continuous logging, and Wi-Fi diagnostics for instant troubleshooting.

Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs

https://www.downtowndougbrown.com/wp-content/uploads/2024/07/beagleboard.jpg
The user successfully booted a BeagleBoard over USB using omap_loader, but encountered issues with newer computers due to USB 3.0's faster data transfer rates. Adding delays to the omap_loader code fixed the problems, allowing the user to boot the BeagleBoard on modern computers, including Raspberry Pis.

Opencloud – An alternative to Nextcloud written in Go

https://opengraph.githubassets.com/e2091c6fbcfe543baf6fc6252b56c78249293b5ae9a36825c333c225e081f1cc/opencloud-eu/opencloud
OpenCloud is a Go-based server released under Apache 2.0, available on Github and OpenCloud GmbH. It can be installed and run locally with a two-step command, storing data in the filesystem.

IRIX Introduction

http://www.sgistuff.net/software/irixintro/thumbs/irix-3.3-img4.gif
IRIX was the operating system for SGI systems, first running on IRIS terminals and workstations with Motorola CPUs, then on MIPS-based systems. It evolved through versions 4D1, IRIX 3.x, 4.x, 5.x, and 6.x, with the last release being IRIX 6.5.30 in 2006.

Valdi – A cross-platform UI framework that delivers native performance

https://opengraph.githubassets.com/889b00d9ad473997428a732188d6d280616624be19388103b26b4516e015ab81/Snapchat/Valdi
Valdi is a cross-platform UI framework that delivers native performance without sacrificing developer velocity. It compiles declarative TypeScript components into platform-native views for iOS, Android, and macOS.

Show HN: Geofenced chat communities anyone can create

https://vicinity.social/images/1.gif
Connect with people who are actually around you.No feeds. No noise. Just real talk in real places. Vicinity lets you talk to the people who are actually around you. Drop a pin, set your radius and chat length, and boom — anyone nearby can jump in. Pins are spontaneous by design: they pop up for the moment, spark a conversation, and then disappear. Want something more permanent? That’s where ...

Syntax and Semantics of Programming Languages (1995)