💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
👑Coq Tactics
Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔶Cubical Type Theory
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
TypeScript Delivers Better Developer Experience With New Enhancements
hackernoon.com·1d
🦀Rust Macros
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·4h
✅Archive Validation
The Generativity Pattern in Rust
arhan.sh·17h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
A Gentle Introduction To Fortran
hackaday.com·18h·
Discuss: Lobsters, Hacker News, r/programming
🔗Concatenative Programming
Challenges of Pseudocode Expansion
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🔗Lisp
Week 31 Status
blogs.gnome.org·12h
🎯Gradual Typing
Introducing luzer, a coverage-guided Lua fuzzing engine
bronevichok.ru·19h·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
In Support Of Shitty Types
lucumr.pocoo.org·16h·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
Introductory Computer Science and Software Engineering Topics
albertyw.com·1d
🛠Language Design
A New Concurrent ML in Guile Scheme
wingolog.org·2h·
Discuss: Hacker News
🔄Lens Laws
Machine Learning Fundamentals: machine learning with python
dev.to·18h·
Discuss: DEV
🧠Machine Learning
Uncovering memory corruption in NVIDIA Triton (as a new hire)
blog.trailofbits.com·22m
🧪Binary Fuzzing
Software Internals Book Club
eatonphil.com·5h
⚙️Operating System Design
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·21h
📝Concrete Syntax
PFL: a Probabilistic Logic for Fault Trees
arxiv.org·7h
📋Formal Verification
PHP 8.5 Adds Pipe Operator: What it means
thephp.foundation·7h·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
Linear Types for Programmers
twey.io·2d·
Discuss: Hacker News
🔒Linear Types