🔒 Type Safety

Memory Safety, Rust Ownership, Linear Types, Resource Management

Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·5h
🧮Algebraic Archives
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·26m·
Discuss: Lobsters, Hacker News
🔄Sync Engine
Flag this post
Opportunistic Mutation in Roc
roc-lang.org·2d·
Discuss: Hacker News
📏Code Metrics
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·1d·
Discuss: Hacker News
📊Static Analysis
Flag this post
Rust Gets a Garbage Collector
weeklyrust.substack.com·3d·
Discuss: Substack
🦀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
Understanding Type-Based Alias Analysis in C and C++
kdab.com·3d·
Discuss: Hacker News
🚀Compiler Optimizations
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
Myths Programmers Believe about CPU Caches
software.rajivprab.com·8h·
Discuss: Hacker News
⚡Cache Coherence
Flag this post
GSoC '25: Parallel Macro Expansion
lorrens.me·4d·
Discuss: r/rust
🦀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
neilmitchell.blogspot.com·1d·
Discuss: Hacker News
🔤Type Theory
Flag this post
Fil-C: A memory-safe C implementation
lwn.net·2d·
Discuss: Hacker News
🧠Separation Logic
Flag this post
Vectorizing for Fun and Performance
ibm.com·1d·
Discuss: Hacker News
⚡SIMD Vectorization
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·1d·
Discuss: Substack
💻Programming languages
Flag this post
🚀 Go Faster: Cutting the Slack in GC with Smart Memory Allocation
dev.to·2d·
Discuss: DEV
🧠Memory Allocators
Flag this post
Rust 1.91.0 released
lwn.net·11h
🦀Embedded Rust
Flag this post