💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Bay Area prep football 2025: Where to find our complete Week 3 coverage
mercurynews.com·1h
🎬WebCodecs
DF/IR Isn’t About Computers. It’s About Hunting Humans.
brettshavers.com·21h
🔗Data Provenance
The MCP Maintainers Meet In New York
den.dev·4d
🔌Interface Evolution
The Sacred Conspiracy by Georges Bataille (1936)
marxists.org·21h·
Discuss: Hacker News
🏛️Philosophy
Norways first adventure game part 1
spillhistorie.no·2d·
Discuss: Hacker News
🕹️Retro Gaming
Show HN: Root Managed Services
rootmanagedservices.com·2d·
Discuss: Hacker News
🔌Operating system internals
Quantum Algorithm Zoo
quantumalgorithmzoo.org·3d·
Discuss: Hacker News
⚛️Quantum Algorithms
Demystifying Tensor Parallelism
robotchinwag.com·5d·
Discuss: Hacker News
🕸️Tensor Networks
I wonder if AI has shower thoughts
medium.com·3h·
Discuss: Hacker News
🔲Cellular Automata
The Linear Reliability Channel
arxiv.org·3d
⚽Sphere Packing
Seedream4.0 AI Tool: ByteDance Challenges DeepMind
dev.to·7h·
Discuss: DEV
🧬Bitstream Evolution
Python Mystery Quiz: Can You Crack This Code?
dev.to·3d·
Discuss: DEV
🔗Concatenative Programming
Vibe Coding Fails Enterprise Reality Check
thenewstack.io·3d
📏Code Metrics
LearnSphere: Transforming Every Syllabus into a Personalized Learning Journey 📚🚀✨
dev.to·3d·
Discuss: DEV
🤖AI Curation
Automated Analysis of X-ray Scattering Anomalies using Bayesian Neural Networks for Material Characterization
dev.to·3d·
Discuss: DEV
🔍Vector Forensics
Git’s hidden simplicity: what’s behind every commit
allvpv.substack.com·1d·
Discuss: Substack
🌳Git Internals
Unlock the Power of Voice AI: Revolutionizing Restaurant Operations with PanaLabs.ai
dev.to·13h·
Discuss: DEV
🎙️Whisper
Predictive Building Envelope Performance Optimization via Hybrid FEA-ANN Framework
dev.to·2d·
Discuss: DEV
⚡Incremental Computation
**Modern Python API Development: FastAPI, GraphQL, and Production-Ready Best Practices**
dev.to·6d·
Discuss: DEV
🔌Archive APIs
From Typhoon to Action: A Purism Playbook for Hardening Your Defenses
puri.sm·3d
🔐HSM Integration