💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Salty2FA Takes Phishing Kits to Enterprise Level
darkreading.com·42m
🔓Hacking
Recommended Books for Learning Ruby
rubynewbie.org·3h·
Discuss: Hacker News
📝Concrete Syntax
Six Labors License Enforcement Changes and a New Subscription Tier
sixlabors.com·1d·
Discuss: Hacker News
🔓Open Source Software
Defending Against NPM Supply Chain Attacks - NPM Vulnerability Scanner
blog.verichains.io·5h
📦Package Managers
SQLite's Use of Tcl
tcl-lang.org·2d·
Discuss: Hacker News
💾SQLite
Building a DOOM-like multiplayer shooter in pure SQL
cedardb.com·1d·
Discuss: Lobsters, Hacker News
🧬PostgreSQL Forensics
Why Your Docs-as-Code Toolchain Is Holding You Back
thecontentwrangler.com·20h·
Discuss: Hacker News
🌳Git Internals
NVIDIA Rubin CPX Accelerates Inference Performance and Efficiency for 1M+ Token Context Workloads
developer.nvidia.com·1d·
Discuss: Hacker News
🌊Stream Processing
The risks of cognitive offloading [to AI]
siliconangle.com·2h·
Discuss: Hacker News
⚖️Emulation Ethics
Don't Build an RL Environment Startup
benanderson.work·1d·
Discuss: Hacker News
🌀Brotli Internals
The canonical agent architecture: A while loop with tools
braintrust.dev·2d·
Discuss: Hacker News
⚙️TLA+
How defence is changing and why databases are critical to the shift into AI
dev.to·23h·
Discuss: DEV
💾Persistence Strategies
BatStation: Toward In-Situ Radar Sensing on 5G Base Stations with Zero-Shot Template Generation
arxiv.org·12h
📊PCAP Analysis
Weekly: Questions and advice
reddit.com·6h·
Discuss: r/kubernetes
📰RSS Reading Practices
gcloud MCP Server: Seamless Integration with GCP Resources for AI agents
github.com·44m·
Discuss: Hacker News
⚡gRPC
Artificially Fluent: Swahili AI Performance Benchmarks Between English-Trained and Natively-Trained Datasets
arxiv.org·1d
🎙️Whisper
Exploring the Similarities Between SQL Stored Procedures and Python Functions
dev.to·20h·
Discuss: DEV
🧩SQLite Extensions
What Is MCP—and How FinderBee Is Unlocking Agentic AI
dev.to·12h·
Discuss: DEV
🔌Interface Evolution
MM-DINOv2: Adapting Foundation Models for Multi-Modal Medical Image Analysis
arxiv.org·12h
🤖Advanced OCR
Advanced Composite Material Fatigue Prediction for FCEV Hydrogen Storage Tanks via Bayesian Optimization
dev.to·6h·
Discuss: DEV
🧩WASM Components