Down with template (or not)!
cedardb.com·1d
🎯Gradual Typing
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·1h·
Discuss: Hacker News
Homebrew CPUs
Flag this post
Rust Coreutils 0.3.0: Up to 3.7x Faster Than GNU Tools
heise.de·4d
🦀Rust Macros
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Flag this post
PhantomRaven Attack Exploits NPM’s Unchecked HTTP URL Dependency Feature
hackaday.com·1d
📦Package Managers
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.com·9h·
Discuss: Hacker News
🔒Linear Types
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·2d·
Discuss: Hacker News
📊Static Analysis
Flag this post
Horn Clauses
youtube.com·11h
👑Isabelle/HOL
Flag this post
Oops, My UUIDs Collided
alexsci.com·8h·
Discuss: Hacker News
🧪Binary Fuzzing
Flag this post
Esp-hal 1.0.0 release announcement
developer.espressif.com·1d·
🦀Embedded Rust
Flag this post
Building Up And Sanding Down
endler.dev·1d
🔩Systems Programming
Flag this post
GSoC '25: Parallel Macro Expansion
lorrens.me·5d·
Discuss: r/rust
🦀Rust Macros
Flag this post
Circular dependency check in Python
dev.to·4h·
Discuss: DEV
📏Code Metrics
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·20h
Format Verification
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.org·1d·
🌐WASI
Flag this post
Rust Hobby OS projects worth exploring
oshub.org·16h·
🦀Embedded Rust
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·18h·
🔄Sync Engine
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·2d·
λLambda Encodings
Flag this post
Rust's std and parking_lot mutexes – who wins?
blog.cuongle.dev·1d·
Discuss: Hacker News
🦀Rust Verification
Flag this post
Rust intern saved TikTok $300K
youtube.com·1d
🦀Rust Macros
Flag this post