💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

AdaptixC2: A New Open-Source Framework Leveraged in Real-World Attacks
unit42.paloaltonetworks.com·1d
🔒WASM Capabilities
Standards for Age Verification
avpassociation.com·1d·
Discuss: Hacker News
📋Format Specification
Which OAuth Flow Should You Use?
nimblesa.com·1d·
Discuss: Hacker News
🔐Capability Security
React Data List: Building Virtualized UIs Declaratively
attio.com·9h·
Discuss: Hacker News
🧩WASM Components
RomM 4.2 Launches with Console Mode and Smarter Library Tools
gardinerbryant.com·2d·
Discuss: Hacker News
🕹️Retro Gaming
Weird CPU architectures, the MOV only CPU (2020)
justanotherelectronicsblog.com·2d·
Discuss: Hacker News
⚡Homebrew CPUs
Exceptions vs. Results
tifi.blog·5d·
Discuss: Hacker News
🦀Rust Verification
Why feature selection methods rarely agree (I tested five side by side)
aayushig950.substack.com·1d·
Discuss: Substack
🧠Machine Learning
Package Managers are Evil
gingerbill.org·3d·
Discuss: Lobsters, Hacker News, r/programming
📦Package Managers
Eat Your Vegetables Before AI Dessert
writings.alethia.news·2d·
Discuss: Hacker News
⚙️Proof Engineering
The Great PNG Deception: When Your "Transparent" Image Has Trust Issues 🎭
dev.to·7h·
Discuss: DEV
📸PNG Optimization
Cognition: The Devin is in the Details
swyx.io·3d·
Discuss: Hacker News, Hacker News
📏Code Metrics
No for Some, Yes for Others: Persona Prompts and Other Sources of False Refusal in Language Models
arxiv.org·19h
💻Programming languages
Plantbot: Integrating Plant and Robot through LLM Modular Agent Networks
arxiv.org·2d
⚙️TLA+
Using AI as my engineering copilot (not autopilot)
dev.to·2d·
Discuss: DEV
✨Effect Handlers
Automated Test Case Prioritization via Dynamic Attribute Weighting and Reinforcement Learning
dev.to·2d·
Discuss: DEV
🔍Concolic Testing
Agent Diary: Sep 11, 2025 - The Great Test Cleanup: When Deleting 1,712 Lines Feels Like Victory
dev.to·20h·
Discuss: DEV
🐛Fuzzing
ACE-RL: Adaptive Constraint-Enhanced Reward for Long-form Generation Reinforcement Learning
arxiv.org·3d
🔲Cellular Automata
Evaluating the Efficiency of Latent Spaces via the Coupling-Matrix
arxiv.org·2d
🧠Machine Learning
Point Linguist Model: Segment Any Object via Bridged Large 3D-Language Model
arxiv.org·1d
🌀Hyperbolic Geometry