High-Quality Video Tape Conversion for Homes and Businesses
forums.anandtech.com·16h
📼Tape Simulation
Vulnerability Management – Requirements, Scoping & Target Setting
blog.nviso.eu·1d
🔐Capability Systems
The Chip That Spoke Lisp
jxself.org·3d
🤖Lisp Machines
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·3h·
Discuss: Hacker News
🔗Concatenative Programming
The Trillion Dollar AI Software Development Stack
a16z.com·1h·
Discuss: Hacker News
⚡Proof Automation
Slip – A Lisp System in JavaScript
lisperator.net·8h·
Discuss: Hacker News
🔗Lisp
Multi-Core By Default
rfleury.com·20h·
Discuss: Lobsters, Hacker News
🔩Systems Programming
The Project That Made Me Choose C Again
hackernoon.com·1d
🔩Systems Programming
Code Tours as Code
dundalek.com·1d·
Discuss: Hacker News
⚙️Build Archaeology
From Clicks to Code: Building a Production‑Ready EVM Transaction Client (Approve, Mint, Swap, EIP‑1559)
dev.to·1d·
Discuss: DEV
✅Format Verification
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
ASP.NET Core 9 Essentials • Albert Tanure & Rafael Herik de Carvalho • GOTO 2025
youtube.com·1d
🌐WASI
Access Control Policy Generation from High-Level Natural Language Requirements
dl.acm.org·2d·
Discuss: Hacker News
🔒Language-based security
Operable Software
ferd.ca·9h·
Discuss: Hacker News
👁️System Observability
IASC: Interactive Agentic System for ConLangs
arxiv.org·18h
🌳Context free grammars
10 Data + AI Observations for Fall 2025
towardsdatascience.com·8h
🌊Stream Processing
Running new applications on old glibc
lightofdawn.org·1d·
Discuss: Hacker News
🔗Static Linking
Keyboard Holders, Generation 1
cceckman.com·1d·
Discuss: Hacker News
⌨️Mechanical Keyboards
Show HN: Sweep, AI autocomplete for JetBrains that rewrites code
sweep.dev·3d·
Discuss: Hacker News
🌳Incremental Parsing
Intent Weaving for AI Coding Agents
autohand.ai·19h·
Discuss: Hacker News
⚡Proof Automation