Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔶Cubical Type Theory
ECMA-262, 16th edition, June 2025
262.ecma-international.org·1d·
Discuss: Hacker News
🎯Gradual Typing
The smallest embeddable scripting language, part 1 | Lobsters
lobste.rs·1d·
Discuss: Lobsters
🔗Concatenative Languages
Challenges of Pseudocode Expansion
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🔗Lisp
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
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
Juris.js: The Thousand Masters Architecture That AI Can't Even Figure Out Where to Start
dev.to·15h·
Discuss: DEV
🦀Rust Macros
A New Concurrent ML in Guile Scheme
wingolog.org·2h·
Discuss: Hacker News
🔄Lens Laws
Introductory Computer Science and Software Engineering Topics
albertyw.com·1d
🛠Language Design
Extensions and Shadows (9)
sites.psu.edu·21h
✨Effect Handlers
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·21h
📝Concrete Syntax
lydiahallie/javascript-questions
github.com·2d
🔗Concatenative Languages
A Gentle Introduction To Fortran
hackaday.com·18h·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
In Support Of Shitty Types
lucumr.pocoo.org·16h·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·3d
🔗Functional Compilers
When vibe coding, isn't the source code the prompt?
boston.conman.org·8h·
Discuss: Lobsters, Hacker News
🔓Reverse engineering
Linear Types for Programmers
twey.io·2d·
Discuss: Hacker News
🔒Linear Types
ProCut: LLM Prompt Compression via Attribution Estimation
arxiv.org·7h
⚙️Compression Benchmarking
The Generativity Pattern in Rust
arhan.sh·17h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Learning Programming Languages Efficiently
flyingmachinestudios.com·13h·
Discuss: Hacker News
🌳Incremental Parsing