Clojure Civitas – Open effort for learning resources with meaningful connections
github.com·21h·
Discuss: Hacker News
🐧Linux
Building a SQLite CLI in less than an hour without ever looking at any code
theahura.substack.com·8h·
Discuss: Substack
👨‍💻Programming
Symbol-Level Editing
sysprogs.com·16h·
Discuss: Hacker News
👨‍💻Programming
How to Write Inductive Invariants
quint-lang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
👨‍💻Programming
Carbon Language: An experimental successor to C++
docs.carbon-lang.dev·2d·
Discuss: Hacker News, r/programming
👨‍💻Programming
Cranelift compiler efficiency, CFGs, and a branch peephole optimizer
cfallin.org·5d·
Discuss: Hacker News
🏗️Computer Architecture
SFrame Stack Trace Format
sourceware.org·1d·
Discuss: Hacker News
🐧Linux
Onboarding for Coding Agents
fuzzycomputer.com·10h·
Discuss: Hacker News
👨‍💻Programming
Announcing TypeScript 5.9
devblogs.microsoft.com·1d·
Discuss: Hacker News, r/javascript, r/programming, r/typescript
👨‍💻Programming
miniHDL: A Python Hardware Description Language DSL
nicholas.carlini.com·1d·
Discuss: Hacker News
🏗️Computer Architecture
The /o in Ruby regex stands for “oh the humanity!”
jpcamara.com·9h·
Discuss: Lobsters, Hacker News
👨‍💻Programming
Plague: A Newly Discovered Pam-Based Backdoor for Linux
nextron-systems.com·9h·
Discuss: Hacker News
🐧Linux
Show HN: Cortex – OS-wide AI with instant context input
cortexdesktop.com·7h·
Discuss: Hacker News
🏗️Computer Architecture
Show HN: Shiproom – A Browser-Based Cloud IDE with File-Level Access Control
shiproom.vercel.app·3h·
Discuss: Hacker News
👨‍💻Programming
Lobsters Interview with Icefox
lobste.rs·1d·
Discuss: Lobsters
👨‍💻Programming
Sync primitives are Functionally Complete
kprotty.me·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
👨‍💻Programming
Free Security Audits for Erlang and Elixir open source projects
erlang-solutions.com·1d·
Discuss: Lobsters, Hacker News
🐧Linux
I don't want AI writing creative content, but what about docs?
useskald.com·51m·
Discuss: Hacker News
👨‍💻Programming
The Schwartzian Transform (2016)
perl.com·1d·
Discuss: Hacker News
👨‍💻Programming
The Beman Project: Tomorrow's C++ Standard Libraries Today
bemanproject.org·1d·
Discuss: Hacker News
🐧Linux