💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Proto-Indeo revisited
codecs.multimedia.cx·1d
💿FLAC Archaeology
On This Day in Math - September 6
pballew.blogspot.com·1d·
Discuss: www.blogger.com
📚Archive Mathematics
Proxmox - Win11 Installation
blog.raymond.burkholder.net·10h
🔌Operating system internals
Subverting code integrity checks to locally backdoor Signal, 1Password, Slack, and more
blog.trailofbits.com·3d·
Discuss: Lobsters, Hacker News
🛡️WASM Sandboxing
How to Use Python’s dataclass to Write Less Code
kdnuggets.com·3d
🎯Gradual Typing
rails/rails
github.com·1d
🦋Format Metamorphosis
Ask HN: GAN'ing Coding GPTs
news.ycombinator.com·1d·
Discuss: Hacker News
📝Text Compression
Just One More Prompt
commandpattern.org·2d·
Discuss: Hacker News
⚡Proof Automation
How to Implement Validation in Python Flask REST APIs
dev.to·3d·
Discuss: DEV
✅Format Verification
Linux Kernel Runtime Guard 1.0 Released
linuxiac.com·14h
🔍eBPF
Turning Documentation into Intelligence: RAG with Just SQL + LLM
dev.to·1d·
Discuss: DEV
📡RSS Automation
PromptCOS: Towards System Prompt Copyright Auditing for LLMs via Content-level Output Similarity
arxiv.org·3d
🏺ZIP Archaeology
Enhanced Regional Resilience Forecasting via Multi-modal Data Fusion and Bayesian Hybridization
dev.to·1d·
Discuss: DEV
🌍Cultural Algorithms
Creating SOAP APIs in Python
dev.to·3d·
Discuss: DEV
🔧Binary Parsers
Title: Streamlining Model Tuning with AI: A Guide to Boosting ML Performance
dev.to·2h·
Discuss: DEV
📊Feed Optimization
Unlocking Hidden Order: Differentiable Entropy as a Code Optimizer
dev.to·2d·
Discuss: DEV
🧠Machine Learning
On the local consequence of modal Product logic: standard completeness and decidability
arxiv.org·3d
🏗️Constructive Mathematics
HTB Endpoint Challenge Walkthrough | Easy HackTheBox Guide for Beginners
infosecwriteups.com·1d
🗜️ZIP Forensics
Show HN: KoStudy – open-source AI first learning app
github.com·1d·
Discuss: Hacker News
🌀Brotli Dictionary
🚀 Day 8 of My Python Learning Journey – Sets & Data Structures in Python
dev.to·2d·
Discuss: DEV
🗂Data structures