🚀 Go Faster: Cutting the Slack in GC with Smart Memory Allocation
dev.to·1d·
Discuss: DEV
🔩Systems Programming
Flag this post
No Cap, This Memory Slaps: Breaking Through the OLTP Memory Wall
danglingpointers.substack.com·11h·
Discuss: Substack
Hardware Transactional Memory
Flag this post
SpiderMonkey Garbage Collector
firefox-source-docs.mozilla.org·1d·
Discuss: Hacker News
🧠Separation Logic
Flag this post
Fil-C: A memory-safe C implementation
lwn.net·2d·
Discuss: Hacker News
🧠Separation Logic
Flag this post
A hitchhiker's guide to CUDA programming
seanzhang.me·7h·
Discuss: Hacker News
SIMD Vectorization
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·14h
λLambda Formalization
Flag this post
Myths Programmers Believe about CPU Caches
software.rajivprab.com·2h·
Discuss: Hacker News
Cache Coherence
Flag this post
ESTIMED_hackathon1_SSSUP
hackster.io·15h
🔒WASM Capabilities
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·4h·
Discuss: Hacker News
🔗Functional Compilers
Flag this post
How We Found 7 TiB of Memory Just Sitting Around
render.com·12h·
Discuss: Hacker News
🔩Systems Programming
Flag this post
Notes from RIPE 91
blog.apnic.net·4h
🌐DNS over QUIC
Flag this post
Enhancing Workflow Efficiency via Dynamic Task Prioritization & Adaptive Resource Allocation
dev.to·8h·
Discuss: DEV
🌊Stream Processing
Flag this post
Libevpl – event loop engine with unified abstractions for network and block I/O
github.com·20h·
Discuss: Hacker News
🌊Streaming Systems
Flag this post
Cursor 2.0 shifts to in-house AI with Composer model and parallel agents
the-decoder.com·9h
🎙️Whisper
Flag this post
Stacking Threads
netmeister.org·1d·
Discuss: Hacker News
🔩Systems Programming
Flag this post
Fil-C: A memory-safe C implementation
lwn.net·2d·
🧠Separation Logic
Flag this post
Fil-C: A memory-safe C implementation
lwn.net·2d·
Discuss: Hacker News
🧠Separation Logic
Flag this post
Rust's std and parking_lot mutexes – who wins?
blog.cuongle.dev·11h·
Discuss: Hacker News
🦀Rust Verification
Flag this post
HeraclesQL: A Python DSL for Writing Alerts
hudsonrivertrading.com·8h·
Discuss: Hacker News
Format Verification
Flag this post
Ajla Tutorial
ajla-lang.cz·2h·
Discuss: Hacker News
💧Liquid Types
Flag this post