First screen, captured . Hover to scroll the page, or open the video.
Full page
Captured . Click for the whole screenshot.
Looks similar
A tiny world model running games on a Raspberry Pi Pico 2 W(github.com)
164 points by airinei | 9 comments
GitHub repo for tinyworldformer, an int8 looped transformer world model and RL actor that generate and play small games like Pong and Pac-Man on a Raspberry Pi Pico 2 W.
Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge(github.com)
16 points by lastmjs | 0 comments
GitHub repository for Lasm, a toolchain for compiling Lean 4 programs to JavaScript and WebAssembly runtimes such as Node, browsers, serverless and edge platforms.
Why is IPv6 so complicated?(github.com)
58 points by signa11 | 90 comments
Show HN: Live speech-to-text on an ESP32-P4 microcontroller, no cloud(github.com)
9 points by boumedinebillal | 3 comments
GitHub repo for esp32-pie-asr, a 2/4-bit quantized 65.7M-parameter streaming speech recognition model running live on an ESP32-P4 microcontroller without cloud.
Escher's art and computer science(github.com)
53 points by signa11 | 9 comments
Related stories
Train Your Own LLM from Scratch(github.com)
376 points by kristianpaul | 43 comments
GitHub repository by angelos-p providing code and docs for training your own large language model from scratch.
The state of Schleswig-Holstein is consistently relying on open source(heise.de)
557 points by doener | 258 comments
Heise news article reporting that Schleswig-Holstein saves 15 million euros in license costs by migrating its administration from Microsoft to open source software.
Schleswig-Holstein completes migration to open source email(news.itsfoss.com)
327 points by sebastian_z | 104 comments
It's FOSS News article reporting that the German state of Schleswig-Holstein has completed migrating its email systems from Microsoft to open source solutions.
Anyone can access deleted and private repository data on GitHub(trufflesecurity.com)
1823 points by __0x1__ | 341 comments
Truffle Security blog post explaining how data from deleted forks, deleted repositories, and private repositories on GitHub can remain accessible to anyone.
It's hard to write code for computers, but it's harder to write code for humans(erikbern.com)
429 points by imartin2k | 131 comments
Erik Bernhardsson's blog post arguing that writing code for humans, such as libraries, APIs and tools other developers use, is harder than writing code for computers.
Breaking Git with a carriage return and cloning RCE(dgl.cx)
357 points by dgl | 147 comments
A blog post explaining CVE-2025-48384, a Git vulnerability where carriage return handling allows remote code execution via git clone --recursive on Unix-like systems.