🐓 Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

Are We Teaching Rust Effectively?
blog.kodewerx.org·1d·
Discuss: Hacker News
🦀Rust Borrowing
CRYPTO 2025: Row Reduction Techniques for n-Party Garbling
esat.kuleuven.be·22h
🌊Stream Ciphers
I Stand Corrected
jessecmckeown.tumblr.com·1d
⚔️Lean Theorem
Interpolation in Classical Propositional Logic
arxiv.org·1d
🔗Combinatory Logic
Advanced Windows Exploitation (AWE) Review
wetw0rk.github.io·1d
🔒Secure Boot
Abstract algebra structures made easy
blog.sesse.net·3d
🔀Category Theory
Trap: Autoregressive Transformers in APL
github.com·7h·
Discuss: Lobsters
📊APL Heritage
Steering a middle ground between two extreme takes on the role of statistics in the development of language models
statmodeling.stat.columbia.edu·14h
💻Programming languages
Interoperability in 2025: Beyond the Erlang VM
elixir-lang.org·6h·
Discuss: Lobsters, Hacker News
🔒Linear Types
Presheaf automata
arxiv.org·1d
🎯Automata theory
I added a speaker view to my OCaml presentation tool
github.com·12h·
Discuss: Hacker News
⚔️Lean Tactics
A Lisp in 99LOC
github.com·2d·
Discuss: Hacker News
🔗Lisp
GHC Developer Blog: GHC 9.10.3-rc4 is now available
haskell.org·1d
🔗Functional Compilers
A programmer's field guide to assertions
typesanitizer.com·1d·
Discuss: Lobsters
📜Proof Carrying Code
Dyna – Logic Programming for Machine Learning
dyna.org·2d·
Discuss: Lobsters, Hacker News, r/compsci
🔗Constraint Handling
6 Genius Level Puzzles
mindyourdecisions.com·1d
🔲Cellular Automata
Stream Integration
feldera.com·12h·
Discuss: Hacker News
🌊Stream Processing
Copyright Protection for Large Language Models: A Survey of Methods, Challenges, and Trends
arxiv.org·1d
🧪Archive Fuzzing
Clojure Async Flow Guide
clojure.github.io·1d·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
Generic Reduction-Based Interpreters (Extended Version)
arxiv.org·1d
🔗Parser Combinators