💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Monday Morning Haskell: Graph Algorithms in Board Games!
mmhaskell.com·6d
🔲Cellular Automata
ChillyHell: A Deep Dive into a Modular macOS Backdoor
jamf.com·4d
📟Terminal Forensics
NRC Accepts Cola for Fermi America's Four-Unit AP1000 Nuclear Plant in Texas
powermag.com·2d·
Discuss: Hacker News
🏠Homelab Archaeology
Exclusive: Google wants to make Android phones safer by switching to ‘risk-based’ security updates
androidauthority.com·1d·
Discuss: Hacker News, r/Android
🛡️ARM TrustZone
IT Security Weekend Catch Up – September 12, 2025
badcyber.com·2d
🔓Hacking
How to calibrate a large-scale agent-based model?
mcrcsm.substack.com·3d·
Discuss: Substack
🧮Kolmogorov Bounds
SaaS Ethics Manifesto
mdubakov.me·2d·
Discuss: Hacker News
🏠Personal Archives
Show HN: Modelling a macOS application around my productivity research
openmodeai.com·2d·
Discuss: Hacker News
🎙️Whisper
Want to build on Bill Gates? Microsoft open-sourced the original code written by the company founder - now it's over to you
techradar.com·4d
🖥Retro Computing
When Is MCP Actually Worth It?
thenewstack.io·4d
🌊Streaming Systems
Show HN: Valkyrie – A community-powered security scanner for your CI/CD
github.com·2d·
Discuss: Hacker News
📦Container Security
Piano Hero🎹
dev.to·2h·
Discuss: DEV
🎹MIDI Archaeology
Experimenting with Local LLMs on macOS
dev.to·5d·
Discuss: DEV
💻Local LLMs
Q-SafeML: Safety Assessment of Quantum Machine Learning via Quantum Distance Metrics
arxiv.org·6d
🔐Quantum Security
Multi-VM Blockchain Platform
dev.to·2d·
Discuss: DEV
🏠Homelab Orchestration
Awesome Robots Digest - Issue #2 - September 5, 2025
dev.to·3d·
Discuss: DEV
🤖Tape Automation
Experiment with gopls MCP: Improving Agent Context for Go Development
dev.to·5d·
Discuss: DEV
📋Protocol Buffers
Unlocking the Future with AI Agents: A New Era of Automation and Innovation
dev.to·1d·
Discuss: DEV
🤖AI Curation
AI's 'Imagine That': Teaching Voice Agents to Think on Their Feet
dev.to·1d·
Discuss: DEV
🎙️Whisper
Automated Design Space Exploration via Multi-Modal Analysis and HyperScore Optimization
dev.to·4d·
Discuss: DEV
⚡Incremental Computation