💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

ELA-1477-1 jessie-elts end of life
freexian.com·8h
❄️Nixpkgs
ACNS 2025: Bridging Privacy and Regulation in Cryptocurrencies
esat.kuleuven.be·1d
🔗Hash Chains
Back end For Front end Authentication in FusionAuth
fusionauth.io·7h·
Discuss: Hacker News
🛡️WebAssembly Security
ODFM, an omics data resource from microorganisms associated with fermented foods
nature.com·2d·
Discuss: Hacker News
🏷️Metadata Standards
Why Generalists Will Lead in the Age of AI
opuslabs.substack.com·5h·
Discuss: Substack
🗺️Competency Maps
Run Laravel Pint With a Single Keyboard Shortcut in PhpStorm
dev.to·3h·
Discuss: DEV
⬆️Lambda Lifting
@souldzin: Being polite doesn't mean being inefficient
youtube.com·15h
⚔️Lean Tactics
Introducing the Three Versions of TextCleaner: free , pro, and Pro Enhanced
dev.to·9h·
Discuss: DEV
📝Concrete Syntax
UCCL: An Extensible Software Transport Layer for GPU Networking
github.com·2d·
Discuss: Hacker News
🖥️Modern Terminals
Understanding K8s as a beginner
reddit.com·3d·
Discuss: r/kubernetes
📦Container Security
Engineering Logs & Intelligence: My Internship Journey at Invisibl Cloud Solutions
dev.to·1d·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Performance Test for Percona Transparent Data Encryption (TDE)
andreas.scherbaum.la·1d
🗄️PostgreSQL WAL
Understanding LLMs & Ideating A Decentralized Approach To Solve Challenges
dev.to·19h·
Discuss: DEV
💻Local LLMs
LLM Agents: Your Guide to Smarter Development
dev.to·1d·
Discuss: DEV
🗣️Domain-Specific Languages
Memory Safety and Ultimate Performance Finding Perfect Balance in Rust（1751201279898700）
dev.to·1d·
Discuss: DEV
🔒Type Safety
Built a geospatial game in Go using PostGIS where you plant seeds at real locations
reddit.com·10h·
Discuss: r/golang
🦀Rust Borrowing
SepFormer: Coarse-to-fine Separator Regression Network for Table Structure Recognition
arxiv.org·23h
🔄Burrows-Wheeler
AI Integration and the Traceability Gap: Atlassian vs. Competitors
dev.to·17h·
Discuss: DEV
👁️Observatory Systems
ImplicitQA: Going beyond frames towards Implicit Video Reasoning
arxiv.org·23h
📊Learned Metrics
Hey devs, we're Kinde
dev.to·19h·
Discuss: DEV
🔓Open Source Software