📺 VT100

Terminal Emulation, ANSI Escape Codes, Console History, Character Terminals

CatVector Demo Website
tanelpoder.com·1d
🗂️Vector Databases
Making modern Debian look like 20 year old Ubuntu. Why? Because!
82mhz.net·2d
⌨️Terminal Customization
Devlog: UCL - Comparing UCL To Some Early Ideas
lmika.org·4d
🐚Shell Calculus
Episode 163 - Ever Heard of the PDP-11?
adventofcomputing.libsyn.com·1d
💾vintage computing
My Current AI Dev Workflow
steipete.me·16h
⚡Proof Automation
Docker fixes critical Desktop flaw allowing container escapes
securityaffairs.com·3h
📦Container Security
Teaching programming languages
kmjn.org·13h
💻Programming languages
ImageIO, the Infamous iOS Zero Click Attack Vector (2024)
r00tkitsmm.github.io·3d·
Discuss: Hacker News
🧪Binary Fuzzing
Sets & Heaps in Haskell and Rust
mmhaskell.com·17h
🔒Type Safety
Fun with niri window manager
rousette.org.uk·13h·
Discuss: Hacker News
🪟Awesome windows command-line
Antirez/sds: Simple Dynamic Strings library for C
github.com·10h·
Discuss: Hacker News
✅Format Verification
Trust Spanning Protocol (TSP) Specification
trustoverip.github.io·10h·
Discuss: Hacker News
🌳Archive Merkle Trees
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·11h·
Discuss: Hacker News
✅Format Verification
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·11h·
Discuss: Hacker News
⚡Proof Automation
TypeScript: Enable Strict Mode by Default
github.com·9h·
Discuss: Hacker News
🎯Gradual Typing
InfoSec News Nuggets 8/25/2025
aboutdfir.com·13h
🔓Hacking
Row Your Boat: How I made a boat physics simulation inside Oblivion Remastered
hallada.net·8h·
Discuss: Hacker News
🏺Computational Archaeology
A Magnetized Needle and a Steady Hand (2016)
nullprogram.com·5d·
Discuss: Hacker News
🔧RISC-V Assembler
RetroZilla
rn10950.github.io·1d·
Discuss: Hacker News
🕸️WASM Archives
OpenBSD Disables Yubikey OTP Support in -current
discoverbsd.com·18h
🔍eBPF