Automating Boundary Filling in Cubical Type Theories
arxiv.org·2d
🔶Cubical Type Theory
Thinking in Hoses and Wires, Not Bolted Gears (Protocol-Driven Development)
github.com·8h·
Discuss: Hacker News
🌐Protocol Synthesis
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·2d
📝Concrete Syntax
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·2d·
Discuss: Hacker News
💧Liquid Types
Out-Fibbing CPython with the Plush Interpreter
pointersgonewild.com·22h·
Discuss: Lobsters
🔗Functional Compilers
In Support Of Shitty Types
lucumr.pocoo.org·2d·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
Build a Mini-FastAPI from Scratch: Learn ASGI & Routing Internals
dev.to·7h·
Discuss: DEV
⚡gRPC
GHC Developer Blog: GHC 9.10.3-rc2 is now available
haskell.org·22h
🔗Functional Compilers
Using Closures to Extend Class Behavior Without Breaking Encapsulation
hackernoon.com·1d
🔬Refinement Types
Vibe coding to Chomksy: will linguistics pop off in a world full of prompting?
aymannadeem.com·6h·
Discuss: Hacker News
💻Programming languages
Light-IF: Endowing LLMs with Generalizable Reasoning via Preview and Self-Checking for Complex Instruction Following
arxiv.org·18h
📏Linear Logic
How To Solve Every Programming Problem
blog.codeminer42.com·3h
📐Interval Arithmetic
Interest(s)
languagelog.ldc.upenn.edu·2h
🔤Morphological Analysis
Why Computer Science Is No Good, Redux
cacm.acm.org·1d
🎯Performance Proofs
Linear Types for Programmers
twey.io·4d·
Discuss: Hacker News
🔒Linear Types
Challenges of Pseudocode Expansion
funcall.blogspot.com·2d·
Discuss: www.blogger.com
🔗Lisp
Context Engineering — A Comprehensive Hands-On Tutorial with DSPy
towardsdatascience.com·18h
✨Effect Handlers
Python performance myths and fairy tales
lwn.net·14h·
Discuss: Lobsters, Hacker News
💻Programming languages
What Are Mixin Classes in Python?
realpython.com·8h
🔬Refinement Types
How the Lean language brings math to coding and coding to math
amazon.science·1d·
Discuss: Hacker News
🔬Lean