💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Generating C functions and prototypes using macros – part 2
subethasoftware.com·2d
🦀Rust Macros
Trust Spanning Protocol (TSP) Specification
trustoverip.github.io·2d·
Discuss: Hacker News
🌳Archive Merkle Trees
Explaining Fully Homomorphic Encryption to My Mom
olshansky.medium.com·2d·
Discuss: Hacker News
🔐Homomorphic Encryption
Hot Reloading for Rust Gamedev
rygoldstein.com·2d·
Discuss: Hacker News
🦀Rust Macros
Heartbreak as a Service?
syntheticauth.ai·9h·
Discuss: Hacker News
🏛Digital humanities
So you want to use SLMs. Can you handle them?
unionailoop.substack.com·1d·
Discuss: Substack
⚙️Batch Processing
Paradigms of Intelligence Team
github.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Regarding formatting issues with AI-generated copy
dev.to·22h·
Discuss: DEV
✅Format Verification
Nix Presents the First Stable Release of the Official Nix Formatter
github.com·16h·
Discuss: Hacker News
❄Nix
ISACL: Internal State Analyzer for Copyrighted Training Data Leakage
arxiv.org·2d
💻Local LLMs
Real-Time Anomaly Detection in Friction Stir Welding using Multi-Modal Sensor Fusion and Bayesian Inference
dev.to·5h·
Discuss: DEV
📄Document Digitization
SWiFT: Soft-Mask Weight Fine-tuning for Bias Mitigation
arxiv.org·1d
📊Rate-Distortion Theory
Some anecdotes from vibe-coding a Sublime Text plugin
willett.io·3d·
Discuss: Hacker News
🔗Concatenative Languages
Nil Pointer Panic at 3 AM: Choosing the Right Go Database Tool to Save Your Sleep
dev.to·1d·
Discuss: DEV
🧩SQLite Extensions
Vibe Coding Doesn't Replace Tech Skills; It Requires More of Them
pawelbrodzinski.substack.com·15h·
Discuss: Substack
📏Code Metrics
A Defect Classification Framework for AI-Based Software Systems (AI-ODC)
arxiv.org·2d
👁️System Observability
Recurrent Transformer U-Net Surrogate for Flow Modeling and Data Assimilation in Subsurface Formations with Faults
arxiv.org·2d
⚡Incremental Computation
I built a production app in a week by managing a swarm of 20 AI agents
zachwills.net·11h·
Discuss: Hacker News
🤖Network Automation
How to Develop Powerful Internal LLM Benchmarks
towardsdatascience.com·1d
🔍Concolic Testing
Why Clean Code Feels Invisible (And That's the Point)
dev.to·22h·
Discuss: DEV
📏Code Metrics