💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Imposter Game – Ultimate Online Word Deception Experience
impostergame.net·5h·
Discuss: Hacker News
🎯Interactive Provers
Show HN: AuthPress – Advanced WordPress 2FA Plugin
wordpress.org·1d·
Discuss: Hacker News
✅Checksum Validation
Email Spoofing Exploits SPF and DMARC: A Cybersecurity Deep Dive
undercodetesting.com·23h·
Discuss: Hacker News
🌐DNS Security
Best carpet cleaners to remove stains, tried and tested in a real home
the-independent.com·1h
⚡Modern Compression
Overmind bags $6M to predict deployment blast radius before the explosion
theregister.com·1d
⚙️Proof Engineering
Users in SAP's heartland call for greater license transparency
theregister.com·1d·
Discuss: Hacker News
🏛️OAIS Implementation
From beer to useful fats and medicines
phys.org·1d
☕Precision Brewing
Why Your A/B Test Winner Might Just Be Random Noise
towardsdatascience.com·1d
🧪Property-Based Testing
Performance & Scalability Enhancements in Rails 8: Faster Apps, Lower Costs
blog.devops.dev·2d
🔄Sync Engine
Defeating Nondeterminism in LLM Inference
thinkingmachines.ai·6d·
Discuss: Lobsters, Hacker News, r/LocalLLaMA, r/programming
⚡Homebrew CPUs
Vibe Coding Has Turned Senior Devs Into 'AI Babysitters'
developers.slashdot.org·1d
🏠Homelab Automation
GNOME 49 Desktop Environment Released, This Is What’s New
linuxiac.com·1h
🔌Operating system internals
Mathematics Discovering Its Consciousness: Lasso Estimator as Cosmic Backdoor
zakelfassi.com·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Who’s That Pokémon? – The Twist!
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
Five ways students can think about learning so that they can learn more, and how their teachers can help
phys.org·1d
📚Proof Pedagogy
XYO, the DePIN Project With 10M+ Nodes, Launches Blockchain’s First Data-Focused L1
hackernoon.com·1d
🔗Hash Chains
How People Use ChatGPT
nber.org·1d·
Discuss: Hacker News, Hacker News
🎙️Whisper
Generative AI for Financial Narratives: Crafting Compliant, Nuanced & Philosophy-Driven Investment Analysis
dev.to·3d·
Discuss: DEV
✅Format Verification
Engineering Spatial and Molecular Features from Cellular Niches to Inform Predictions of Inflammatory Bowel Disease
arxiv.org·2d
📐Information Geometry
Fine-Grained Cross-View Localization via Local Feature Matching and Monocular Depth Priors
arxiv.org·2d
📐Projective Geometry