⚡ LZ4 Streaming

Real-time Compression, Block Independence, Speed Optimization, Memory Efficiency

Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·1d
✅Format Verification
FOSS Weekly #25.35: New Gerhwin DE, grep Command, Nitro init system, KDE Customization and More Linux Stuff
itsfoss.com·5h
🐧FOSS
Introducing TypeKro
yehudacohen.substack.com·11h·
Discuss: Substack
🏠Homelab Orchestration
The Best Programmer I Know • Daniel Terhorst-North • GOTO 2024
youtube.com·23h
🦀Rust Macros
Bland, easy to follow, for fans of everything: what has the Netflix algorithm done to our films?
theguardian.com·7h·
Discuss: Hacker News
🤖AI Curation
Hot Reloading for Rust Gamedev
rygoldstein.com·2d·
Discuss: Hacker News
🦀Rust Macros
We Built It, Then We Freed It: Telemetry Harbor Goes Open Source
telemetryharbor.com·15h·
Discuss: Hacker News, r/golang, r/opensource, r/programming, r/selfhosted, r/webdev
🔓Open Source Software
I reverse-engineered a bug in my PPO agent that gave it a 9x performance boost
theprincipledagent.com·1d·
Discuss: Hacker News
⚡Performance Mythology
Pascal? On my Arduino? It’s More Likely Than You Think
hackaday.com·9h
⚡Homebrew CPUs
Show HN: Hielo – a fast, lightweight tool for managing Apache Iceberg tables
github.com·15h·
Discuss: Hacker News
💿ZFS Archaeology
Preliminary Study on Space Utilization and Emergent Behaviors of Group vs. Single Pedestrians in Real-World Trajectories
arxiv.org·1d
🔲Cellular Automata
So I’m building a homelab, first timer.
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
home server to host an ARK: Survival Ascended cluster, Minecraft server, and a NAS
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
SOC-CERT: Automated Threat Intelligence System with n8n & AI
dev.to·22h·
Discuss: DEV
🏠Homelab Pentesting
RDDM: Practicing RAW Domain Diffusion Model for Real-world Image Restoration
arxiv.org·1d
🖼️JPEG XL
Stress-testing cross-cancer generalizability of 3D nnU-Net for PET-CT tumor segmentation: multi-cohort evaluation with novel oesophageal and lung cancer dataset...
arxiv.org·1d
🧠Machine Learning
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com·5d
🔗Tailscale
GitHub – 2swap/swaptube: YouTube video renderer
github.com·5d·
Discuss: Hacker News
📦MKV Containers
FPGA-based Game Bub handheld console supports original Nintendo cartridge, wireless controllers (Crowdfunding)
cnx-software.com·1d
🎮Gameboy Emulation
Evaluating Retrieval-Augmented Generation Strategies for Large Language Models in Travel Mode Choice Prediction
arxiv.org·2d
🧠Machine Learning