💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Keep changing: How Open Source has to continually evolve
opensource.org·1d
🔓Open Source Software
On training binary neural networks
kevinmartinjose.com·2d
📊Quantization
GraalVM's LLVM Back End
praj.in·4d·
Discuss: Lobsters, Hacker News
🏭Compiler Backends
Payment System Vendor Took Year+ to Patch Infinite Card Top-Up Hack
securityweek.com·2d·
Discuss: Hacker News
🏺Kerberos Archaeology
Ultra-thin Linux laptops pack Ryzen AI 9 365 muscle with silky 120Hz displays and room for massive storage and memory
techradar.com·21h
🔌Operating system internals
How Developers Can Support Localization Without a Dedicated Team
dev.to·1d·
Discuss: DEV
🔄Language Evolution
Google launches new protocol for agent-driven purchases
techcrunch.com·15h
📟Historical Protocols
OpenAI upgrades Codex with a new version of GPT-5
techcrunch.com·1d
🔓Open Source Software
Auto-Magic: Generating Function Stubs with Evolutionary Algorithms
dev.to·5d·
Discuss: DEV
⚡Proof Automation
Hybrid Adaptive Conformal Offline Reinforcement Learning for Fair Population Health Management
arxiv.org·2d
🔲Cellular Automata
Building MCP servers with Docker: NetworkChuck's tutorial and starter kit
github.com·1d·
Discuss: Hacker News
📻Homebrew Protocols
Face Recognition Door Lock with Smartphone Notification
hackster.io·3d
🔌Single Board PC
High-Pressure Creep Behavior Prediction in Diamond Anvil Cells via Deep Neural Network Emulation
dev.to·22h·
Discuss: DEV
🔍Vector Forensics
Stated Preference for Interaction and Continued Engagement (SPICE): Evaluating an LLM's Willingness to Re-engage in Conversation
arxiv.org·5d
🌐Protocol Synthesis
LITcoder: A General-Purpose Library for Building and Comparing Encoding Models
arxiv.org·5d
🧠Neural Codecs
Dungeon Master: AI-Powered, Endless Fantasy Adventures Reimagined
dev.to·2d·
Discuss: DEV
🏛Digital humanities
New Build - 1 box to rule them all... mostly
reddit.com·11h·
Discuss: r/homelab
🏠Homelab Preservation
FastAPI Mistakes That Kill Your Performance
dev.to·4d·
Discuss: DEV
🌊Stream Processing
Apple releases Liquid Glass: iOS 26 & Co available for download
heise.de·1d
🖥️Vintage Macintosh
GStreamer 1.26.6 Brings Fixes for Spotify, Vulkan, and V4L2
linuxiac.com·2d
🎵Audio Streaming