💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Fifty Things you can do with a Software Defined Radio
blinry.org·1d·
Discuss: Hacker News
📻Homebrew Protocols
Give Your Band The Music Of The Bands
hackaday.com·32m
📼Cassette Culture
Visual Studio Code 1.104: Agent Mode requests confirmation
heise.de·2d
🔄Language Evolution
The Climate Change Paradox
quantamagazine.org·2d·
Discuss: Hacker News
🔲Cellular Automata
Rails Security in 2025: Automate or Get Breached
blog.devops.dev·2d
🛡️CLI Security
New NPM attack: Self-replicating malware infects dozens of packages
heise.de·1d
💿WORM Storage
DMEXCO: "No stone left unturned"
heise.de·2h
🤖AI Curation
Completing the Loop: A Developer’s Guide to Slack Incoming Webhooks
dev.to·1d·
Discuss: DEV
⚡gRPC
UncovAI: Pioneering Compliance-Focused Generative AI in 2025
dev.to·1d·
Discuss: DEV
🤖AI Curation
Adaptive Interference Mitigation via Bio-Inspired Acoustic Cloaking in Underwater Sensor Networks
dev.to·2d·
Discuss: DEV
👂Psychoacoustic Coding
CodeRabbit raises $60M, valuing the 2-year-old AI code review startup at $550M
techcrunch.com·1d·
Discuss: Hacker News
🚀Indie Hacking
Axsome Therapeutics, Inc. (AXSM) Presents at TD Cowen's 5th Annual Novel Mechanisms in Neuropsychiatry & Epilepsy Summit Transcript
seekingalpha.com·2h
🛡️ARM TrustZone
[$] Fighting human trafficking with self-contained applications
lwn.net·2d
🦀Rust Borrowing
Common Applications of Web Browser Automation
anchorbrowser.io·1d·
Discuss: Hacker News
🤖Archive Automation
[1] Algorithm Showdown: Python vs. JavaScript - Group Anagrams
dev.to·3d·
Discuss: DEV
🌳Trie Structures
Advanced Seismic Wave Inversion via Spatio-Temporal Graph Neural Networks for Deep Earth Structure Mapping
dev.to·1d·
Discuss: DEV
🌀Riemannian Computing
Resources for Go Compiler
reddit.com·6d·
Discuss: r/golang
📜Proof Carrying Code
Mastering Generative AI: Developer's Guide
dev.to·3d·
Discuss: DEV
🎧Learned Audio
Dynamic Polarization State Mapping for Adaptive Optical Communication Systems
dev.to·2d·
Discuss: DEV
🔬Optical Physics
Generating Individual Travel Diaries Using Large Language Models Informed by Census and Land-Use Data
arxiv.org·3d
🎙️Whisper