💧 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·3h·
Discuss: r/technews
✋Tactile Computing
How to Start Learning Go
pixelstech.net·11h
🔗Concatenative Programming
[$] Gccrs after libcore
lwn.net·3d
🦀Rust Macros
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·3d·
Discuss: Hacker News, r/programming
✅Format Verification
Securing Kubernetes MCP Server with Pomerium and Google OAuth 2.0
reddit.com·1d·
Discuss: r/kubernetes
📦Container Security
🚀 Ansible Flask Web App Deployment on AWS
dev.to·3d·
Discuss: DEV
🤖Network Automation
Stress-Testing Model Specs Reveals Character Differences among Language Models
arxiv.org·3d
📋Document Grammar
Enhanced MALDI-TOF Peptide Identification via Graph Neural Network Calibration
dev.to·4h·
Discuss: DEV
🔍Vector Forensics
CrisiText: A dataset of warning messages for LLM training in emergency communication
arxiv.org·10h
🧮Prolog Parsing
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·4h·
Discuss: DEV
🎵Audio ML
Tech With Tim: My top 5 python programming course recommendations
dev.to·10h·
Discuss: DEV
🪟Awesome windows command-line
Simulate, Then Innovate: The AI Revolution Powered by Differentiable Physics
dev.to·16h·
Discuss: DEV
⚡Incremental Computation
I created and open sourced an LLM and backend orchestration system
reddit.com·4d·
Discuss: r/golang
🌀Brotli Internals
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·10h
🧠Machine Learning
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·1d·
Discuss: DEV
🦀Rust Macros
Predictive Modeling of Neutron Capture Cross-Sections via Bayesian Kernel Regression
dev.to·12h·
Discuss: DEV
🧲Magnetic Resonance