💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Git's hidden simplicity: what's behind every commit
allvpv.substack.com·1d·
Discuss: Substack
🌳Git Internals
Scaling and mechanical optimality of bristled wings in microinsects
pnas.org·1d·
Discuss: Hacker News
🔗Tailscale
Browser Support in 2025: What new features can I safely use?
caseywatts.com·3d·
Discuss: Hacker News
🌐Web Standards
Visualising Topology Inspired Computing Algorithms
antifold.com·5d·
Discuss: Hacker News
📐Mathematical Art
Preventing the NPM Debug/Chalk Compromise in 200 lines of JavaScript
getvouchsafe.org·4d·
Discuss: Hacker News, r/javascript, r/node
📦Package Managers
Magical systems thinking
worksinprogress.co·2d·
Discuss: Hacker News, Hacker News
⚙️systems theory
Nvidia rumored to ditch its first-gen custom memory form factor for newer version — SOCAMM1 for faster ‘SOCAMM2’ standard
tomshardware.com·19h
💾Persistent Memory
Show HN: CarbonCodeX – AI Coding Assistant Built for Web Developers
carboncodex.app·2d·
Discuss: Hacker News
🎬WebCodecs
Nvidia's context-optimized Rubin CPX GPUs were inevitable
theregister.com·4d·
Discuss: Hacker News
🖥️Modern Terminals
LLMs as Retrieval and Recommendation Engines
medium.com·2d·
Discuss: Hacker News
🔍Information Retrieval
Cracking Forensics CTFs 1.0 — picoCTF
infosecwriteups.com·3d
🔍Binary Forensics
Show HN: Implementation and ablation of the Hierarchical Reasoning Model (HRM)
github.com·4d·
Discuss: Hacker News
⚡Incremental Computation
Advanced Ground-Penetrating Radar Signal Reconstruction for Subsurface Martian Aquifer Mapping
dev.to·1d·
Discuss: DEV
🧲Magnetic Resonance
The subjective experience of coding in different programming languages
interconnected.org·4d·
Discuss: Hacker News
💻Programming languages
KDE Frameworks 6.18 Is Out, Here’s What’s New
linuxiac.com·2d
🔓Open Source Software
Wear Obscure Folk Arts
dev.to·19h·
Discuss: DEV
🌍Cultural Computing
Home Builder
dev.to·3h·
Discuss: DEV
🎙️Whisper
Why the Oracle-OpenAI deal caught Wall Street by surprise
techcrunch.com·2d
🖥️Terminal Renaissance
gRPC API Management With a Kubernetes Native API Management Platform - Dushan Abeyruwan, WSO2
youtube.com·2d
⚡gRPC
Unlock the Power of Real-Time AI: Decoupling Perception for Lightning-Fast Response
dev.to·1d·
Discuss: DEV
🌊Stream Processing