🎰 Treap

Randomized BST, Binary Heap, Cartesian Tree, Priority Search

Unlocking Speed: Certified Symmetry Breaking with Auxiliary Variables
dev.to·1d·
Discuss: DEV
🔓Lock-Free Programming
Flag this post
Memchr: Optimized string search routines for Rust
github.com·3d·
Discuss: Hacker News
🔎Quickwit
Flag this post
A Subsets.py Step-by-Step Visualization! (With Lyrics)
youtube.com·23h
⚡Ruff
Flag this post
Pinning is a kind of static borrow
nadrieril.github.io·1d·
Discuss: r/rust
🦀Rust Lifetimes
Flag this post
Rust Smart Pointers: Safe Memory Management Without Garbage Collection
dev.to·15h·
Discuss: DEV
🦀Rust
Flag this post
Strix Halo, Debian 13@6.16.12&6.17.8, Qwen3Coder-Q8 CTX<=131k, llama.cpp@Vulkan&ROCm, Power & Efficiency
i.redd.it·5h·
Discuss: r/LocalLLaMA, r/linux
🔄Glommio vs Tokio
Flag this post
On Thread Synchronization : Part 1 - A deep dive into mutexes
sayujya-apte.github.io·19h·
Discuss: r/programming
🔄Concurrency Patterns
Flag this post
October 2024 Progress in Guaranteed Safe AI
lesswrong.com·2d
🧮SMT Solvers
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
quickchat.ai·7h·
Discuss: Hacker News
📝NLP
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔢Homomorphic Encryption
Flag this post
An overview of memory management in Go (2021)
medium.com·12h·
Discuss: Hacker News
🗑️Garbage Collection
Flag this post
New Al Zimmermann's Programming Contests: Powerful Sums
azspcs.com·8h·
Discuss: Hacker News
🔢algo
Flag this post
Make Your Data Pipelines 5X Faster with Adaptive Batching
hackernoon.com·2d
🔧Abseil
Flag this post
Claude Code-Sonnet 4.5 >>>>>>> Gemini 3.0 Pro - Antigravity
factory.ai·16h·
Discuss: r/ClaudeAI
🦀Rust
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·10h·
Discuss: Hacker News
🔍Type Inference
Flag this post
Perennial Technical Reading List
parallelprogrammer.substack.com·3d·
Discuss: Substack
🌲Splay Trees
Flag this post
The Engineering Guide to Efficient LLM Inference: Metrics, Memory, and Mathematics
pub.towardsai.net·2d
📊Profile-Guided Optimization
Flag this post
Moirai - Async/await jobs system for game development.
github.com·8h·
Discuss: r/rust
🦀Rust Async
Flag this post
eBPF and Go in Production: Network Monitoring and Security
skoredin.pro·1d·
Discuss: Hacker News
🔍eBPF
Flag this post
lazyfile: a Rust TUI for managing files with rclone
reddit.com·13h·
Discuss: r/rust
🌊Glommio
Flag this post