💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Generating C functions and prototypes using macros – part 2
subethasoftware.com·1d
🦀Rust Macros
[$] The need to reliably preserve our community history
lwn.net·1h
📰RSS Archaeology
Drama Model Inference Efficiency Boosted by 1.7x-2.3x
pytorch.org·15h·
Discuss: Hacker News
🚀SIMD Text Processing
Detecting and countering misuse of AI: August 2025
anthropic.com·14h·
Discuss: Hacker News
🕵️Vector Smuggling
The MiniPC Revolution
jadarma.github.io·1d·
Discuss: Hacker News
🖥️Modern Terminals
Delta Lake: Transform Pandas Prototypes into Production
codecut.ai·20h·
Discuss: Hacker News
📐Delta Encoding
Is DuckDB Ready for Primetime?
exasol.com·4h·
Discuss: Hacker News
🌊Streaming Databases
Wayland Compositors – Why and How to Handle Privileged Clients (2014)
mupuf.org·2d·
Discuss: Hacker News
🔓Password Cracking
Music to Break Models By
matthodges.com·1d·
Discuss: Hacker News
📼Cassette Hacking
Some anecdotes from vibe-coding a Sublime Text plugin
willett.io·2d·
Discuss: Hacker News
🔗Concatenative Languages
Vibe Coding Doesn't Replace Tech Skills; It Requires More of Them
pawelbrodzinski.substack.com·1h·
Discuss: Substack
📏Code Metrics
Nil Pointer Panic at 3 AM: Choosing the Right Go Database Tool to Save Your Sleep
dev.to·22h·
Discuss: DEV
🧩SQLite Extensions
Show HN: Web2mcp – Auto-generate an MCP for any web app
github.com·12h·
Discuss: Hacker News
⚡gRPC
A Defect Classification Framework for AI-Based Software Systems (AI-ODC)
arxiv.org·1d
👁️System Observability
Recurrent Transformer U-Net Surrogate for Flow Modeling and Data Assimilation in Subsurface Formations with Faults
arxiv.org·1d
⚡Incremental Computation
Latent Self-Consistency for Reliable Majority-Set Selection in Short- and Long-Answer Reasoning
arxiv.org·10h
🧠Intelligence Compression
Why Clean Code Feels Invisible (And That's the Point)
dev.to·9h·
Discuss: DEV
📏Code Metrics
I made a simple LAN scanner in Rust
github.com·5h·
Discuss: Hacker News
📻Homebrew Protocols
🚀 Learning Update
dev.to·1d·
Discuss: DEV
🌳Incremental Parsing
The TTY Protocol
sgt.hootr.club·10h·
Discuss: Hacker News
📟Terminals