Pascal? On my Arduino? It’s More Likely Than You Think
hackaday.com·23h
⚡Homebrew CPUs
RFC 8594: The Sunset HTTP Header Field
datatracker.ietf.org·6h·
Discuss: Hacker News
📋Protocol Buffers
Sets & Heaps in Haskell and Rust
mmhaskell.com·3d
🔒Type Safety
Building an AI-Powered Domain Name Generator: Technical Deep Dive
dev.to·8h·
Discuss: DEV
⚡Proof Automation
The Emacs thread-related code needs a maintainer
lists.gnu.org·1d·
Discuss: Hacker News
🦀Rust Macros
How we accelerated Secret Protection engineering with Copilot
github.blog·8h
📜Proof Carrying Code
Can We Build Trustable Hardware? (2019)
bunniestudios.com·13h·
Discuss: Hacker News
🔒Hardware Attestation
Learning Perl in one day and the importance of building strong foundations
guilhermenl.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
OODA Loops and Git Worktrees: 9 Tactical Lessons from AI-Augmented Development
sobu1.substack.com·1d·
Discuss: Substack
🏗️Compiler Archaeology
Forget MCP for local tools in Claude Code I've got CLIT
theservitor.com·4h·
Discuss: Hacker News
⚡Proof Automation
Trying to get error backtraces in rust libraries right
iroh.computer·2d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🔒Linear Types
Nvidia’s nvl72 is insane but who can actually use it?
dev.to·16h·
Discuss: DEV
🖥️Terminal Renaissance
A 20-Year-Old Algorithm Can Help Us Understand Transformer Embeddings
ai.stanford.edu·1d·
Discuss: Hacker News
🧮Vector Embeddings
Many hate on Object-Oriented Programming. But some junior programmers seem to mostly echo what they've heard experienced programmers say. In this blog post I tr...
zylinski.se·2d·
Discuss: Hacker News, r/programming
🔩Systems Programming
Code Surgery: How AI Assistants Make Precise Edits to Your Files
fabianhertwig.com·1d·
Discuss: Hacker News
🔄Language Evolution
Anonymous structavaganza in zig
lirk.top·3d·
Discuss: Hacker News, r/Zig, r/programming
🔗Concatenative Programming
My service was played in Enowars 9: Here is how it went
stoffregen.io·16h·
Discuss: Hacker News
🧪Binary Fuzzing
You're doing context engineering wrong
github.com·1d·
Discuss: Hacker News
🤖Archive Automation
Memory optimizations to reduce CPU costs
ayende.com·3d·
Discuss: Hacker News
📝Text Compression
chronicle - idiomatic, type safe event sourcing framework for Go
reddit.com·9h·
Discuss: r/golang
🔐CBOR