Rust Smart Pointers: Safe Memory Management Without Garbage Collection
dev.to·16h·
Discuss: DEV
🔒Rust Borrowing
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔶Lattice Theory
Flag this post
10000
jro.sg·18h
📦Executable Size
Flag this post
Transformer Efficiency Hacks: Leverage the Power of Position
dev.to·11h·
Discuss: DEV
🔄Binary Translation
Flag this post
Fast and Specialized Rust CSV Readers Using SIMD Instructions
github.com·2d·
Discuss: Hacker News
📋JSON Parsing
Flag this post
Evolution Strategies at the Hyperscale
eshyperscale.github.io·2d·
Discuss: Hacker News
💬Interactive REPLs
Flag this post
Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.org·9h
🗂️Type Indexing
Flag this post
More Commands in the JJ Toolbox
willhbr.net·18h
🔄Copy Propagation
Flag this post
Unlocking Speed: Certified Symmetry Breaking with Auxiliary Variables
dev.to·1d·
Discuss: DEV
🧮Combinator Calculus
Flag this post
Pinning is a kind of static borrow
nadrieril.github.io·1d·
Discuss: r/rust
🔒Rust Borrowing
Flag this post
Why DETRs are replacing YOLOs for real-time object detection
blog.datameister.ai·19h·
Discuss: Hacker News
🗺️Region Inference
Flag this post
RFT Theorems
reddit.com·1d·
Discuss: r/compsci
🔢Algebraic Datatypes
Flag this post
How to Migrate from Elasticsearch to Qdrant: A Complete Guide with Real-World Solutions
pub.towardsai.net·17h
🔍Query Engines
Flag this post
October 2024 Progress in Guaranteed Safe AI
lesswrong.com·2d
📈Monotonic Logic
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·12h·
Discuss: Hacker News
Type Checking
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·20h·
Discuss: Lobsters
🔧Error Recovery
Flag this post
The one ‘must-have’ Docker container that ended my fear of data loss
xda-developers.com·11h
🔄Deduplication
Flag this post
Zig in 30 Minutes
gist.github.com·12h·
Discuss: Hacker News
🦀MIR Optimization
Flag this post
On Thread Synchronization : Part 1 - A deep dive into mutexes
sayujya-apte.github.io·20h·
Discuss: r/programming
🔗Concurrency Primitives
Flag this post