Run Containers and VMs Easily With OrbStack GUI
thenewstack.io·8h
📦Container Security
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·2d
📺VT100
The Chip That Spoke Lisp
jxself.org·3d
🤖Lisp Machines
Show HN: Using an LLM to sensibly sort a shopping receipt
treblig.org·1d·
Discuss: Hacker News
🔗Constraint Handling
Handy Python REPL Modifications
treyhunner.com·1d
🪟Awesome windows command-line
LLMs and reinforcement learning
sicpers.info·13h
⚔️Lean Tactics
Full Browser-Based CP/M emulator – finally
retrogamecoders.com·1h·
Discuss: Hacker News
📟Terminals
Love C, Hate C: Web Framework Memory Problems
alew.is·19h·
Discuss: Hacker News
🔩Systems Programming
ARES: Multimodal Adaptive Reasoning via Difficulty-Aware Token-Level Entropy Shaping
arxiv.org·19h
🧮Kolmogorov Complexity
Code Tours as Code
dundalek.com·1d·
Discuss: Hacker News
⚙️Build Archaeology
The Porcelain to Come
stackdiver.com·54m·
Discuss: Hacker News
🔲Cellular Automata
Keyboard Holders, Generation 1
cceckman.com·1d·
Discuss: Hacker News
⌨️Mechanical Keyboards
Show HN: Non-intrusive compile_commands.json Extractor for Bazel
github.com·1d·
Discuss: Hacker News
🛡️CLI Security
Three gripes about Go modules
jotaen.net·6h·
Discuss: Hacker News
🔓Reverse engineering
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.com·15h·
Discuss: Hacker News
✨Effect Handlers
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·21h·
Discuss: Hacker News, r/programming
✅Format Verification
`shimmy` Rust inference server uses bindings to a C library... and runs Python scripts in the shell
reddit.com·23h·
Discuss: r/rust
🦀Rust Macros
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·9h·
Discuss: Hacker News
🌐Protocol Synthesis
Building the Reasoning Engine at Axiom
axiommath.ai·3h·
Discuss: Hacker News
⚔️Lean Tactics
Terraform Fileset Function: Filter and Deploy Specific Files
spacelift.io·9h·
Discuss: Hacker News
🧊Arctic Storage