💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Swatch CEO on tariffs: ‘whole world saw Switzerland panic’
swissinfo.ch·9h
🔌Microcontrollers
Introduction to Nyquist and Lisp Programming
manual.audacityteam.org·6d·
Discuss: Hacker News
🔗Lisp
Things to build with Google's new Nano Banana image editing and generation model
logankilpatrick.medium.com·1d·
Discuss: Hacker News
⚡Homebrew CPUs
Open source Cloud Hypervisor adds (maybe futile) no-AI-code policy
theregister.com·11h
🔓Open Source Software
The Growing Importance of GPU as a Service in Modern Computing
dev.to·5h·
Discuss: DEV
🖥️Modern Terminals
A New Type of Computing
news.ycombinator.com·3d·
Discuss: Hacker News
⚛️Information Physics
Intel Loses One Of Its USB4 / Thunderbolt Linux Driver Maintainers
phoronix.com·1d·
Discuss: Hacker News
🔍eBPF
Constellation Energy: Buy This Nuclear Cash Machine Powering AI
seekingalpha.com·1d
🌊Apache Kafka
FieldCraft
dev.to·3d·
Discuss: DEV
📱QR Archaeology
You won't believe this crazy dream I had....
dev.to·1d·
Discuss: DEV
🏛Digital humanities
Unlocking the Power of RAG: A Beginner's Guide to Retrieval-Augmented Generation
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG
Multithreading: Interview Questions and Practice Problems
dev.to·4d·
Discuss: DEV
🌊Stream Processing
🌍✨ MapShot : From Landmarks to Local Shops: Capture Yourself Anywhere using Gemini API Flash 2.5
dev.to·18h·
Discuss: DEV
🎬WebCodecs
Advanced Vanadium-Based Alloy Optimization via Bayesian Hyperparameter Tuning for Enhanced Magnetocaloric Effect
dev.to·3d·
Discuss: DEV
⚛️Information Physics
AI-Integrated Smart Contracts: The Next Revolution in DeFi Automation
dev.to·3d·
Discuss: DEV
⚡SMT Integration
Tensor Forms of Derivatives of Matrices and their applications in the Solutions to Differential Equations
arxiv.org·4d
🌀Differential Geometry
Optimal Resilience Assessment of Tier-2 Supplier Networks via Bayesian Belief Network-Driven Risk Propagation
dev.to·3d·
Discuss: DEV
🔗Supply Chain
Motion Alchemy: Turning Data into Graceful Robot Movement
dev.to·2d·
Discuss: DEV
🤖Lisp Machines
Smart Elderly Care Assistant
dev.to·2d·
Discuss: DEV
📄Document Streaming
Decoding Team Synergy: How Spatial Intelligence Predicts Project Success by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🌍Cultural Algorithms