Probabilistic Data Structures, Set Membership, False Positives, Space Efficiency

OpenBSD proposes BPF socket filtering to enhance daemon security
discoverbsd.com·23h
🛡️eBPF Security
Flag this post
Issue 496
haskellweekly.news·1d
🔗Functional Compilers
Flag this post
Go vs Kotlin: Server throughput
reddit.com·14h·
Discuss: r/golang
Redis Internals
Flag this post
Show HN: LogLens, a fast alternative to grep – jq for structured logs
getloglens.com·1d·
Discuss: Hacker News
📝Log Parsing
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·1d
Format Verification
Flag this post
Making Every 5x5 Nonogram: Part 1
patreon.com·11h·
Discuss: Hacker News
🧮Z3 Solver
Flag this post
Don't give Postgres too much memory
vondra.me·19h·
Discuss: Hacker News
🦀Rusty Databases
Flag this post
Autonomous Anomaly Detection in LiDAR-Based Autonomous Navigation for Jetson AGX Orin
dev.to·6h·
Discuss: DEV
🌀Riemannian Computing
Flag this post
Fortytwo: Swarm Inference with Peer-Ranked Consensus
arxiv.org·2d
🤝Consensus Algorithms
Flag this post
De Bruijn Numerals
text.marvinborner.de·1d·
Discuss: Hacker News
λLambda Encodings
Flag this post
Per-request isolation in TinyKVM explained
fwsgonzo.medium.com·1d·
Discuss: Hacker News
🌊Streaming Systems
Flag this post
AI Powered Search Optimization: Building the Next Generation of Intelligent Search Systems
open.forem.com·19h·
Discuss: DEV
📊Feed Optimization
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·2d·
🦀Rust Borrowing
Flag this post
The Impossible Optimization, and the Metaprogramming to Achieve It
verdagon.dev·4d·
🧪Binary Fuzzing
Flag this post
Quantum Gated Recurrent GAN with Gaussian Uncertainty for Network Anomaly Detection
arxiv.org·1d
🔍Vector Forensics
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·1d·
💧Liquid Types
Flag this post
Breaking Monoliths Taught Me How to Fix Data
blog.matterbeam.com·16h·
Discuss: Hacker News
👁️Observatory Systems
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.com·1d·
Discuss: Hacker News
🦀Rust Verification
Flag this post
Automated Verification of Multi-Modal Scientific Data Integrity through Hyperdimensional Cognitive Mapping
dev.to·17h·
Discuss: DEV
📰Content Curation
Flag this post