The UNIX List

Show HN: SmolVM – open-source sandbox for coding and computer-use agents

SmolVM is an open-source local sandbox for AI agents on macOS and Linux.I started building it because agent workflows need more than isolated code execution. They need a reusable environment: write files in one step, come back later, snapshot state, pause/resume, and increasingly interact with browsers or full desktop environments.Right now SmolVM is a Python SDK and CLI focused on local developer experience.Current features include: - local sandbox environments - macOS and Linux support -

Show HN: I built a Cargo-like build tool for C/C++

I love C and C++, but setting up projects can sometimes be a pain.Every time I wanted to start something new I'd spend the first hour writing CMakeLists.txt, figuring out find_package, copying boilerplate from my last project, and googling why my library isn't linking. By the time the project was actually set up I'd lost all momentum.So, I built Craft - a lightweight build and workflow tool for C and C++. Instead of writing CMake, your project configuration goes in a simple craft.

Show HN: Linear RNN/Reservoir hybrid generative model, one C file (no deps.)

I just noticed it takes literally ~5 minutes to train millions parameters on slow CPU...but before you call Yudkowsky that "it's over", an important note: the main bottleneck is the corpus size, params are just 'cleverness' but given limited info it's powerless.Anyway, here is the project:https://github.com/bggb7781-collab/lrnnsmdds/tree/maincouple of notes:1. single C file, no dependencies. Below are literally all the "dependencie

Run Linux desktop on any recent Google Pixel phone/tablet

Hi,We make a Linux desktop distribution that runs as an application on top of any Android phone or tablet. The only requirement is that the Android device needs to be rooted and use Google's standardized GKI kernel. We only support phones with HDMI output capability and we run Linux desktop on the secondary screen. Here is video of Linux desktop running on a Google Pixel 8 phone: https://youtu.be/qO_ItjI2qCY?si=CXiVRZShmAtYFWB-The Google Pixel devices are great for testing mo

Show HN: Idt – A Swiss Army Knife for UUID, ULID, Snowflake, and More

Got sick of googling "uuid generator" or "nanoid generator" every time and hoping the site isn't sketchy. Also, uuidgen only does v4 — doesn't help when you need UUIDv7, ULID, Snowflake, or want to inspect what's inside an ID.So I made idt(ID Tool). One CLI that generates, inspects, validates, converts, and sorts various ID formats. Auto-detects the type so you don't have to remember.Supports UUID (v1–v7), ULID, Snowflake (Twitter/Discord/Instagr

Show HN: Itsumo: Make yourself fun and interesting academic language lessons

Itsumo is a language learning app that generates short lessons from stories about topics you choose, at your level. Instead of working through a fixed curriculum or another flashcard deck, you can make a lesson about whatever happens to be interesting to you that day, with audio, tappable words, and grammar notes.You can try a language story from the landing page without signing up, and if you want to try full access, no credit card is required at signup, and the premium tier free for 14 days. I

SNN brain-inspired gen-AI in C/C#, no external AI libs could be promising?

So over the past months I've experimented with many potential alternatives to transformers, one of which is the so called Spiking Neural Networks which, to the ones unfamiliar with them, is an approach to AI which seeks to make AI as similar to the human brain as possible, in other words while transformers or RNN, LSTMs are result-driven (not seeking to simulate human 1:1) - SNNs actually try to mimic the way humans learn exactly. The idea to use them for NLP isn't entirely new (googl

Show HN: A benchmark for SAST exploit chain and evasion detection

MAKE HACKERNEWS SHOWCASE POST AND SUBMIT IT 10pm MORNING SILICON VALLEY...Show HN: A benchmark for SAST exploit chain and evasion detectionTraditional SAST benchmarks are great at measuring simple source-to-sink taint flows, but real-world attacks have moved past that. I spent some time building a benchmark suite to test the things that current static analysis tools structurally struggle to see.Design PrinciplesTest cases written from security knowledge, not from knowledge of any specific SAST e

Avalonia bolts Linux and WebAssembly onto .NET MAUI

The Avalonia team has previewed a backend for MAUI (multi-platform app UI) using .NET 11 (itself in preview), enabling developers to add Linux and WebAssembly targets to their cross-platform GUI ...

The Best Lightweight Linux Distros to Revive Your Old Hardware

This comprehensive guide to lightweight Linux distros for aging PCs recommends Q4OS Trinity for low-spec machines, running with 512 MB RAM and a 500 MHz CPU.

Linux gamers didn't do anything wrong, but they might pay for Windows piracy anyway

Pirates on Windows might make life harder for gamers on Linux.

Windows just saw a dramatic drop in OS market share on Steam as gamers move to Linux

5.33% of Steam gamers on PC are playing on Linux, with Valve's own SteamOS being the most popular variant. Meanwhile, Windows market share has dropped.

Little Snitch, the macOS network tool, is now available on Linux

A Linux version of Little Snitch, the iconic network monitoring tool for macOS, has been released. Little Snitch for Linux is written in Rust and uses

I saved a doomed Windows laptop by embracing Linux

My laptop was supposed to be obsolete without Windows 11, but Linux helped me rescue it from the landfill — and you can use it to save your laptop, too.

I tested Fedora Miracle: Why Linux needs a 'broken' flag for orphaned spins

I tested Fedora Miracle: Why Linux needs a 'broken' flag for orphaned spins ...

I tried Peppermint Linux: How this bare-bones distro lets you build your ideal OS

I tried Peppermint Linux: How this bare-bones distro lets you build your ideal OS ...

How much RAM does Linux really need in 2026? My sweet spot after decades of use

How much RAM does Linux really need in 2026? My sweet spot after decades of use ...

From the C: to the /Mnt/s, Linux is better than ever for PC gaming – and easier to switch to from Windows

For radical, picture me skateboarding ungainly while installing Linux - or, to be more precise CachyOS - on my PC. Windows 11 ...

DYNIX

DYNIXDYNIX (DYNamic unIX) – an operating system developed by Sequent. It was acquired by IBM in 1999, when Sequent was acquired. It is a variant of BSD Unix. https://archiveos.org/dynix/

UNIX Fourth Edition on SIMH v3.12-5

We have tested UNIX Fourth Edition with SIMH v3.12-5, and it worked!#UNIX #UnixFourthEdition #Retrocomputing #DEC #PDP11 #PDP #TechNews #TechUpdates #ComputersUNIX Fourth Edition on SIMH v3.12-5