💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Collaborations Workshop 2025 Report
software.ac.uk·2d
📇Dublin Core
Codeminer42 Dev Weekly #67
blog.codeminer42.com·2d
❄️Nix Adoption
Semantic Kernel for JavaScript
kerneljs.com·8h·
Discuss: Hacker News
🎙️Whisper
HarmonyOS5-NewsAPP-NewsDetailPage
news.ycombinator.com·1d·
Discuss: Hacker News
📡RSS Extensions
Mssql MCP Server (Preview)
devblogs.microsoft.com·2d·
Discuss: Hacker News
🗄️Database Internals
White-Label AI Platform for SMB
parallellabs.app·1d·
Discuss: Hacker News
🏠Homelab Orchestration
Airtable "Omni" app builder review
rnikhil.com·18h·
Discuss: Hacker News
🌀Brotli Internals
7 AI Agent Frameworks for Machine Learning Workflows in 2025
machinelearningmastery.com·3d
⚡Proof Automation
Programming as Theory Building – The Death and Revival of Understanding
b0a04gl.site·2d·
Discuss: Hacker News
💻Programming languages
adityachandelgit/BookLore
github.com·1d
🔄Sync Engine
OptGM: An Optimized Gate Merging Method to Mitigate NBTI in Digital Circuits
arxiv.org·2d
⚙️Logic Synthesis
HardView: The Fastest Way to Get Detailed Hardware Info in Python
dev.to·15h·
Discuss: DEV
🕸️WebAssembly
RAG vs Fine-tuning vs Prompt Engineering: The Complete Enterprise Guide
dev.to·2d·
Discuss: DEV
🌊Stream Processing
HarmonyOS development: wrapBuilder passing parameters
dev.to·5h·
Discuss: DEV
📰SGML
Big Data Fundamentals: hadoop tutorial
dev.to·7h·
Discuss: DEV
🌊Stream Processing
How to build a MCP (model context protocol) server for UI libraries + repo
dev.to·3d·
Discuss: DEV
🔌Interface Evolution
7 Python Caching Strategies That Boost Application Performance by 70%
dev.to·2d·
Discuss: DEV
⚡Redis Internals
Accelerating Full‑Stack Development with React Kit
dev.to·1d·
Discuss: DEV
🎬WebCodecs API
OpenAI Agents SDK (TS): voice and multi-agent framework, MIT-licensed
github.com·1d·
Discuss: Hacker News
🔓Open Source Software
How GenAI Gets Smarter: The Power of Context with RAG
dev.to·18h·
Discuss: DEV
🌀Brotli Internals