💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

CAPIF 4: Advancing Internet Technologies in Central Asia
labs.ripe.net·1h
🔐Swedish Cryptography
SQL performance improvements: finding the right queries to fix
ohdear.app·1d·
Discuss: Hacker News
🗄️Database Internals
Mac Studio: Problems installing macOS 26 Tahoe
heise.de·3h
🖥️Vintage Macintosh
shell: piping concatenated commands
michal.sapka.pl·19h
🐚Shell Calculus
Are Five Senses Holding Us Back? Scientists Say We Could Use Seven
scitechdaily.com·15h
🌐Archive Topology
The UK is getting a bite-sized version of Stargate, a sweeping AI infrastructure project from OpenAI and Nvidia
businessinsider.com·1d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Powering AI commerce with the new Agent Payments Protocol (AP2)
cloud.google.com·2d·
Discuss: Hacker News
🔌Interface Evolution
Machines of Loving Grace
darioamodei.com·3d·
Discuss: Hacker News
🤖AI Curation
Working to make fusion a viable energy source
news.mit.edu·23h
🌡️Preservation Physics
New AI tool can predict a person’s risk of more than 1,000 diseases, say experts
theguardian.com·23h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Scattered Spider hackers return to hit more victims - despite retirement claims
techradar.com·24m
🔓Hacking
AI has turned college exams into a 'wicked problem' with no obvious fix, researchers warn
businessinsider.com·5h
🔍Vector Forensics
DELL PowerEdge R630 compatibility with vSphere 8.0?
reddit.com·17h·
Discuss: r/homelab
🖥Home Lab Setup
Lost in Data: How Older Adults Perceive and Navigate Health Data Representations
arxiv.org·2d
🎨Nordic UX
ResidualViT for Efficient Temporally Dense Video Encoding
arxiv.org·1d
🎬Video Codecs
Programmable CAF-Microbot Swarms for Targeted Cancer Cell Ablation via Dynamic Chemokine Modulation
dev.to·2d·
Discuss: DEV
🔲Cellular Automata
Enhanced Spectral Anomaly Detection via Multi-Resolution Bayesian Fusion
dev.to·3d·
Discuss: DEV
📊Spectrograms
Imitation Learning as Return Distribution Matching
arxiv.org·2d
📊Learned Metrics
Hyperdimensional Prime Editing Optimization: Predictive Modeling for Cystic Fibrosis Gene Correction
dev.to·3d·
Discuss: DEV
🧬Copy Number Variants
From Childhood Inspiration to Reality: Building My 2D Platformer Game With Kiro
dev.to·4d·
Discuss: DEV
📼Retro Games