💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Athos Silicon: SoC with redundant UCIe chiplets for autonomous driving and more
heise.de·15h
⚡Nordic Processors
Three Cheers for XProc 3 Running XSpec Tests
medium.com·38m
🔄Language Evolution
Some recent project milestones
markjgsmith.com·2d
🔌Interface Evolution
Wubular: Rubular Reimagined in Ruby+WASM
rubyelders.com·10h·
Discuss: Hacker News
🌀Brotli Internals
I built a tool to benchmark tokenizers across 100+ languages and found some wild disparities [R]
reddit.com·7h·
Discuss: r/MachineLearning
⚙️Compression Benchmarking
Reimagining Web3 Interactions: How Gaia Powers Smart Token Creation on Linea with MetaMask Delegation Toolkit
dev.to·11h·
Discuss: DEV
🔒WASM Capabilities
Student-Teacher Distillation: A Complete Guide for Model Compression
dev.to·5h·
Discuss: DEV
📊Quantization
Scheme Basics
courses.cs.washington.edu·4d·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
How We Built a PaaS with Go, Kubernetes, and React
dev.to·11h·
Discuss: DEV
⚡gRPC
Lobsters Interview with Matklad
lobste.rs·4d·
Discuss: Lobsters
🦀Rust Macros
How to Develop Powerful Internal LLM Benchmarks
towardsdatascience.com·7h
🔍Concolic Testing
Paradigms of Intelligence Team
github.com·11h·
Discuss: Hacker News
🔲Cellular Automata
The Lazy Genius Inside Your Chatbot: Meet MoD, the Art of Thinking Less but Smarter
dev.to·6h·
Discuss: DEV
🧠Intelligence Compression
When functions dissolve
rubber-duck-typing.com·2d·
Discuss: Hacker News
🐚Shell Calculus
Some anecdotes from vibe-coding a Sublime Text plugin
willett.io·2d·
Discuss: Hacker News
🔗Concatenative Languages
modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
arxiv.org·20h
✨Algebraic Effects
Programmable k-local Ising Machines and all-optical Kolmogorov-Arnold Networks on Photonic Platforms
arxiv.org·20h
🕸️Tensor Networks
Nil Pointer Panic at 3 AM: Choosing the Right Go Database Tool to Save Your Sleep
dev.to·8h·
Discuss: DEV
🧩SQLite Extensions
Looking back at "legacy" HTML practices
nooshu.com·4h·
Discuss: Hacker News
🏺Format Archaeology
The Compass Pattern: How smart documentation architecture saves $0.63M annually
wyrd-technology.com·11h·
Discuss: Hacker News
📚MARC Evolution