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
Linear Types for Programmers
twey.io·2d·
Discuss: Hacker News
🔒Linear Types
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·21h
📝Concrete Syntax
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·3d
🔗Functional Compilers
The Generativity Pattern in Rust
arhan.sh·17h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
LLMs - Embeddings 01
dev.to·1d·
Discuss: DEV
🧮Vector Embeddings
Challenges of Pseudocode Expansion
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🔗Lisp
SIEVE — a better algorithm than LRU?
blog.apnic.net·6h
💨Cache Analysis
Extensions and Shadows (9)
sites.psu.edu·21h
✨Effect Handlers
Why mathematicians want to destroy infinity – and may succeed
newscientist.com·19h
⏰Time Crystals
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
🎯Proof Tactics
A New Concurrent ML in Guile Scheme
wingolog.org·2h·
Discuss: Hacker News
🔄Lens Laws
How we made JSON.stringify more than twice as fast
v8.dev·1d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming, r/webdev
🌊Streaming Compression
SAT Requires Exhaustive Search
link.springer.com·14h·
Discuss: Hacker News
🧮Kolmogorov Complexity
A comprehensive taxonomy of hallucinations in Large Language Models
arxiv.org·7h
🌳Context free grammars
original ↗
dotat.at·1d·
Discuss: Lobsters, Hacker News, r/programming
🌳Trie Structures
Let's hax0r a GC… (eventually)
h4x0r.org·20h·
Discuss: Lobsters, Hacker News, r/programming
🧠Memory Allocators
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.com·1d·
Discuss: Hacker News
🔒Linear Types