💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

The future of touch input? HydroHaptics uses fluid-filled chambers for natural, adaptive feedback
techspot.com·49m
✋Tactile Computing
How to Start Learning Go
pixelstech.net·8h
🔗Concatenative Programming
[$] Gccrs after libcore
lwn.net·3d
🦀Rust Macros
Experiments With Sonnet 4.5's Fiction
lesswrong.com·1d·
Discuss: Hacker News
🔗Concatenative Languages
N8n vs. Windmill vs. Temporal
blog.arcbjorn.com·3d·
Discuss: Hacker News
🌊Stream Processing
Software Architecture Horror Story
blog.mihaisafta.com·2d·
Discuss: Hacker News
🔌Interface Evolution
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·3d·
Discuss: Hacker News, r/programming
✅Format Verification
Graph Neural Networks: A Reality Check on Verifying Readout by Arvind Sundararajan
dev.to·22h·
Discuss: DEV
🧠Machine Learning
What's new in Python 3.14
docs.python.org·5d·
Discuss: Hacker News, Hacker News
🌳Incremental Parsing
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·2h·
Discuss: DEV
🎵Audio ML
Tech With Tim: My top 5 python programming course recommendations
dev.to·8h·
Discuss: DEV
🪟Awesome windows command-line
Simulate, Then Innovate: The AI Revolution Powered by Differentiable Physics
dev.to·14h·
Discuss: DEV
⚡Incremental Computation
Which Heads Matter for Reasoning? RL-Guided KV Cache Compression
arxiv.org·3d
📼Cassette Combinators
Does OpenCode Support Hooks? A Complete Guide to Extensibility
dev.to·3d·
Discuss: DEV
🔓Open Source Software
Automated Fault Isolation & Healing in Linear Control Systems via Multi-Modal Data Fusion & Reinforcement Learning
dev.to·2d·
Discuss: DEV
🛡️Error Boundaries
Conformal Risk Training: End-to-End Optimization of Conformal Risk Control
arxiv.org·8h
🧠Machine Learning
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·22h·
Discuss: DEV
🦀Rust Macros
Predictive Modeling of Neutron Capture Cross-Sections via Bayesian Kernel Regression
dev.to·10h·
Discuss: DEV
🧲Magnetic Resonance
BLINK-Twice: You see, but do you observe? A Reasoning Benchmark on Visual Perception
arxiv.org·8h
📊Learned Metrics
Hierarchical Scheduling for Multi-Vector Image Retrieval
arxiv.org·8h
🧮Vector Embeddings