wastrel, a profligate implementation of webassembly
🌐WASI
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
🦀Rust Borrowing
Flag this post
GHC: From Bug to Merge
🔤Type Theory
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·2d
💻Programming languages
Flag this post
Interfacing assembly with BASIC via DEFUSR, part 7
subethasoftware.com·10h
🔧RISC-V Assembler
Flag this post
You Don't Need Types in Ruby
💧Liquid Types
Flag this post
From VS Code to Helix
🦀Rust Macros
Flag this post
TypeScript Overtakes Python and JavaScript To Claim Top Spot on GitHub
developers.slashdot.org·9h
🔄Language Evolution
Flag this post
From Brazil with Love: New Tactics from Lampion
bitsight.com·6h
🌳Archive Merkle Trees
Flag this post
My Wishlist for PHP in 2026
📝Concrete Syntax
Flag this post
Dr StrangeTranspile, Or: How I Learned to Stop Worrying and Love the SBoM
🧪Binary Fuzzing
Flag this post
Tik Tok saved $300000 per year in computing costs by having an intern partially rewrite a microservice in Rust.
🔩Systems Programming
Flag this post
Tencent/WeKnora
github.com·2h
🤖Archive Automation
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
📊Static Analysis
Flag this post
Loading...Loading more...