💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

A Guide to Creative Automation with CE.SDK & Javascript
img.ly·1d
🤖Archive Automation
ICYMI: If you aren't running complex public-facing production services, you probably don't need a network diagram.
i.redd.it·19h·
Discuss: r/homelab
🏠HomeLab
Migrating to React Native's New Architecture
shopify.engineering·2d·
Discuss: Hacker News
🦋Format Metamorphosis
Simplify and accelerate logs and search with Aiven for OpenSearch
aiven.io·2d·
Discuss: Hacker News
⚙️Batch Processing
The Recursive Loop: How Code Shapes Minds – Kenneth Reitz
kennethreitz.org·1d·
Discuss: Hacker News
🌍Cultural Algorithms
DNA methylation influences human centromere positioning and function
nature.com·5h·
Discuss: Hacker News
🧬Copy Number Variants
[P] I Was Wrong About Complex ML Solutions - Gower Distance Beat My UMAP Approach
reddit.com·1d·
Discuss: r/MachineLearning
🗂️Vector Databases
Building LangGraph: Designing an Agent Runtime from First Principles
blog.langchain.com·1d·
Discuss: Hacker News
⚙️TLA+
Autonomous Artifact Classification in Gigapixel Pathology Slides via Hyperdimensional Feature Mapping
dev.to·11h·
Discuss: DEV
📄Document Digitization
Best AI Coding Agents in 2025: Revolutionizing How We Build Software
dev.to·1d·
Discuss: DEV
🎙️Whisper
Optimize Your Go Code: Mastering `string` and `[]byte` Conversions
dev.to·3d·
Discuss: DEV
⚡gRPC
AI Artists vs. AI Engineers
frontierai.substack.com·2d·
Discuss: Substack
⚡Proof Automation
[D] How do you read code with Hydra
reddit.com·2d·
Discuss: r/MachineLearning
⬆️Lambda Lifting
Scalable Distributed Consensus Optimization via Hyper-Adaptive Gradient Pruning
dev.to·5h·
Discuss: DEV
📊Quantization
Real-Time OT Anomaly Detection via Hyperdimensional Federated Learning and Symbolic Reasoning
dev.to·2d·
Discuss: DEV
👁️Observatory Systems
Disciplined AI Software Development: Structured Method for Generative Programming
github.com·2d·
Discuss: Hacker News, r/programming
🔄Language Evolution
7 Problems Solved by Custom Software Development Services
dev.to·2d·
Discuss: DEV
🌊Streaming Systems
KubeCrash is Back: Hear from Engineers at Grammarly, J.P. Morgan, and More (Sep 23)
reddit.com·1d·
Discuss: r/kubernetes
📦Container Security
How to Set Up a Jenkins CI/CD Pipeline (Step-by-Step Guide)
dev.to·20h·
Discuss: DEV
🔄Reproducible Builds
Transferable Belief Model on Quantum Circuits
arxiv.org·1d
⚛️Quantum Circuits