Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·21h·
Discuss: Hacker News
🔍Type Inference
Python Fundamentals: build
dev.to·9h·
Discuss: DEV
🔄Reproducible Builds
A Rust shaped hole
ente.io·1d
🦀Rust Macros
Functional Abstract Interpretation
simon.peytonjones.org·21h·
Discuss: Hacker News
🔗Functional Compilers
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·6h·
Discuss: Hacker News, r/programming
🔒Type Safety
Parsing Safetensors File Format in C
leetarxiv.substack.com·6h·
Discuss: Substack, r/programming
✅Format Verification
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·4h
🎯Gradual Typing
oapi-codegen v2.5.0 is out
github.com·4h·
Discuss: r/golang
📜Proof Carrying Code
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·7h
🦀Rust Verification
Future-Proof Programming Languages
log.schemescape.com·1d·
Discuss: Hacker News
💻programming languages
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·23h·
Discuss: Hacker News
🛡️Preservation Proofs
Inheritance over composition, sometimes
death.andgravity.com·14h
🦀Rust Macros
Adding lookbehinds to rust-lang/regex
systemf.epfl.ch·23h·
Discuss: Lobsters, Hacker News
🔍RegEx Engines
Binary Search in a 2D Matrix
mmhaskell.com·1d
📐Error Bounds
The Best C++ Library
mcyoung.xyz·1d·
Discuss: Lobsters, Hacker News, r/cpp
🦀Rust Borrowing
FSM Library for Embedded C Projects
hackster.io·1d
🦀Embedded Rust
Breaking Disassembly — Abusing symbol resolution in Linux programs to obfuscate library calls ️🎭
blog.elmo.sg·3d
🔗Static Linking
Unpythonic: Supercharge your Python with parts of Lisp and Haskell
github.com·2d·
Discuss: Hacker News
🧠Lisp Dialects
A Rust Shaped Hole
mnvr.in·10h·
Discuss: Hacker News
🦀Rust Macros
MatrixTransformer–A Unified Framework for Matrix Transformations
news.ycombinator.com·1d·
Discuss: Hacker News
🕸️Tensor Networks