💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

The 6502 CPU’s odd debut
dfarq.homeip.net·2d
🧲RISC-V Archaeology
Domain Fronting is Dead. Long Live Domain Fronting!
praetorian.com·2d
🕵️Domain Enumeration
Setting Boundaries: Getting Zero-Trust Tool Calling Right for Agentic AI
macawsecurity.com·3d·
Discuss: Hacker News
🧪Protocol Fuzzing
Monday Morning Lights: Riordan meeting high expectations. WCAL play next step.
mercurynews.com·3d
📰Feed Readers
How Not to Use AI? (At Work)
hackpravj.com·2d·
Discuss: Hacker News
🧠Intelligence Compression
Here’s the tech powering ICE’s deportation crackdown
techcrunch.com·1h
🔗Data Provenance
Elementary school children also need digital skills
phys.org·2d
🧠Knowledge Management
K2-Think: A Parameter-Efficient Reasoning System
arxiviq.substack.com·6d·
Discuss: Substack
🎯Performance Proofs
DHH is immortal, and costs $200M
danieltenner.com·6d·
Discuss: Hacker News
👑Isabelle
Show HN: Archil's one-click infinite, S3-backed local disks now available
news.ycombinator.com·2d·
Discuss: Hacker News
💿WORM Storage
A Visual Guide to Tuning Gradient Boosted Trees
towardsdatascience.com·3d
🧠Intelligence Compression
Why Agentic AI Orchestration Is Key To Managing AI Complexity
thenewstack.io·3d
🏠Homelab Orchestration
The Future of Compliance: How AI Helps Businesses Stay Ahead of Regulatory Challenges
dev.to·11h·
Discuss: DEV
⚖️Legal Compliance
🏡 DreamNest.AI: AI-Powered House Design, 2D & 3D Plan Audio & Video Walkthroughs & Smart E-Commerce
dev.to·3d·
Discuss: DEV
🎙️Whisper
GHC Developer Blog: GHC 9.14.1-alpha2 is now available
haskell.org·6d
🔗Functional Compilers
Building Prude
dev.to·1d·
Discuss: DEV
🌀Brotli Dictionary
Claude Code vs Codex: Dev Workflow Comparison
dev.to·3d·
Discuss: DEV
🦀Rust Macros
Beyond Bits: Unleashing Intelligence with Brain-Like Computing
dev.to·2d·
Discuss: DEV
🧠Neural Codecs
Build a Smart Ultrasonic Distance Scale with Arduino
hackster.io·1d
⚙️DIY Electronics
InfoSec News Nuggets 9/17/2025
aboutdfir.com·1d
🔓Hacking