Future-Proof Programming Languages
log.schemescape.com·1d·
Discuss: Hacker News
💻programming languages
From chaos to clarity: Using GitHub Copilot agents to improve developer workflows
github.blog·7h
🔓Open Source Software
Machine Code Isn't Scary
jimmyhmiller.github.io·1d
🔤Character Encoding
FSM Library for Embedded C Projects
hackster.io·1d
🦀Embedded Rust
Reversing Google's New VM-Based Integrity Protection: PairIP
blog.byterialab.com·1h·
Discuss: Hacker News
🌐WASI
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·6h
🎯Gradual Typing
Functional Abstract Interpretation
simon.peytonjones.org·23h·
Discuss: Hacker News
🔗Functional Compilers
How I Doubled My Lookup Performance with a Bitwise Trick
maltsev.space·3h
🔢Bitwise Algorithms
RFC 7711 - PKIX over Secure HTTP (POSH)
datatracker.ietf.org·2d
🌐DNS Security
Python Fundamentals: build
dev.to·11h·
Discuss: DEV
🔄Reproducible Builds
Connecting legibility to theory building in programming
ashwinsundar.com·7h·
Discuss: Hacker News
💻Programming languages
A Rust shaped hole
ente.io·1d
🦀Rust Macros
Parsing Safetensors File Format in C
leetarxiv.substack.com·8h·
Discuss: Substack, r/programming
✅Format Verification
oapi-codegen v2.5.0 is out
github.com·6h·
Discuss: r/golang
🌳Incremental Parsing
A distributed systems reliability glossary
antithesis.com·8h·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Android Malware Konfety evolves with ZIP manipulation and dynamic loading
securityaffairs.com·6h
🏺ZIP Archaeology
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·1d
🧠Computational Logic
Rust Language Cheat Sheet
cheats.rs·3d·
Discuss: Hacker News
🦀Rust Macros
[$] Enforcement (or not) for module-specific exported symbols
lwn.net·9h
🔩Systems Programming
The FIPS 140-3 Go Cryptographic Module
go.dev·23h·
Discuss: Hacker News, r/programming
🌊Stream Ciphers