📟 Terminals

Modern terminal emulators, Warp, Ghostty, shells, zsh, prompts

Ubuntu 25.10 Scraps X11 for Wayland: A Solid Step Forward
thenewstack.io·1d
🔌Operating system internals
Flag this post
Using ChatGPT Atlas Agent Mode To Solve LeetCode Problems
blog.codeminer42.com·18h
⚙️Proof Engineering
Flag this post
A Bootable Greeting for the Xenomorph in Your Life
hackaday.com·1d·
Discuss: Hacker News
🔌Operating system internals
Flag this post
The End of Shouting: Prompts as Programs in GPT-5
robert-glaser.de·1d·
Discuss: Lobsters, Hacker News
✓Automated Theorem Proving
Flag this post
TypeAgent: Microsoft's Open Source Personal Agent Architecture
github.com·10h·
Discuss: Hacker News
⚡Proof Automation
Flag this post
Module.swift: Modularization with SPM made easy and scalable
gsabran.substack.com·14h·
Discuss: Substack
🔌Interface Evolution
Flag this post
Emulsiv: A visual simulator for teaching computer architecture using RISC-V
github.com·8h·
Discuss: Hacker News
🔧RISC-V Emulation
Flag this post
Atari Portfolio: Going Online Like It's 1989 – Auvik
auvik.com·3d·
Discuss: Hacker News
🕹️Retro Gaming
Flag this post
Making a Virtual Machine Look like Real Hardware to Malware
hackaday.com·6h
🕸️WebAssembly
Flag this post
Bringing CGI Back from the Dead
intertwingly.net·1d·
Discuss: Hacker News
🔌Interface Evolution
Flag this post
The Machine Learning Lessons I’ve Learned This Month
towardsdatascience.com·14h
🚀SIMD Text Processing
Flag this post
Show HN: Pinpam, TPM2-backed pin authentication for Linux
github.com·18h·
Discuss: Hacker News
🔒Hardware Attestation
Flag this post
Programming Modern Systems Like It Was 1984 (2014)
prog21.dadgum.com·2d·
Discuss: Lobsters, Hacker News
🔩Systems Programming
Flag this post
SymSpell C99: Building the Fastest Spell Checker in Pure C
suman-pokhrel.com.np·2d·
Discuss: Hacker News
🌳Trie Structures
Flag this post
Understanding Type-Based Alias Analysis in C and C++
kdab.com·21h·
Discuss: Hacker News
🔒Type Safety
Flag this post
🧩 Building a Powerful Multi-Threaded PDF Downloader with Tkinter and Python
dev.to·1d·
Discuss: DEV
📄PDF Internals
Flag this post
Is this too many bad decisions back to back? Keep pushing forward or abandon project?
jono-moss.github.io·2d·
Discuss: r/homelab
👑RISC-V Privilege
Flag this post
A text based multiplayer idle game for Telegram
github.com·1d·
Discuss: Hacker News
🪟Awesome windows command-line
Flag this post
What I learned porting Mastro from Deno to Node.js
mastrojs.github.io·12h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Operating Systems Written in Free Pascal
wiki.freepascal.org·2d·
Discuss: Hacker News
⚙️Operating System Design
Flag this post