November 5, 2025
buttondown.comยท1h
๐Ÿ“ฐRSS Archaeology
Flag this post
When Your Hash Becomes a String: Hunting Ruby's Million-to-One Memory Bug
mensfeld.plยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rust Borrowing
Flag this post
Lowering in Reverse
buttondown.comยท1dยท
Discuss: Hacker News
๐Ÿ“Format Grammars
Flag this post
Decreasing code editing failures by 38% with output normalization
blog.sweep.devยท20hยท
Discuss: Hacker News
๐Ÿ”“Reverse engineering
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.toยท8hยท
Discuss: DEV
๐Ÿ“Concrete Syntax
Flag this post
๐Ÿ“ข New Series: Neuro-Symbolic Wednesday
dev.toยท6hยท
Discuss: DEV
๐Ÿ’พBinary Linguistics
Flag this post
Seeing Across Time and Views: Multi-Temporal Cross-View Learning for Robust Video Person Re-Identification
arxiv.orgยท10h
๐Ÿ“ŠLearned Metrics
Flag this post
Quantum-Resistant Federated Learning with Homomorphic Encryption for Medical Imaging Diagnostics
dev.toยท3dยท
Discuss: DEV
๐Ÿ”Homomorphic Encryption
Flag this post
Deploy AI Applications on Google Colab - No Cost, No Server Needed
dev.toยท2dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Flag this post
The Case Against PGVector
alex-jacobs.comยท2dยท
Discuss: Hacker News
๐Ÿ—‚๏ธVector Databases
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.orgยท1d
โœ…Formal Methods
Flag this post
T3: Test-Time Model Merging in VLMs for Zero-Shot Medical Imaging Analysis
arxiv.orgยท2d
๐Ÿง Machine Learning
Flag this post
Functional embeddings enable Aggregation of multi-area SEEG recordings over subjects and sessions
arxiv.orgยท2d
๐Ÿ“ŠLearned Metrics
Flag this post
Sherlock: Reliable and Efficient Agentic Workflow Execution
arxiv.orgยท1d
โšกProof Automation
Flag this post
Predictive Anomaly Detection in HVAC System Coil Performance Using Dynamic Bayesian Networks
dev.toยท2hยท
Discuss: DEV
๐Ÿ“ŠHomelab Monitoring
Flag this post
Interpretable Machine Learning for Reservoir Water Temperatures in the U.S. Red River Basin of the South
arxiv.orgยท1d
๐Ÿง Machine Learning
Flag this post
AI assistant developed for every step of the scientific process
phys.orgยท18h
๐Ÿค–Archive Automation
Flag this post
GAFD-CC: Global-Aware Feature Decoupling with Confidence Calibration for OOD Detection
arxiv.orgยท10h
๐Ÿง Machine Learning
Flag this post
Probabilistic Robustness for Free? Revisiting Training via a Benchmark
arxiv.orgยท1d
๐Ÿง Machine Learning
Flag this post