Cactus Language • Pragmatics 9
inquiryintoinquiry.com·12h
📝Concrete Syntax
Linear Types for Programmers
twey.io·2d·
Discuss: Hacker News
🔒Linear Types
Automating Boundary Filling in Cubical Type Theories
arxiv.org·22h
🔶Cubical Type Theory
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·3d
🔗Functional Compilers
Challenges of Pseudocode Expansion
funcall.blogspot.com·19h·
Discuss: www.blogger.com
🔗Lisp
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·15h
⚗️Algebraic Coding
Juris.js: The Thousand Masters Architecture That AI Can't Even Figure Out Where to Start
dev.to·6h·
Discuss: DEV
🦀Rust Macros
Introductory Computer Science and Software Engineering Topics
albertyw.com·1d
🛠Language Design
In Support Of Shitty Types
lucumr.pocoo.org·8h·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
Depth=2
tristanpemble.com·7h·
Discuss: Hacker News
🔗Dependency Resolution
The smallest embeddable scripting language, part 1 | Lobsters
lobste.rs·1d·
Discuss: Lobsters
🔗Concatenative Programming
The Generativity Pattern in Rust
arhan.sh·8h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
ECMA-262, 16th edition, June 2025
262.ecma-international.org·1d·
Discuss: Hacker News
🎯Gradual Typing
Show HN: Using DSPy to enrich a dataset of the Nobel laureate network
blog.kuzudb.com·1h·
Discuss: Hacker News
📊Citation Graphs
Creating a Toy Programming Language with Actor-Based Parallelism
pointersgonewild.com·2d·
Discuss: Hacker News
🔄Lens Laws
Briefly explained: What's behind the buzzword AI agents
heise.de·15h
🎙️Whisper
Extensions and Shadows (9)
sites.psu.edu·12h
✨Effect Handlers
Typed languages are better suited for vibecoding
solmaz.io·1d·
Discuss: Hacker News
🎯Gradual Typing
Who Am I in the Eye of AI?
lightcapai.medium.com·8h·
Discuss: Hacker News
🔲Cellular Automata