The War on Data, 2025 edition
statmodeling.stat.columbia.edu·3h
🌡️Preservation Physics
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·3d
✅Format Verification
CSS Elevator: A Pure CSS State Machine With Floor Navigation
css-tricks.com·3h
🎯Gradual Typing
Vibe Coding from my Smartphone
marcolabarile.me·2d·
Discuss: Hacker News
⚔️Lean Tactics
Google Advances Its Layer-1 Blockchain
coindesk.com·19h·
Discuss: Hacker News
⏳Time Capsule Networks
New general-purpose Amazon EC2 M8i and M8i Flex instances are now available
aws.amazon.com·21h
🔄Sync Engine
Music to Break Models By
matthodges.com·3d·
Discuss: Lobsters, Hacker News
📼Cassette Hacking
LLMs for Software Developers (notes from my talk at NWRUG)
theartandscienceofruby.com·2d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Learning how MCP works by reading logs – and building MCP Interceptor
thomasgauvin.com·2d·
Discuss: Hacker News
⚡gRPC
Linear Dynamics meets Linear MDPs: Closed-Form Optimal Policies via Reinforcement Learning
arxiv.org·3d
🔲Cellular Automata
Understanding MCP and Its Impact on AI
dev.to·11h·
Discuss: DEV
🔌Interface Evolution
Some thoughts on LLMs and Software Development
martinfowler.com·1d·
Discuss: Lobsters, Hacker News, r/programming
⚙️Proof Engineering
Nvidia’s nvl72 is insane but who can actually use it?
dev.to·1d·
Discuss: DEV
🖥️Terminal Renaissance
ESP32 Based Parking Assistant V3
hackster.io·7h
🔌Single Board PC
ATM-GAD: Adaptive Temporal Motif Graph Anomaly Detection for Financial Transaction Networks
arxiv.org·13h
🔍Vector Forensics
Predictive Skin Sensitization Assessment via Multi-modal Feature Fusion and Bayesian Network Inference
dev.to·22h·
Discuss: DEV
🧠Machine Learning
Using Agents for Business Development
dev.to·10h·
Discuss: DEV
⚡Proof Automation
Recurrent Transformer U-Net Surrogate for Flow Modeling and Data Assimilation in Subsurface Formations with Faults
arxiv.org·3d
⚡Incremental Computation
Learning ON Large Datasets Using Bit-String Trees
arxiv.org·3d
🗂️Vector Databases
The Next Layer: Augmenting Foundation Models with Structure-Preserving and Attention-Guided Learning for Local Patches to Global Context Awareness in Computatio...
arxiv.org·1d
🧠Machine Learning