Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท5h
๐งฎAlgebraic Archives
Flag this post
Opportunistic Mutation in Roc
๐Code Metrics
Flag this post
Scalable Static Analysis Framework โ hardening large C++ codebases (LLVM/Apple)
๐Static Analysis
Flag this post
Rust Gets a Garbage Collector
๐ฆRust Borrowing
Flag this post
Creating a "Two-Face" Rust binary on Linux
synacktiv.comยท2d
๐ฆ Parasitic Storage
Flag this post
PhantomRaven Attack Exploits NPMโs Unchecked HTTP URL Dependency Feature
hackaday.comยท7h
๐ฆPackage Managers
Flag this post
Dependency Management in Database Design
dolthub.comยท2d
๐Topological Sorting
Flag this post
Rust Coreutils 0.3.0: Up to 3.7x Faster Than GNU Tools
heise.deยท3d
๐ฆRust Macros
Flag this post
Three Realisms and The Idea of Sheaves
youtube.comยท20h
๐งฎTheoretical Computer Science
Flag this post
GSoC '25: Parallel Macro Expansion
๐ฆRust Macros
Flag this post
Interfacing assembly with BASIC via DEFUSR, part 7
subethasoftware.comยท15h
๐งRISC-V Assembler
Flag this post
GHC: From Bug to Merge
๐คType Theory
Flag this post
Vectorizing for Fun and Performance
โกSIMD Vectorization
Flag this post
๐ Go Faster: Cutting the Slack in GC with Smart Memory Allocation
๐ง Memory Allocators
Flag this post
Rust 1.91.0 released
lwn.netยท11h
๐ฆEmbedded Rust
Flag this post
Loading...Loading more...