💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

What Inflection AI Learned Porting Its LLM Inference Stack from NVIDIA to Intel Gaudi
thenewstack.io·10h
🧮Compute Optimization
What Is FIPS 140-3 and Why Does It Matter for Security Compliance?
securityscorecard.com·13h
🌳Archive Merkle Trees
[$] Libxml2's "no security embargoes" policy
lwn.net·13h
🔓Free and open source
Cactus Language • Syntax 12
inquiryintoinquiry.com·13h
📝Concrete Syntax
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·3d
λLambda Encodings
Portable Network Graphics (PNG) Specification (Third Edition)
w3.org·1d·
Discuss: Hacker News
🕸️WebP Analysis
LLMs bring new nature of abstraction
martinfowler.com·1d·
Discuss: Hacker News
💻Programming languages
Lessons from LangChain and Slack and MCP Integration
medium.com·1d·
Discuss: Hacker News
🔗Topological Sorting
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·2d
⚖️Hoare Logic
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·15h·
Discuss: DEV
📏Code Metrics
Large Language Models for Spreadsheets: Benchmarking Progress and Evaluating Performance with FLARE
arxiv.org·2d
💻Programming languages
Machine Learning Fundamentals: accuracy with python
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation
arxiv.org·2d
🔍FPGA Verification
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·3d·
Discuss: Hacker News
🔗Functional Compilers
Show HN: KubernetesJS – Fully-Typed, Zero-Dependency Client for Kubernetes
github.com·1d·
Discuss: Hacker News
📦Container Security
Polystate: Composable Finite State Machines
github.com·4d·
Discuss: Lobsters, Hacker News, r/Zig
🌐Protocol Synthesis
Using PhantomData and Zero-Sized Types
dev.to·13h·
Discuss: DEV
🔒Type Safety
Schemars v1 is now released
reddit.com·11h·
Discuss: r/rust
🦀Rust Macros
A Multi-Pass Large Language Model Framework for Precise and Efficient Radiology Report Error Detection
arxiv.org·1h
✅Format Verification
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing