💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

Signal Should Improve Visualization of Its Privacy Properties
karl-voit.at·1d
🏺Protocol Archaeology
Open Lineage
usenix.org·3d
🔌Interface Evolution
Jupyter Collaboration has a history slider
blog.jupyter.org·15h·
Discuss: Hacker News
🤖Archive Automation
Moving Compute Intensive Lambdas from AWS to Vercel
moneyonfire.com·1d·
Discuss: Hacker News
🔄Sync Engine
Simplicity • Pragmatic Dave Thomas & Sarah Taraporewalla
youtube.com·3d
⬜Minimalism
Mall Customer Segmentation using ML — A Step-by-Step Tutorial
dev.to·7h·
Discuss: DEV
🧠Machine Learning
DEGS: Deformable Event-based 3D Gaussian Splatting from RGB and Event Stream
arxiv.org·3d
🌀Differential Geometry
The Hidden Power of ChatGPT Prompts Nobody Talks About
dev.to·1d·
Discuss: DEV
⚡Proof Automation
🚀 Unlocking Data with Natural Language: Introducing QueryCraftAI
dev.to·9h·
Discuss: DEV
🧮Datalog
Multi-Level Hybrid Monte Carlo / Deterministic Methods for Particle Transport Problems
arxiv.org·12h
🔗Tailscale
ExPO-HM: Learning to Explain-then-Detect for Hateful Meme Detection
arxiv.org·12h
🔍BitFunnel
Domain-Adapted Pre-trained Language Models for Implicit Information Extraction in Crash Narratives
arxiv.org·12h
🎙️Whisper
Approximately Bisubmodular Regret Minimization in Billboard and Social Media Advertising
arxiv.org·12h
🌊Streaming Algorithms
Re-Identifying K\={a}k\={a} with AI-Automated Video Key Frame Extraction
arxiv.org·12h
🎞️MKV Forensics
Bio-Catalytic Polymer Synthesis via Immobilized Enzyme Cascade for Sustainable Plastics
dev.to·1d·
Discuss: DEV
☕Coffee Chemistry
Fueling the Future: How Big Data and AI are Unlocking Green Hydrogen's Potential
dev.to·10h·
Discuss: DEV
🌊Stream Processing
Stop Tutorial Hell: Build Your First Real Project in 90 Minutes
dev.to·3h·
Discuss: DEV
👑Isabelle
AI and Human Oversight: A Risk-Based Framework for Alignment
arxiv.org·12h
🔲Cellular Automata
Rust vs C, C++, Java & Python — 5 Everyday Programs Compared
dev.to·5d·
Discuss: DEV
🦀Rust Macros
🚀 Unlocking Productivity: AI Tools Every Angular Developer Should Know
dev.to·1d·
Discuss: DEV
🦀Rust Macros