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·23h
📝Concrete Syntax
Relative Completeness of Incorrectness Separation Logic
arxiv.org·9h
🧠Separation Logic
Constructive Disintegration and Conditional Modes
arxiv.org·1d
🏗️Constructive Mathematics
Software Internals Book Club
eatonphil.com·7h
⚙️Operating System Design
Challenges of Pseudocode Expansion
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🔗Lisp
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·3d
🔗Functional Compilers
Juris.js: The Thousand Masters Architecture That AI Can't Even Figure Out Where to Start
dev.to·16h·
Discuss: DEV
🦀Rust Macros
Extensions and Shadows (9)
sites.psu.edu·23h
✨Effect Handlers
Pragmatism in Programming Proverbs
gingerbill.org·4h·
Discuss: Lobsters, Hacker News, r/programming
💻Programming languages
lydiahallie/javascript-questions
github.com·2d
🔗Concatenative Programming
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·6h
✅Archive Validation
Footnotes, Gödel exercises, Purcell
logicmatters.net·4d
👑Isabelle
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
Week 31 Status
blogs.gnome.org·14h
🎯Gradual Typing
ProCut: LLM Prompt Compression via Attribution Estimation
arxiv.org·9h
⚙️Compression Benchmarking
SAT Requires Exhaustive Search
link.springer.com·16h·
Discuss: Hacker News
🧮Kolmogorov Complexity
A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
arxiv.org·9h
🔄Finite State Machines
Introductory Computer Science and Software Engineering Topics
albertyw.com·1d
🛠Language Design