Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔶Cubical Type Theory
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·22h
📝Concrete Syntax
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
Challenges of Pseudocode Expansion
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🔗Lisp
Software Internals Book Club
eatonphil.com·5h
⚙️Operating System Design
Extensions and Shadows (9)
sites.psu.edu·21h
✨Effect Handlers
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·3d
🔗Functional Compilers
Building a Multi-Modal GPT Agent in TypeScript with OpenAI
dev.to·1d·
Discuss: DEV
🎙️Whisper
SAT Requires Exhaustive Search
link.springer.com·15h·
Discuss: Hacker News
🧮Kolmogorov Complexity
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
Linear Types for Programmers
twey.io·2d·
Discuss: Hacker News
🔒Linear Types
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
🎯Proof Tactics
Relative Completeness of Incorrectness Separation Logic
arxiv.org·7h
🧠Separation Logic
A New Concurrent ML in Guile Scheme
wingolog.org·2h·
Discuss: Hacker News
🔄Lens Laws
A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
arxiv.org·7h
🔄Finite State Machines
Living with LLMs
matiasklemola.com·1h·
Discuss: Hacker News
💻Local LLMs
Who Am I in the Eye of AI?
lightcapai.medium.com·17h·
Discuss: Hacker News
🔲Cellular Automata
lydiahallie/javascript-questions
github.com·2d
🔗Concatenative Programming