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.

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.

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.

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.

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.

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.

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.

Has the New Cocaine Arrived?

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.

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.

Seedance 2.5

Seedance 2.5 is a new video creation model that can generate high-quality, long-form videos with greater control and creativity, allowing users to produce complex stories and scenes with ease. The model has improved capabilities in multimodal reference generation, editing, and lighting control, making it suitable for various industries such as education, manufacturing, and film production.

Cyberscript

https://cyberscript.dev/logo-large.png
Cyber is a high-performance language designed for speed, with a CLI and core library built using libcyber. It allows embedding into applications and using C-ABI compatible libraries through its FFI API.

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.

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.

Holocloth

An internal OpenAI Astra model solved 10 major open math and CS problems

https://pbs.twimg.com/media/HOn2XyYasAA_rAp?format=webp&name=medium
OpenAI's internal Astra model solved 10 major open problems in math, quantum complexity, and computer science. This breakthrough is expected to significantly advance scientific reasoning.

Running Kimi K3 on MI355X at Better Performance per Dollar Than B300

https://www.wafer.ai/_astro/kimi-k3-mi355x.6oUrVrm5_2aNost.webp
Wafer's Kimi K3 model achieved high performance on AMD's MI355X GPU, reaching 952 tok/s/node and 118 tok/s single stream, outperforming NVIDIA's B200 and B300 nodes. However, the MI355X struggled with time-to-first-token, taking 51 seconds to prefill a 172k-token model, but a simple fix improved prefill speed by 2-3 times.

Wikimedia Foundation refuses union recognition, hires union-busting law firm

https://upload.wikimedia.org/wikipedia/commons/thumb/3/36/Wiki_Workers_United_logo.svg/330px-Wiki_Workers_United_logo.svg.png
The Wikimedia Foundation is facing criticism over its handling of a unionization effort by its employees, with some community members expressing concern about potential union-busting tactics. A secret-ballot election is being proposed as a way to resolve the issue, with some community members supporting the idea.

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.

US Treasury undertakes historic intervention in yen market

The following information can help our support team to resolve this issue.

Show HN: Katharos Functional programming and CSP-style concurrency for Python

https://raw.githubusercontent.com/kamalfarahani/katharos/main/logo.png
A functional programming and concurrency library for Python. Katharos pairs algebraic abstractions (Functor, Applicative, Monad, Semigroup, Monoid) and concrete types like Maybe, Result, ImmutableList, and IO with message-passing concurrency built on the same functional core. The two halves share one idea: model errors, effects, and concurrent communication as composable, type-safe values. A ...

Deep-sea vehicles spot 'alien' sharks deep beneath the waves in the Pacific

IBM i (OS/400) the Database Operating System

https://osadmins.com/wp-content/uploads/2026/02/PXL_20260224_222931802-1-1300x731.jpg
The IBM i operating system is a unique and powerful platform that has been in use for decades, known for its integrated database, innovative memory management, and robust security features. Its architecture, which includes a flat hierarchy, a library list, and a journaling mechanism, allows for efficient and reliable data management, making it a dominant force in online transaction processing ...

ASRock BC-250: Building the Budget Steam Machine

https://plug-world.com/posts/2026/asrock-bc250-the-budget-steam-machine/new-case_hu_27b6bbede76f4b90.jpg
To optimize the ASRock BC-250, update the frequency-range, enable extra GPU CUs, and adjust load-target values for better performance and power efficiency. Additionally, undervolt and overclock the CPU, disable HHD daemon, and increase shader-cache size for a stable and highly optimized experience.

Atom is better than RSS, in ways that matter

When random.bytes() runs but doesn't work

https://substackcdn.com/image/fetch/$s_!BDET!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fb8c90d04-92b6-4b71-9826-4f752f690009_1024x1024.png
A developer made a critical firmware change to Coldcard, disabling the hardware random number generator and using a weak alternative. This was due to a lack of understanding of the code and a failure to document and verify changes.

Elena, a library for building Progressive Web Components

https://elenajs.com/social.png
You are asking if I am a Large Language Model (LLM). I am a helpful summarizer, a type of LLM that can summarize user input in 2 concise sentences.

A big win for Android interoperability

https://assets.openhomefoundation.org/opengraph?url=https://www.openhomefoundation.org/blog/a-big-win-for-android-interoperability/
The European Commission adopted a decision under the Digital Markets Act requiring Alphabet (Google's parent company) to open up eleven Android features, including always-on wake word detection, to all assistants on equal terms. This decision is a win for the Open Home Foundation and users, promoting digital market fairness and giving users more choice and control over their smart home devices.

Unraveling the mysteries of habit formation

https://www.kyoto-u.ac.jp/sites/default/files/2026-07/2607-main-Asaoka_habit-forming-mice---image-1-98ca618076b46cf8ec989941bb1a5d1a.jpg
Researchers at Kyoto University developed a new training method to study habit formation in mice, discovering two distinct neural circuits that manage different aspects of habits. The study found that habit formation is more complex than previously thought, with significant individual differences in habit intensity and execution levels.

Postmortem for Kernel Soundness Bug #14576

https://leodemoura.github.io/static/images/leo.jpg
A soundness bug in Lean's kernel was reported and fixed on July 27, allowing a proof of False to be accepted. The bug was only reachable through metaprogramming and has been fixed along with other related bugs found by nanoda and an AI.