What are the real numbers, really? (2024)
infinitelymore.xyz·14h·
Discuss: Hacker News
🏗️Constructive Mathematics
Code Review Debt
rodolphoarruda.pro.br·20h
📏Code Metrics
Python's with Statement: Manage External Resources Safely
realpython.com·1d
🧠Program Logic
Static vs. Runtime Reachability: Insights from Latio’s On the Record Podcast
socket.dev·1d·
Discuss: Hacker News
👁️System Observability
Reading the Code Around Make_u32_from_two_u16()
cybersect.substack.com·2d·
Discuss: Substack
🔩Systems Programming
Database.news – curated list of database news from authoritative sources
database.news·3d·
Discuss: Lobsters, Hacker News
🦴Database Paleontology
The Agreement Trap: A Developer’s Perspective
thenewstack.io·17h
🔗Blockchain Archives
Show HN: Astro Personal Portfolio and Blog with Perfect Lighthouse Scores
github.com·12h·
Discuss: Hacker News
🦋Format Metamorphosis
GenHuzz: An Efficient Generative Hardware Fuzzer
usenix.org·2d
🧪RISC-V Fuzzing
Decoding Cloud Storage Innovation: A Strategic Guide for Smarter Data Management
hackernoon.com·3d
💾Persistence Strategies
Distributional Robustness in Output Feedback Regret-Optimal Control
arxiv.org·4h
🛡️Error Boundaries
derive_hash_fast: Over 2x faster hashing than #[derive(Hash)]
reddit.com·2d·
Discuss: r/rust
🦀Rust Borrowing
Obfuscated Quantum and Post-Quantum Cryptography
arxiv.org·3d
🔐Quantum Security
Enhanced Air Electrode Optimization via Adaptive Multi-Scale Porosity Modeling
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
Syncthing 2.0 Released
github.com·3d·
Discuss: Lobsters, Hacker News, r/linux
📲syncthing
Day 1: How I'm Building an Enterprise Observability Platform in 30 Days Using Claude Code and Documentation-Driven Development
dev.to·14h·
Discuss: DEV
🔄Reproducible Builds
Adaptive Predictive Maintenance for Hybrid PV-Wind Systems via LSTM-Based Anomaly Detection
dev.to·9h·
Discuss: DEV
📈Time Series
PwC and AWS Build Responsible AI with Automated Reasoning on Amazon Bedrock
aws.amazon.com·1d
⚡Proof Automation
Automated Assessment of Turbine Blade Erosion using Multi-Modal Data Fusion & Deep Learning
dev.to·15h·
Discuss: DEV
🏺Computational Archaeology
SAEMark: Multi-bit LLM Watermarking with Inference-Time Scaling
arxiv.org·3d
⚙️Compression Benchmarking