💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

What Is FIPS 140-3 and Why Does It Matter for Security Compliance?
securityscorecard.com·8h
🌳Archive Merkle Trees
[$] Libxml2's "no security embargoes" policy
lwn.net·7h
🔓Free and open source
Cactus Language • Syntax 12
inquiryintoinquiry.com·7h
📝Concrete Syntax
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·2d
λLambda Encodings
Shane Kennedy - Software Engineer
shaneikennedy.xyz·1d
🦀Rust Macros
Machine Learning Fundamentals: accuracy project
dev.to·2d·
Discuss: DEV
✅Archive Validation
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.org·19h
🔍Type Inference
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·14h·
Discuss: Hacker News
🧩WASM Modules
Hong Mong 5 Development Treasure Case Sharing Modular Design Case Sharing
dev.to·1h·
Discuss: DEV
🔌Operating system internals
DigitalOcean Fundamentals: API
dev.to·14h·
Discuss: DEV
🔌Interface Evolution
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·1d·
Discuss: Hacker News
⚙️TLA+
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·9h·
Discuss: DEV
📏Code Metrics
SAVANT: Vulnerability Detection in Application Dependencies through Semantic-Guided Reachability Analysis
arxiv.org·1d
📏Code Metrics
Large Language Models for Spreadsheets: Benchmarking Progress and Evaluating Performance with FLARE
arxiv.org·1d
💻Programming languages
How I Built a Self-Correcting Prompt Generator with Multi-Stage LLM Calls"
dev.to·10h·
Discuss: DEV
🤖Lisp Machines
LLMs bring new nature of abstraction
martinfowler.com·1d·
Discuss: Hacker News
💻Programming languages
Flame Graph Performance Truth Analysis（1750839255230100）
dev.to·14h·
Discuss: DEV
⚡Performance Tools
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·3d·
Discuss: Hacker News
🔗Functional Compilers
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·1d
⚖️Hoare Logic