Inlining in the Glasgow Haskell Compiler:Empirical Investigation and Improvement
era.ed.ac.uk·2d·
Discuss: Hacker News
🔗Functional Compilers
Zig Wants to Replace Go and Rust. Does It Have What It Takes?
dev.to·3h·
Discuss: DEV
🦀Rust Borrowing
Moreutils: The utilities package every Unix/Linux/Mac OS developer should know
rentes.github.io·20h·
Discuss: Hacker News
🐚Shell Automation
Programming Language Escape Hatches
buttondown.com·23h·
Discuss: Hacker News
🦀Rust Macros
Debugging the Tradecraft Garden
rastamouse.me·2h
🔍RISC-V Debug
Show HN: Pipec – utility to compose complex shell pipelines
github.com·1d·
Discuss: Hacker News
📝Shell Parsing
Well-Founded Coalgebras Meet K\"onig's Lemma
arxiv.org·9h
🧮Algebraic Archives
Why “Context Engineering” Matters
dbreunig.com·21h
🌊Streaming Systems
Kernel
web.cs.wpi.edu·1d·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
The Java Programming Language: A Silent Powerhouse
discoverbsd.com·5h
🔌Operating system internals
Show HN: Unied Lightweight Terminal Code and Text Editor with Advanced Commands
news.ycombinator.com·1d·
Discuss: Hacker News
📺Terminal UI
The Clowder Project
golem.ph.utexas.edu·2h
📡Feed Archaeology
Started a "simple" K8s tool. Now I'm drowning in systems complexity. Complexity or skills gap? Maybe both
reddit.com·3h·
Discuss: r/kubernetes
🌐Protocol Synthesis
XOR Crack Kit
kobolt.website·13h
🔐Cryptographic Archaeology
Implementing Bloom Filters in C (2022)
andreinc.net·3h·
Discuss: Hacker News
🌸Bloom Filters
Understanding Prompt Programming Tasks and Questions
arxiv.org·1d
🔗Concatenative Programming
StackSafe: Taming Recursion in Rust Without Stack Overflow
fast.github.io·1d·
Discuss: Hacker News
🔒Type Safety
Interactive Programming in C (2014)
nullprogram.com·1d·
Discuss: Hacker News
🔩Systems Programming
Pointers Are Complicated, Or: What's in a Byte?
ralfj.de·6h·
Discuss: Hacker News
🦀Embedded Rust
A reckless introduction to Hindley-Milner type inference
reasonableapproximation.net·4d·
Discuss: Lobsters, r/programming
🔤Type Theory