💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Read more: Zurich public transport system prepares for ‘historic timetable change’
swissinfo.ch·9h
🦋Format Metamorphosis
Announcing the Candidates for the 2025 NDSA Coordinating Committee Members Election
ndsa.org·9h
🏛️PREMIS Metadata
Text fragment linking
leancrew.com·1d
📰RSS Reading Practices
Thinking About Simplification
kevquirk.com·2d
🎯Gradual Typing
Truth, Humility and Human & AI Incentives
zappable.com·1d
🔲Proof Irrelevance
The “Most Hated” CSS Feature: cos() and sin()
css-tricks.com·1d·
Discuss: Hacker News
🖋Typography
Kdenlive in Berlin
kdenlive.org·2d·
Discuss: r/linux
🐚Nordic Shell
AI GTM Assistant: You Dont Need GTM Engineers for Your Company to Go to Market
apollo.io·1d·
Discuss: Hacker News
📊Feed Optimization
Status of wrapt (September 2025)
grahamdumpleton.me·5d
🦀Rust Macros
Cybersecurity in The Arab World: Technological and Socio-Political Dimensions
cacm.acm.org·1d
🛡Cybersecurity
Drawbacks of the orphan rule workaround?
reddit.com·4d·
Discuss: r/rust
🔒Type Safety
Codeminer42 Dev Weekly #78
blog.codeminer42.com·4d
🏺ZIP Archaeology
Mutual Information Tracks Policy Coherence in Reinforcement Learning
arxiv.org·1d
📈Entropy Estimation
Integrate AI in 2 lines of code with Heylock
dev.to·2d·
Discuss: DEV
🌳Incremental Parsing
Multi-pathology Chest X-ray Classification with Rejection Mechanisms
arxiv.org·1d
🧠Machine Learning
Generalists Can Also Dig Deep
towardsdatascience.com·4d
🧠Intelligence Compression
Migrate from Anthropic’s Claude 3.5 Sonnet to Claude 4 Sonnet on Amazon Bedrock
aws.amazon.com·4d
👑Isabelle
Predictable Precision: The Next Generation of AI-Powered Robot Motion
dev.to·2d·
Discuss: DEV
🎙️Whisper
How to Evaluate Medical AI
arxiv.org·18h
🤖AI Curation
FTF: Discount Narrows, Making This Fund Even Less Appealing
seekingalpha.com·1h
🔍BitFunnel