💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Running AFM-4.5B on Intel CPUs with OpenVINO
julsimon.medium.com·2d
🦾ARM Cortex-M
News for August 2025
ptreview.sublinear.info·6d
🌸Bloom Variants
Freshdesk Integration with Jira. Step-by-Step Guide
getint.io·1d·
Discuss: Hacker News
🌊Streaming Systems
Upgradable Laptop GPUs Have Arrived
spectrum.ieee.org·7h·
Discuss: Hacker News
🖥️Modern Terminals
Exploring Canton: a privacy-preserving distributed ledger for finance
quant.engineering·2d·
Discuss: Hacker News
🌳Archive Merkle Trees
Famulor AI Call Center: Multi-Calendar Support
docs.famulor.io·3d·
Discuss: Hacker News
🌀Brotli Internals
Synthetic Magnetic Fields Steer Light On a Chip For Faster Communications
science.slashdot.org·13h
🧲Magnetic Domains
Show HN: FSP2 Tested on excerpt "Romeo and Juliet" impressive compresion results
news.ycombinator.com·2d·
Discuss: Hacker News
📝Text Compression
Redditor fishes a fully-functional Core i5-9400F and GTX 1660 PC gaming rig out of the trash
tomshardware.com·9h
🕹️Retro Gaming
'K2 Think' AI Model Jailbroken Mere Hours After Release
darkreading.com·2d
🔓Hacking
Enhance video understanding with Amazon Bedrock Data Automation and open-set object detection
aws.amazon.com·2d
🎬Video Codecs
📰StackNews Digest
dev.to·5d·
Discuss: DEV
🖥️Modern Terminals
Beyond NIST: How NSF-Funded Research Shapes AI Persona, Memory, and Systems
news.ycombinator.com·21h·
Discuss: Hacker News
🛡️Preservation Proofs
Data-Efficient Fine-Tuning of Vision-Language Models for Diagnosis of Alzheimer's Disease
arxiv.org·3d
🤖Advanced OCR
Unlock the Power of Voice: Build Smarter AI Agents with Ease
dev.to·1h·
Discuss: DEV
🎙️Whisper
Voice AI Revolutionizes Restaurant Management: Pannalabs.ai Leads the Charge
dev.to·1h·
Discuss: DEV
🎙️Whisper
Voice AI: Building Restaurant Empires, One Order at a Time - Ethically
dev.to·1h·
Discuss: DEV
🎙️Whisper
Greptile vs Panto AI: Which AI Code Review Tool Delivers More in 2025?
dev.to·2d·
Discuss: DEV
📏Code Metrics
Accelerating Reinforcement Learning Algorithms Convergence using Pre-trained Large Language Models as Tutors With Advice Reusing
arxiv.org·2d
💻Local LLMs
Unlock Nanoscale Secrets: Deep Equilibrium Force Fields Accelerate Simulations
dev.to·2d·
Discuss: DEV
🕸️Tensor Networks