💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Converting JWKS JSON to PEM using Python
akrabat.com·5d
📝ABNF Parsing
How To Reveal You’re An Emacs User Without Saying So
irreal.org·14h
🐧FOSS
.NET 10 Release Candidate 1: Follow-up for Entity Framework Core
heise.de·3d
🔌Interface Evolution
Announcing compile_flagz: Better editor integration for your C/C++ projects using build.zig
simonhartcher.com·5d·
Discuss: Hacker News
🔗Static Linking
DOOM multiplayer tribute gets coded in 'pure SQL' and runs at 30FPS — made from just 150 lines of code in less than a month
tomshardware.com·3d
🏺Gaming Archaeology
Get a 5+ Year Aged GitHub Profile | Proven Stability & Trust. Buy Now
dev.to·1d·
Discuss: DEV
✅Archive Checksums
MS-01 With eGPU for Ollama
reddit.com·20h·
Discuss: r/homelab
⚡Homebrew CPUs
Lessons learned from a 100 blog posts on AI
frontierai.substack.com·3d·
Discuss: Substack
🤖AI Curation
How To Work With Local AI in the Zed IDE
thenewstack.io·4d
🦀Rust Macros
RAG-Powered Chat: OpenAI & ChromaDB Integration
dev.to·4d·
Discuss: DEV
🔌Archive APIs
Managing Contextual Metadata Across a gRPC Ecosystem - Nicholas Hagen, Netflix
youtube.com·2d
🌊Streaming Systems
MediVision Assistant
dev.to·10h·
Discuss: DEV
🏛Digital humanities
AI Workout Analyzer🏋️‍♀️
dev.to·4h·
Discuss: DEV
🌀Brotli Internals
Claude's memory architecture is the opposite of ChatGPT's
dev.to·3d·
Discuss: DEV
⚡Hardware Transactional Memory
What is Context Engineering?
dev.to·5d·
Discuss: DEV
🔗Constraint Handling
🚀 Quantum Computing: The Next Big Leap in Technology
dev.to·1d·
Discuss: DEV
🔐Quantum Security
Videos to Notes App – Productivity Boost with Multimodal AI
dev.to·1d·
Discuss: DEV
🎙️Whisper
AI-generated Art and AI-generated code are treated differently
dev.to·1d·
Discuss: DEV
📐Mathematical Art
Unlocking the Heart's Secrets: AI-Powered Cardiac Motion Analysis by Arvind Sundararajan
dev.to·11h·
Discuss: DEV
🎵Audio ML
Quantum Phase Recognition via Adaptive Neural Field Resonance Mapping
dev.to·9h·
Discuss: DEV
⚛️Quantum Algorithms