Linear Types for Programmers
twey.io·2d·
Discuss: Hacker News
💻Programming languages
Axum Is Shaping the Future of Web Development in Rust
dev.to·15h·
Discuss: DEV
🔌Interface Evolution
Week 31 Status
blogs.gnome.org·8h
🎯Gradual Typing
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·20h
⚗️Algebraic Coding
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.com·22h·
Discuss: Hacker News
🦀Rust Verification
Beyond Manually Designed Pruning Policies with Second-Level Performance Prediction: A Pruning Framework for LLMs
arxiv.org·3h
💻Local LLMs
The Generativity Pattern in Rust
arhan.sh·13h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
How Rust powers Proton Authenticator
proton.me·12h
🦀Rust Borrowing
Surgical Rewrite from Go to Rust
wxiaoyun.com·1d·
Discuss: Hacker News
🦀Embedded Rust
In Support Of Shitty Types
lucumr.pocoo.org·12h·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
Challenges of Pseudocode Expansion
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🔗Lisp
SIEVE — a better algorithm than LRU?
blog.apnic.net·2h
💨Cache Analysis
Running C++ on Cloudflare WASM
saus.app·1d·
Discuss: Hacker News
🧩WASM Components
Depth=2
tristanpemble.com·12h·
Discuss: Hacker News
🔗Dependency Resolution
How we made JSON.stringify more than twice as fast
v8.dev·1d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming, r/webdev
🌊Streaming Compression
Let's hax0r a GC… (eventually)
h4x0r.org·16h·
Discuss: Lobsters, Hacker News, r/programming
🧠Memory Allocators
RapiTapir: Type-Safe HTTP APIs for Ruby
github.com·10h·
Discuss: Hacker News
🔌Archive APIs
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·16m
✅Archive Validation
Building highly available services: global anycast PowerDNS cluster
quantum5.ca·12h
🌐DNS Security