Show HN: Kakehashi – Experimental userspace to run macOS binaries on Linux ARM

https://opengraph.githubassets.com/3b6b6a3100120122dc8fff0c8b450edb077cd334acfc336347099211a8e6825d/wie-project/kakehashi
Kakehashi is a tool that runs Darwin CLI tools natively on Linux aarch64 by translating BSD syscalls and mapping a freestanding libSystem. It aims to provide a cost-effective alternative to running Darwin tools on macOS, with a focus on correctness and performance, and is suitable for use in CI environments.

How the words we teach English language learners changed

https://pudding.cool/assets/stickers/donate-footer-square@2x.png
The General Service List (1953) and the New General Service List (2023) track changes in everyday English vocabulary, showing a shift from tangible, physical words to abstract concepts and ideas. The 2023 list reflects a more systemic, connected world, with words like mortgage, corporation, and climate, and a greater emphasis on precision and abstract thinking.

Developers are attached to tools because tools encode trust

https://cdn.stackoverflow.co/images/jo7n4k8s/production/29bbae9c01de534b803084e4f0b9a77f9cd90e5c-12000x6300.jpg?rect=8,0,11985,6300&w=780&h=410&auto=format&dpr=2
Developers are struggling to trust AI tools due to their unpredictability and lack of transparency, which can lead to broken processes and decreased productivity. To build trust, teams need to establish a more deliberate and explicitly-defined workflow that preserves human judgment and provides the right context for AI agents.

Twenty Years of RISC OS Open

RISC OS Open Ltd was founded in 2006 with the goal of opening up the proprietary operating system to the community. Over the past 20 years, the community has contributed significantly to the OS's development, resulting in a much healthier and improved RISC OS today.

Welcome to Agents Week

https://blog.cloudflare.com/_image?href=https%3A%2F%2Fblog.cloudflare.com%2F_emdash%2Fapi%2Fmedia%2Ffile%2F01KYZCTHV0HVXSBJZRXX2RZA64.png&w=1999&h=1125&f=webp&fit=cover&position=center
As we started thinking about and planning the week, we wrestled with a broader question of what it means to support this new era of agents and what a purpose-built foundation for agents actually looks like. Which brought us to a simpler framing: what is an Agent Cloud? We quickly realized however, that our framing was wrong. Not because it’s the wrong question to ask, but because of who we ...

Show HN: NixOS-DGX-Spark – Nix and NixOS on the DGX Spark

https://opengraph.githubassets.com/77af5588fe889e611a7fd7ca311297cf64e3a38a055dc6c0be56113da6d2efb6/graham33/nixos-dgx-spark
To use Nix on DGX Spark, you can either use DGX Spark playbooks with Nix on DGX OS or install NixOS with the DGX Spark module.

F*: A general-purpose proof-oriented programming language

https://fstar-lang.org/i/fstar-new.png
F* is a programming language that combines dependent types and multi-monadic effects for formal verification and proof-oriented programming. It has been applied in various fields including security, cryptography, and systems.

Harvesting SSH Credentials: Insights from My Honeypot Network

https://uphillsecurity.com/images/honeypot-map-2026-07.png
I’ve been working on this honeypot network for the past couple of months, and I’d now like to share some information from the first 30 days. The project is still work-in-progress and I plan to improve it over time. The presentation is still a little bit rough, but this will do for now. Passwords and usernames are percent-encoded (like an URL) to provide the information lossless and fully ...

Meshdiff – visually compare two STL versions in the browser, client-side

https://meshdiff.com/og-image.png
Meshdiff compares two versions of a 3D model and shows exactly what changed: added material, removed material, and dimensional drift. Free, in-browser voxel and surface-heatmap diffing for STL, 3MF, and OBJ files — nothing is uploaded.

Karpathy’s Pelican

https://pbs.twimg.com/amplify_video_thumb/2083744791876292608/img/tWEKnM_bdE_nlfYD.jpg
Opus 5 generated 5500 lines of code to procedurally render the Lord of the Rings story with a 1M token budget. This example showcases LLMs' potential for creating hyper-custom worlds, but also highlights their limitations in auditing and perceiving multimodal content.

Fasttracker II clone in C using SDL 2

Fasttracker II is a music tracker software developed by Fredrik Huss in 1994, allowing users to create and edit music files. Your FT2 clone is a portable version written in C using SDL 2, available for download on GitHub.

When transit passes were designed by hand (2022)

https://letterformarchive.org/wp-content/uploads/legacy/milwaukee-transit-passes-1930s-1960s.jpg
The Milwaukee Electric Railway & Light Company produced colorful transit passes from 1930s to 1960s with unique hand lettering and designs. About 300 of these passes are now in the Archive's collection, showcasing the city's commitment to civic design and visual appeal.

Folding Paper Globes

https://foldingglobes.com/globes/sun.png
Free print-ready folding paper globe templates: the Moon, Mars, Earth at night, and more. Download, print, cut, fold, glue.

Show HN: Bor – Open-source policy management for Linux desktops

https://getbor.dev/images/screenshots/policies-list.2bf4959e0cf643c29838b9d391fee829.png
Bor v0.8.0 adds new policy types for Thunderbird, Microsoft Edge, and Firewalld zones, alongside a web UI overhaul and security hardening. It also includes finer-grained RBAC, tamper protection, and accessibility improvements.

Show HN: Fuse – statically typed functional programming language

https://fuselang.org/fuse-icon_hu_db4cf4be1a7fd488.png
Fuse is a functional programming language with System F type system, algebraic data types, and generics for domain modeling. It features pure functions, pattern matching, and do notation for expressive code, with type inference and whole-program optimization for fast binaries.

Great Question (YC W21) Is Hiring Senior Demand Gen Manager

https://bookface-images.s3.amazonaws.com/small_logos/cbc38c395f4f32191dcaac60013ed038a0a40611.png
Great Question is hiring a Demand Generation Manager to own SQL attainment, channel strategy, and execution at scale using AI and automation. The ideal candidate has 5-8 years of B2B demand generation experience, is AI-native, and can build repeatable demand programs across multiple acquisition channels.

Rust All Hands 2026 Retrospective

https://blog.rust-lang.org/inside-rust/2026/07/31/all-hands-2026-retrospective/allhands.jpeg
166 Rustaceans gathered in Utrecht for the Rust All Hands in May 2026, discussing Rust's future, resolving blockers, and building connections. The event was part of RustWeek and included the RustWeek Unconference, with 73 sessions across 3 days, focusing on governance, evolution, and interoperability.

Turtle-inspired interactive Python project

This website is using a security service to protect itself from online attacks. The action you just performed triggered the security solution. There are several actions that could trigger this block including submitting a certain word or phrase, a SQL command or malformed data. You can email the site owner to let them know you were blocked. Please include what you were doing when this page ...

Pushes to arch AUR are suspendended right now.

https://lists.archlinux.org/static/hyperkitty/img/logo.png
Package adoption and pushes are temporarily disabled due to malicious activity on the AUR. Report suspicious events and stay vigilant until further notice.

Artificial Intelligence: Ars Notoria and the Promise of Instant Knowledge

https://pdr-assets.b-cdn.net/essays/ars-notoria/dedupmrg1191555822_IE4927965_FL5355234-edit.jpg?width=1200&height=765
The Ars notoria is a medieval manuscript that promised to fast-track advanced learning through magical rituals and diagrams, but was condemned by church authorities as demonic. Despite this, the text remained popular and was translated into various languages, including English, and continued to be used and edited throughout the Middle Ages and Renaissance.

Go 1.27 Interactive Tour

https://victoriametrics.com/blog/go-1-27/preview.webp
Go 1.27 introduces several new features, including generic methods, improved struct literals, and broader type inference, as well as performance improvements like size-specialized allocation and an experimental SIMD package. Other notable additions include a standard UUID package, a json/v2 package, and various testing and quality-of-life improvements.

Show HN: I'm a 15 Year Old Wannabe Engineer, This Is a Cycloidal Gearbox I Built

https://raw.githubusercontent.com/tom-ilan/cycloidal_gearbox/main/media/full_assembly.png
The user built a cycloidal gearbox with a 1:9 gear ratio to test a Python generator, but it failed due to tight tolerances. The design was improved in Version 3 with MR128 bearings and M2 screws for higher efficiency and torque output.

Holocloth

Diátaxis

https://diataxis.fr/_images/diataxis.png
Diátaxis is a systematic approach to documentation that identifies four needs and forms of documentation: tutorials, how-to guides, technical reference, and explanation. It helps maintainers think effectively about their work and has been successfully adopted in hundreds of documentation projects.

Norway Salmon

https://live-production.wcms.abc-cdn.net.au/f12f2c4d5416267f7ef0df9eaa8d1b4f?impolicy=wcms_crop_resize&cropH=2832&cropW=3776&xPos=248&yPos=0&width=960&height=720
Norway's salmon farming industry has grown into a global behemoth, but it's facing ecological and ethical concerns due to pollution and poor fish welfare. The industry is now grappling with the consequences of its success, including declining oxygen levels and increased disease in fish.

A Rant About “Technology” (2005)

https://images.squarespace-cdn.com/content/5cad42ef90f904e520359371/7a6472b9-58f9-451a-b4dd-a4e571c7ff74/image-asset.jpeg?content-type=image%2Fjpeg
The author argues that science fiction inherently involves technology, not just complex high-tech devices, but also everyday tools and skills. They claim that their own work, often misunderstood as lacking technology, actually explores the technological aspects of societies and cultures.

MkLinux and the pimped-out Apple Workgroup Server 9150

Google detected unusual traffic from your network possibly due to malicious software or automated requests. Solving the CAPTCHA will let you continue using their services.

Show HN: Syncular – offline-first SQL sync with TypeScript and Rust cores

https://opengraph.githubassets.com/1f1705fa2dab49af89f75aeda459cedcfca33e6f7621a5b4c4755f716072f49a/syncular/syncular
Syncular is a server-authoritative, offline-first SQL sync system with a spec-first approach and two core implementations in TypeScript and Rust. It uses a conformance suite and strict review for human and machine contributors alike.

ESP32-C3 SuperMini antenna modification

https://peterneufeld.wordpress.com/wp-content/uploads/2025/03/esp_c3_animated.gif
A user modified the ESP32-C3 SuperMini module's antenna to improve WiFi performance. The modification involved adding a 31mm length of 1mm silver-plated wire, creating a quarter-wavelength antenna that improved signal strength by 6-10dB.