💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

6 Key Security Risks in LLMs: A Platform Engineer’s Guide
thenewstack.io·1d
💻Local LLMs
Cactus Language • Syntax 12
inquiryintoinquiry.com·22h
📝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
7 Popular LLMs Explained in 7 Minutes
kdnuggets.com·2h
💻Local LLMs
Lessons from LangChain and Slack and MCP Integration
medium.com·1d·
Discuss: Hacker News
🔗Topological Sorting
Simplicity, Agility, and Agency
articles.pragdave.me·3h·
Discuss: Hacker News
⬜Minimalism
LLMs bring new nature of abstraction
martinfowler.com·2d·
Discuss: Hacker News
💻Programming languages
Entelligence vs CodeRabbit
dev.to·2h·
Discuss: DEV
🌳Incremental Parsing
Polystate: Composable Finite State Machines
github.com·4d·
Discuss: Lobsters, Hacker News, r/Zig
🌐Protocol Synthesis
A Multi-Pass Large Language Model Framework for Precise and Efficient Radiology Report Error Detection
arxiv.org·10h
✅Format Verification
Using PhantomData and Zero-Sized Types
dev.to·23h·
Discuss: DEV
🔒Type Safety
Optional Chaining (.?) in JS — Write Shorter & Safer Code!
dev.to·5h·
Discuss: DEV
✅Format Verification
Machine Learning Fundamentals: accuracy project
dev.to·2d·
Discuss: DEV
✅Archive Validation
Schemars v1 is now released
reddit.com·21h·
Discuss: r/rust
🦀Rust Macros
Floating-Point Data Transformation for Lossless Compression
arxiv.org·2d
🌊Streaming Compression
Enterprise Large Language Model Evaluation Benchmark
arxiv.org·10h
⚙️Compression Benchmarking
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
How to Prompt an LLM to Write Angular Code: Straight from the Experts
dev.to·2d·
Discuss: DEV
🔗Concatenative Programming
Just some example work notes
dev.to·3d·
Discuss: DEV
🌀Brotli Internals