Run Containers and VMs Easily With OrbStack GUI
thenewstack.io·17h
📦Container Security
Bending Emacs – Episode 2
irreal.org·1d
🦀Rust Macros
LLMs and reinforcement learning
sicpers.info·22h
⚔️Lean Tactics
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·1d·
Discuss: Hacker News, r/programming
✅Format Verification
Building the Reasoning Engine at Axiom
axiommath.ai·12h·
Discuss: Hacker News
⚔️Lean Tactics
rust-lang/rustfmt
github.com·1d
🦀Rust Macros
Terraform Fileset Function: Filter and Deploy Specific Files
spacelift.io·18h·
Discuss: Hacker News
🧊Arctic Storage
"i like making things—" no. you like things.
kivikakk.ee·2d
📏Code Metrics
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
Markdown2pdf – pure md to pdf transpiler implementation in Rust
github.com·21h·
Discuss: Hacker News
📄PDF Internals
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·18h·
Discuss: Hacker News
🌐Protocol Synthesis
Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.com·1d
⚡Proof Automation
OSD600: Lab 5
dev.to·7h·
Discuss: DEV
❄️Nix Flakes
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
🧬Functional Programming
A Manifesto for the Programming Desperado
github.com·16h·
Discuss: Hacker News
💻Programming languages
Scriptable mutating admission hook?
reddit.com·13h·
Discuss: r/kubernetes
🎯Gradual Typing
Does OpenCode Support Hooks? A Complete Guide to Extensibility
dev.to·1d·
Discuss: DEV
🔓Open Source Software
Show HN: I built a local AI agent desk toy
blog.simone.computer·2d·
Discuss: Hacker News
🎙️Whisper
2025-10-10 # LLMs Are Transpilers
alloc.dev·1d·
Discuss: Hacker News
🔄Language Evolution
`shimmy` Rust inference server uses bindings to a C library... and runs Python scripts in the shell
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros