💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Your Kubernetes: Strategic Asset or Ticking Time Bomb?
exoscale.com·3d
💾Persistence Strategies
Overview of security services available in AWS Dedicated Local Zones
aws.amazon.com·9h
🌐Edge Preservation
X Open Sourced Algorithm Code, So I analyzed it to learn how to grow on X
supabird.io·8h·
Discuss: Hacker News
⚖️Feed Ranking
Show HN: SigNull – a to-do app that separates Signal from Noise
signull.app·6h·
Discuss: Hacker News
📊Count-Min Sketch
preparing for the worst
daniel.haxx.se·1d·
Discuss: Hacker News
📡Feed Security
Clojure's Solutions to the Expression Problem
infoq.com·3d·
Discuss: Hacker News
🧠Lisp Dialects
A quarter century of chasing simplicity
loopwerk.io·2d·
Discuss: Hacker News
🔄Language Evolution
AWS cost us 48 hours
medium.com·3d·
Discuss: Hacker News
🌊Streaming Systems
OpenAI Researchers Have Discovered Why Language Models Hallucinate
thealgorithmicbridge.com·2d·
Discuss: Hacker News
⚡Performance Mythology
Ask HN: Is the Rust community the vegans of programming?
news.ycombinator.com·3d·
Discuss: Hacker News
🦀Rust Macros
Why Task-Based Evaluations Matter
towardsdatascience.com·14h
📏Code Metrics
TII Falcon-H1 models now available on Amazon Bedrock Marketplace and Amazon SageMaker JumpStart
aws.amazon.com·12h
🖥️Self-hosted Infrastructure
ADL-CLI – Generate enterprise-grade AI agents from a YAML spec
github.com·1d·
Discuss: Hacker News
🛡️CLI Security
Acceptability of AI Assistants for Privacy: Perceptions of Experts and Users on Personalized Privacy Assistants
arxiv.org·28m
🎯Content Recommendation
Enhanced Nanocrystal Synthesis via Machine Learning-Driven Acoustic Cavitation Control
dev.to·2d·
Discuss: DEV
🌈Spectroscopy
Illuminating AI: Building a Sustainable Future with Light-Speed Computing
dev.to·14h·
Discuss: DEV
🌈Holographic Archives
Analyzing Finnish Inflectional Classes through Discriminative Lexicon and Deep Learning Models
arxiv.org·3d
🔗Monadic Parsing
Show HN: Claude Context but local – semantic code search without API keys
github.com·3d·
Discuss: Hacker News, r/ClaudeAI, r/LocalLLaMA
🌀Brotli Dictionary
How to Install & Run EmbeddingGemma-300m Locally?
dev.to·2d·
Discuss: DEV
🌀Brotli Dictionary
ECCFROG522PP: An Enhanced 522-bit Weierstrass Elliptic Curve
arxiv.org·6d
🔧Reed-Solomon