💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

New RNA tool to advance cancer and infectious disease research and treatment
news.mit.edu·11h
📄Document Digitization
Leveraging Copilot to rapidly refactor test automation
blog.scottlogic.com·2d
🔄Language Evolution
OpenAI and Oracle Ink Historic $300 Billion Cloud Computing Deal
developers.slashdot.org·7h
🏠Homelab Federation
Windows KASLR Bypass – CVE-2025-53136
crowdfense.com·15h·
Discuss: Hacker News
🛡️eBPF Security
'Make invalid states representable' considered harmful
seangoedecke.com·4d·
Discuss: Lobsters, Hacker News, r/programming
🛡️Preservation Proofs
Consensus Reality
en.wikipedia.org·1h·
Discuss: Hacker News
🏛️Philosophy
Narrow-linewidth laser on a chip sets new standard for frequency purity
phys.org·15h
🔬Optical Physics
Detection Engineering: Practicing Detection-as-Code – Versioning – Part 5
blog.nviso.eu·3d
✅Archive Validation
Unlocking Team Superpowers: The Secret Language of Spatial Harmony by Arvind Sundararajan
dev.to·1h·
Discuss: DEV
🔲Cellular Automata
How to Build an AI Budget-Planning Optimizer for Your 2026 CAPEX Review: LangGraph, FastAPI, and n8n
towardsdatascience.com·1d
🚀Query Optimization
Nuclear Data Adjustment for Nonlinear Applications in the OECD/NEA WPNCS SG14 Benchmark -- A Bayesian Inverse UQ-based Approach for Data Assimilation
arxiv.org·2d
✨Effect Handlers
I’m 20, close to becoming a Rust compiler team member - what would you do in my place?
reddit.com·2d·
Discuss: r/rust
🦀Rust Macros
Grasp Like Humans: Learning Generalizable Multi-Fingered Grasping from Human Proprioceptive Sensorimotor Integration
arxiv.org·1d
✋Tactile Computing
Signals in the Noise: Decoding Unexpected Engagement Patterns on Twitter
arxiv.org·1d
⚖️Feed Ranking
AI Development Is Stuck in 1996. Here’s How to Get to the Future.
thenewstack.io·2d
🔌Interface Evolution
Besting Good--Turing: Optimality of Non-Parametric Maximum Likelihood for Distribution Estimation
arxiv.org·2d
🧮Kolmogorov Bounds
Enhanced Microfluidic Heat Sink Design via Graph Neural Network Optimization of Channel Geometries
dev.to·3d·
Discuss: DEV
⚡CPU Microarchitecture
Agent Diary: Sep 11, 2025 - The Great Test Cleanup: When Deleting 1,712 Lines Feels Like Victory
dev.to·1d·
Discuss: DEV
🐛Fuzzing
5 AI Prompting Secrets: What Big Techs Know About Talking to AI
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Memexes, mountain lakes, and the serendipity of old ideas
interconnected.org·18h·
Discuss: Hacker News
🌱Personal Wikis