💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Generating C functions and prototypes using macros – part 2
subethasoftware.com·17h
🦀Rust Macros
Winetricks/winetricks
github.com·16h
🔄Sync Engine
Manuel M T Chakravarty: Functional data structures in Swift
justtesting.org·3d
🧬Functional Programming
Trust Spanning Protocol (TSP) Specification
trustoverip.github.io·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
Troubleshooting EKS with MCP: The Good, the Bad, and the Ugly (plus the Setup)
dev.to·7h·
Discuss: DEV
📦Container Security
Explaining Fully Homomorphic Encryption to My Mom
olshansky.medium.com·14h·
Discuss: Hacker News
🔐Homomorphic Encryption
Day 13: AI-Driven Quality Assurance - The Systematic Breakthrough
dev.to·34m·
Discuss: DEV
🔄Reproducible Builds
Revolutionize Your Workflow: Process Compose - The Docker-less Orchestrator You've Been Waiting For!
dev.to·5h·
Discuss: DEV
🏠Homelab Orchestration
Grok: Thousands LOC a day in C is a big deal even if the "coder" uses LLM?
news.ycombinator.com·20h·
Discuss: Hacker News
📏Code Metrics
TypeScript: Enable Strict Mode by Default
github.com·1d·
Discuss: Hacker News
🎯Gradual Typing
Visual AI flow manager for Genkit – Looking for early testers
flowshapr.ai·4h·
Discuss: Hacker News
⚡Proof Automation
Using Gemini CLI as a Subagent for Claude Code
aicodingtools.blog·1d·
Discuss: Hacker News
⚡Proof Automation
Reloading classes in python and shared borders
andrewpwheeler.com·7h·
Discuss: Hacker News
🦀Rust Macros
7 Steps to Mastering No Code Automation with n8n for Data Professionals
kdnuggets.com·1d
🌊Stream Processing
Why I’m Against Claude Code’s Grep-Only Retrieval? It Just Burns Too Many Tokens
milvus.io·1d·
Discuss: Hacker News
🌳Incremental Parsing
Wayland Compositors – Why and How to Handle Privileged Clients (2014)
mupuf.org·1d·
Discuss: Hacker News
🔓Password Cracking
So you want to use SLMs. Can you handle them?
unionailoop.substack.com·5h·
Discuss: Substack
⚙️Batch Processing
The MiniPC Revolution
jadarma.github.io·1d·
Discuss: Hacker News
🖥️Modern Terminals
The MLOps Maturity Playbook: Practical Steps to Production-Ready ML
blog.devops.dev·1d
🔄Reproducible Builds
CSPs - Part 1: How to (Almost) Always Win at Minesweeper
dev.to·1h·
Discuss: DEV
🔲Cellular Automata