💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Less is more
blogger.com·14h
⚡Homebrew CPUs
Digital Public Goods
digitalpublicgoods.net·1d·
Discuss: Hacker News
🔓Open Source Software
Three healthy recipes from Em the Nutritionist to reset your September
the-independent.com·8h
🧮Algorithmic Cooking
Emacs hacks: patching Markdown mode
oxal.org·3d·
Discuss: Hacker News
📟Terminal Typography
Data Poisoning Attacks
infosecwriteups.com·3d
🔍Vector Forensics
Journey to 2-second Inter-node RL Weight Transfer
le.qun.ch·5d·
Discuss: Hacker News
⚡Homebrew CPUs
This Week in Security: NPM, Kerbroasting, and The Rest of the Story
hackaday.com·3d
🔓Hacking
The Real Python Podcast – Episode #265: Python App Hosting Choices & Documenting Python's History
realpython.com·4d
🏺ZIP Archaeology
Retro x86 with 486Tang
hackaday.com·1d
⚡Homebrew CPUs
What is JWT? How do Secret, Public, Private Keys actually work?
dev.to·1d·
Discuss: DEV
🔑Cryptographic Protocols
Enhancing understanding and clinical applications of cerebral autoregulation: A novel integrated numerical framework
arxiv.org·1d
🌈Spectral Methods
Campaigners urge EU to mandate 15 years of OS updates
theregister.com·2h·
Discuss: Hacker News
🏺Format Archaeology
Creating larger projects with LLM (as a coder)
medium.com·5d·
Discuss: Hacker News
🔄Language Evolution
🍳 Recipe Generator – What’s in Your Pantry?
dev.to·1d·
Discuss: DEV
🧮Algorithmic Cooking
Illuminating the Dark: Next-Gen Object Detection from Raw Sensor Data by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🤖Advanced OCR
Model Collapse: When AI learns from AI
dev.to·2d·
Discuss: DEV
🧠Neural Compression
Disentanglement of Biological and Technical Factors via Latent Space Rotation in Clinical Imaging Improves Disease Pattern Discovery
arxiv.org·9h
🤖Advanced OCR
EnviroLens – Smart AI Assistant for Environmental Awareness
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
The Future of Applied AI Engineers
dev.to·3d·
Discuss: DEV
🌊Stream Processing
Isekai Chronicles: A Local Neighbourhood Adventure
dev.to·1d·
Discuss: DEV
🏛Digital humanities