💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Notes of cyber inspector: three clusters of threat in cyberspace
securelist.com·4h
🕵️Penetration Testing
The documentation says that CompanyName version information is required, but my program seems to work without it, so how required is it?
devblogs.microsoft.com·4h
🏺Format Archaeology
Entitlements and billing should be the same system
getlago.com·4h·
Discuss: Hacker News
🌐IPFS
Deep Copy
developer.mozilla.org·23h·
Discuss: Hacker News
🌳Persistent Data Structures
SAP Patchday September 2025 fixes more than twenty gaps – four HotNews
heise.de·1d
✅Archive Fixity
Reading The Gentle Singularity Through a Sustainability Lens
blog.scottlogic.com·1d
🌡️Preservation Thermodynamics
This Week In React #249: TanStack, Fast-Refresh, MDX, Storybook, nuqs, AI Elements, Three-Fiber | Expo, Legend List, Uniwind, New Arch, Rock, Screens, IAP, Glas...
thisweekinreact.com·18h
🎬WebCodecs API
Manifesto for AI Software Development: Code Is Cattle, Not Pets
metamagic.substack.com·2d·
Discuss: Substack
📏Code Metrics
🚀 SQL Stored Procedures vs. Python Functions: Two Worlds, Same Idea
dev.to·2d·
Discuss: DEV
🧮Datalog
Cargo-remark: view LLVM optimization remarks for Rust
github.com·2d·
Discuss: Hacker News
🦀Rust Macros
JFrog Continues Leaping at SwampUP
devops.com·1d
🔓Open Source Software
Prototyping an AI-powered Tool for Energy Efficiency in New Zealand Homes
arxiv.org·1d
🌍Cultural Algorithms
Semantically Reflected Programs
arxiv.org·6d
🔢Denotational Semantics
Fault Tolerant Control of a Quadcopter using Reinforcement Learning
arxiv.org·14h
🛡️Error Boundaries
Revolutionizing Cybersecurity with AI: The CAI Framework
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Split Conformal Prediction in the Function Space with Neural Operators
arxiv.org·2d
🧮Kolmogorov Bounds
Context Engineering for Trustworthiness: Rescorla Wagner Steering Under Mixed and Inappropriate Contexts
arxiv.org·2d
🧠Intelligence Compression
Borrowed Brains: Are Pre-Trained Models a Developer's Best Friend... or Worst Nightmare? by Arvind Sundararajan
dev.to·22h·
Discuss: DEV
🎵Audio ML
A multi-strategy improved gazelle optimization algorithm for solving numerical optimization and engineering applications
arxiv.org·14h
⚡Incremental Computation
DevLink: The Peer-to-Peer Toolkit for Frictionless Development
dev.to·3d·
Discuss: DEV
🌐WebRTC Archives