MyTorch: A compact 450-line autograd implementation in Python
TL;DR MyTorch is a small, educational autograd implementation written in Python that mirrors the PyTorch API and relies on NumPy…
Swift on Android: Build Fully Native Android Apps with the Droid Framework
TL;DR A new Droid framework documented at swifdroid lets developers write native Android apps using Swift with a SwiftUI-like declarative…
Ask HN (Jan 2026): Community projects — experimental web DSL and 3D polariser
TL;DR Two Ask HN replies highlight maker and developer work: an experimental pipeline-oriented DSL for web apps with a Rust…
Xr0 verifier: compile-time checking framework to eliminate C undefined behavior
TL;DR Xr0 is a verifier for C that aims to detect and eliminate a range of undefined behaviours at compile…
Vibe-coding a static site on a $25 Walmart phone running Linux tools
TL;DR A how-to demonstrates turning a $25 Motorola Moto G 2025 into a portable Linux development and hosting environment using…
FP-pack: Functional pipelines in TypeScript emphasizing pipe, async and SideEffect
TL;DR FP-pack is a lightweight TypeScript toolkit offering pipe and pipeAsync-based function composition, a SideEffect pattern for declarative error/side-effect handling,…
When Ctrl-C Outperforms a Profiler: Practical Sampling with a Debugger
TL;DR An engineer revisits using Ctrl-C in a debugger as a quick, low-effort sampling profiler. It can rapidly reveal simple…
uvx ptn: Scan a QR to open your local terminal on a phone, no SSH
TL;DR Porterminal (invoked as ptn) exposes a local shell to a phone by starting a short-lived web terminal and publishing…
Proving Liveness with TLA: Using TLAPS’ New Temporal Logic Support
TL;DR The TLA+ Toolbox has gained the ability to support liveness proofs, prompting a re-evaluation of the Xen vchan protocol…
Blaze: Rust-based emulator revives DEC VT420 terminal hardware and more
TL;DR Blaze is a terminal emulator that reproduces the DEC VT420’s hardware and features, implemented in Rust. It supports multiple…