💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Athos Silicon: SoC with redundant UCIe chiplets for autonomous driving and more
heise.de·22h
⚡Nordic Processors
Winetricks/winetricks
github.com·1d
🔄Sync Engine
Apple Silicon USB3 Support [RFC]
lore.kernel.org·4h·
Discuss: Hacker News
🔌Operating system internals
Wubular: Rubular Reimagined in Ruby+WASM
rubyelders.com·17h·
Discuss: Hacker News
🌀Brotli Internals
Barking Up The Ratchet Tree – MLS Is Neither Royal Nor Nude
soatok.blog·1d·
Discuss: Lobsters, Hacker News, r/programming
🔑Cryptographic Protocols
When functions dissolve
rubber-duck-typing.com·2d·
Discuss: Hacker News
🐚Shell Calculus
Looking back at "legacy" HTML practices
nooshu.com·11h·
Discuss: Hacker News
🏺Format Archaeology
The Compass Pattern: How smart documentation architecture saves $0.63M annually
wyrd-technology.com·19h·
Discuss: Hacker News
📚MARC Evolution
OpenAI: Building the "Everything Platform" in AI
leoniscap.com·1d·
Discuss: Hacker News
🤖AI Curation
Latent Self-Consistency for Reliable Majority-Set Selection in Short- and Long-Answer Reasoning
arxiv.org·3h
🧠Intelligence Compression
Build a baby Claude Code using Python
siddharthbharath.com·1d·
Discuss: Hacker News
⚡Proof Automation
Show HN: SQLite Extensions Guide
github.com·18h·
Discuss: Hacker News
🧩SQLite Extensions
The TTY Protocol
sgt.hootr.club·3h·
Discuss: Hacker News
📟Terminals
Parlant - Renovation AI Open-Source framework
dev.to·23h·
Discuss: DEV
✨Effect Handlers
FALCON: Autonomous Cyber Threat Intelligence Mining with LLMs for IDS Rule Generation
arxiv.org·3h
🔒Language-based security
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·1d·
Discuss: Hacker News
⚡Proof Automation
k-NN Classification and Model Evaluation
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Can I Let AI Work While I Drink Coffee? A Hard-Learned Lesson
dev.to·8h·
Discuss: DEV
🏠Homelab Automation
Bootstrapping a Coding Agent
runnercode.com·10h·
Discuss: Hacker News
📏Code Metrics
Anemoi: A Semi-Centralized Multi-agent Systems Based on Agent-to-Agent Communication MCP server from Coral Protocol
arxiv.org·1d
🤝Consensus Protocols