💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

The State of Adversarial Prompts
blog.securitybreak.io·3d
🎯Threat Hunting
Letters: Column never addresses CTA arguments against AB 715
mercurynews.com·1d
🎯Proof Tactics
How to build AI scaling laws for efficient LLM training and budget maximization
news.mit.edu·1d
🧠Intelligence Compression
I built a fitness app via spec coding with Kiro
devblac.github.io·3d·
Discuss: Hacker News
📏Code Metrics
My career switch from psychologist to open-science advocate
nature.com·13h
📚MARC Evolution
Children's Perception of the World of Technology: Through the Lens of Heidegger
link.springer.com·11h·
Discuss: Hacker News
❄️Nordic Design Philosophy
Cycles in Marsaglia’s mental RNG
johndcook.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Google Ventures doubles down on dev tool startup Blacksmith just 4 months after its seed round
techcrunch.com·15h
🚀Indie Hacking
Top US tech companies are holding developers in closed-source AI ecosystems, Ant Group says
techradar.com·1d
🔓Open Source Software
Nav3 Router: Convenient Navigation on Top of Jetpack Navigation 3
hackernoon.com·14h
📻Homebrew Protocols
Preptember 2025 week 2: GitFichas now supports multi-language
dev.to·2d·
Discuss: DEV
🦀Rust Macros
Predictive Metabolic Reprogramming via Federated Reinforcement Learning in Personalized Weight Management Subscriptions
dev.to·1d·
Discuss: DEV
🎛️Feed Filtering
'Lies-in-the-Loop' Attack Defeats AI Coding Agents
darkreading.com·2d
🧪Protocol Fuzzing
Automated Sentiment-Driven Campaign Optimization for Targeted Cancer Awareness
dev.to·1d·
Discuss: DEV
🎛️Feed Filtering
Remote file server advice
reddit.com·10h·
Discuss: r/homelab
💾Storage Replication
A Quick Look At The AMD Instinct MI355X With ROCm 7.0
phoronix.com·13h·
Discuss: r/LocalLLaMA
🎯Emulator Accuracy
Automated Anomaly Detection in Concentrated Solar Power Thermal Storage via Dynamic Kalman Filtering
dev.to·3d·
Discuss: DEV
📈Entropy Estimation
Square Payroll review
techradar.com·23h
🌊Streaming Systems
Ghost in the Machine: Unmasking 'Disorientation Attacks' on Self-Driving Car Localization
dev.to·7h·
Discuss: DEV
🎯Threat Hunting
Tooling for Maintaining YAML Files
stuartellis.name·3d
📦Package Managers