💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Product comparison: Detectify vs. Intruder
blog.detectify.com·20h
🕵️Penetration Testing
Coffee Break: Silicon Valley Ideologies as a Lens for Viewing Current Events
nakedcapitalism.com·16h
🧲Magnetic Philosophy
Show HN: ArtifyAi – AI Text-to-Image Tool by 30 image models models
artifyai.app·6h·
Discuss: Hacker News
📸TIFF Archaeology
I built an AI tool that converts invoices into clean Excel sheets
smartinvoice.tech·16h·
Discuss: Hacker News
🔄Document Workflows
Self-Assembly Gets Automated in Reverse of ‘Game of Life’
quantamagazine.org·20h·
Discuss: Hacker News
🔲Cellular Automata
A Humble Blog Post
nvegater.com·3d·
Discuss: Hacker News
💾Persistence Strategies
C and C++: The Hidden Power Behind Modern Programming
github.com·3d·
Discuss: r/programming
🔩Systems Programming
Dormant macOS Backdoor ChillyHell Resurfaces
darkreading.com·22h
🦠Malware Analysis
Stabilizing effect of amino acids on protein and colloidal dispersions
nature.com·18h
📜Document Physics
Oldcastle accelerates document processing with Amazon Bedrock
aws.amazon.com·18h
🤖Archive Automation
Stop chatting Constrained VS Unconstrained LLM use cases
medium.com·2d·
Discuss: Hacker News
💻Local LLMs
[D] The best way to structure data for a predictive model of corporate delinquency
reddit.com·10h·
Discuss: r/MachineLearning
🔗Constraint Handling
Can SSD-Mamba2 Unlock Reinforcement Learning for End-to-End Motion Control?
arxiv.org·1d
🔲Cellular Automata
Quantum Variational Solver Optimization via Adaptive Kernel Ridge Regression
dev.to·1d·
Discuss: DEV
⚛️Quantum Algorithms
SwarmSim: Build Intelligent Herds with Entity-Component Systems by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🌍Cultural Algorithms
Scaling behavior of large language models in emotional safety classification across sizes and tasks
arxiv.org·3d
🔗Monadic Parsing
Suggestions for CNCF Repos to Contribute (Go/Kubernetes + eBPF/XDP Interest)
reddit.com·1d·
Discuss: r/kubernetes
🕸️Mesh Archiving
Building a Local Documentation Chatbot with Python, FAISS, and OpenAI
dev.to·2d·
Discuss: DEV
🤖Archive Automation
Otters 🦦 - A minimal vector search library with powerful metadata filtering
reddit.com·2d·
Discuss: r/rust
🦀Rust Macros
Enhanced Residual Stress Mapping via Multi-Modal Fusion and Bayesian Inversion
dev.to·2d·
Discuss: DEV
🌀Differential Geometry