💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Restoring 2501 reader - linear bearing repair, still one roller bearing to resolve
rescue1130.blogspot.com·1d·
Discuss: rescue1130.blogspot.com
🗃️Punch Card Recovery
Preserving the digital legacy of company archives: Last stop, Newhaven.
dpconline.org·1d
💾Data Preservation
Categories for Public Health Modeling
johncarlosbaez.wordpress.com·4d
✨Algebraic Effects
Bypassing WAFs for Fun and JavaScript Injection with Parameter Pollution
blog.ethiack.com·4d·
Discuss: Hacker News
🛡️WASM Sandboxing
How We Built Our Model-Agnostic Agent for Log Analysis
blog.runreveal.com·5d·
Discuss: Hacker News
🎯Threat Hunting
Researchers have shown that ChatGPT can be fooled by flattery and psychological pressure
madcornishprojectionist.co.uk·1d
🔲Cellular Automata
Sharing what I learned about Rust functions and closures
blog.cuongle.dev·5d·
Discuss: Hacker News, r/rust
🦀Rust Macros
Enhanced Electrochemical Performance of PEDOT:PSS via Nanoscale Dopant-Induced Domain Engineering
dev.to·1d·
Discuss: DEV
🧲Cassette Physics
TSGCNeXt: Dynamic-Static Multi-Graph Convolution for Efficient Skeleton-Based Action Recognition with Long-term Learning Potential
arxiv.org·1d
🌀Riemannian Computing
What Exactly Are A.I. Companies Trying to Build? Here’s a Guide.
nytimes.com·2h
🤖AI Curation
Accelerated Adjuvant Production via Adaptive Enzyme Cascade Optimization
dev.to·3d·
Discuss: DEV
🔲Cellular Automata
Audio Deepfakes: The Achilles' Heel of AI Voice Security by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
👂Audio Evidence
Harmonious Motion: Untangling Robot Paths with Flow Field Dynamics
dev.to·2d·
Discuss: DEV
📊Computational Geometry
Optimized Carbon Sequestration via Bio-Integrated Kinetic Catalysis & Machine Learning Calibration
dev.to·2d·
Discuss: DEV
☕Precision Brewing
“Assign to Copilot” Explained: What GitHub’s Coding Agent Actually Does
dev.to·15h·
Discuss: DEV
📜Proof Carrying Code
My first homelab — small, but it’s mine.
i.redd.it·1d·
Discuss: r/homelab
🏠HomeLab
AI Needs to Adapt to *You*: Unlocking Collaboration Through Cognitive Co-Evolution
dev.to·1h·
Discuss: DEV
🔲Cellular Automata
AI is Failing Nigerian Languages: 7 Critical Loopholes Developers Must Fix
dev.to·4d·
Discuss: DEV
🇯🇵Japanese Computing
Small Open Models Achieve Near Parity with Large Models in Low Resource Literary Translation at a Fraction of the Cost
arxiv.org·6d
⚙️Compression Benchmarking
Flow Fields: The Secret to Naturally Intelligent Motion
dev.to·2d·
Discuss: DEV
🔲Cellular Automata