💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Why the best LLMs are not enough for the AI SOC
intezer.com·4d
🎯Threat Hunting
Around one-third of AI search tool answers make unsupported claims
newscientist.com·12h
🤖AI Curation
Show HN: AI tool to expand and uncrop images seamlessly for any canvas size
nanaimg.art·12h·
Discuss: Hacker News
📸PNG Optimization
Photos from Malawi's elections
the-independent.com·12m
💻Local first
Console: AI Platform for IT
console.com·10h·
Discuss: Hacker News
🖥️Modern Terminals
Moldable Development: shaping tools to fit the context of your code
moldabledevelopment.com·5d·
Discuss: Hacker News
🦋Format Metamorphosis
Show HN: Freak.nvim, an nvim config for control freaks
codeberg.org·3d·
Discuss: Hacker News
🪟Awesome windows command-line
Podman Desktop Apple container extension: Use macOS' built-in containers
podman-desktop.io·1d·
Discuss: Hacker News
🍎Apple Archive
North Korean hackers generate fake South Korean military ID using ChatGPT
techradar.com·10h
🛡Cybersecurity
Terradynamically streamlined shapes in animals and robots enhances traversability through densely cluttered terrain
arxiv.org·22h
🔲Cellular Automata
Automated Sensory Attenuation Protocol Optimization via Dynamic Network Pruning
dev.to·6h·
Discuss: DEV
📊Learned Metrics
Accelerating the Agent Economy: Building and Deploying MCP Servers with Contexta AI
dev.to·4d·
Discuss: DEV
🤖Network Automation
OpenAI has launched Developer Mode for ChatGPT with full access to Model Context Protocol
the-decoder.com·5d
🔓Open Source Software
Segment Anything for Cell Tracking
arxiv.org·1d
🌀Riemannian Computing
Open-Sourcing Starlark Worker: Define Cadence Workflows with Starlark
uber.com·5d·
Discuss: Hacker News
🌊Stream Processing
Raw Sound as Building Blocks: Next-Gen AI Speech Creation
dev.to·1d·
Discuss: DEV
🎙️Whisper
watchOS 26: The MacStories Review
macstories.net·9h
🖥️Vintage Macintosh
Equinix, Inc. (EQIX) Presents at Global Communications Infrastructure Conference Transcript
seekingalpha.com·5h
📋PREMIS Events
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