Opportunistically Parallel Lambda Calculus
dl.acm.orgĀ·21hĀ·
Discuss: Hacker News
🌱Minimal Languages
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.comĀ·1d
šŸ”—Go Generics
Flag this post
C++ is my first programming language
reddit.comĀ·19hĀ·
Discuss: r/cpp
šŸ—ļøMinimal Compilers
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.comĀ·2hĀ·
Discuss: Hacker News
šŸŽ­Racket Modules
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgĀ·16h
šŸ”—Category Theory
Flag this post
Vimovember, a daily prompt
lazybea.rsĀ·11h
šŸ’¬Interactive REPLs
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.comĀ·2hĀ·
Discuss: Hacker News
🪜Recursive Descent
Flag this post
De Bruijn Numerals
text.marvinborner.deĀ·1dĀ·
Discuss: Hacker News
λLambda Calculus
Flag this post
Roadmap for Improving the Type Checker
forums.swift.orgĀ·19hĀ·
āœ…Type Checking
Flag this post
Issue 496
haskellweekly.newsĀ·1d
šŸ‘‘Dependent Haskell
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.orgĀ·21hĀ·
🌐WASM Runtimes
Flag this post
interpreter? hmm...
dev.toĀ·3hĀ·
Discuss: DEV
šŸŽ®Language Ergonomics
Flag this post
Down with template (or not)!
cedardb.comĀ·20h
šŸ“‹Template Compilers
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.comĀ·18hĀ·
šŸ”—Weak References
Flag this post
InternSVG: Towards Unified SVG Tasks with Multimodal Large Language Models
paperium.netĀ·11hĀ·
Discuss: DEV
🌳Parser Visualization
Flag this post
7 AI Study Workflows Developers Use to Learn Faster (Prompt Recipes Included)
coursiv.ioĀ·9hĀ·
Discuss: DEV
šŸ’¬Interactive REPLs
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.comĀ·19hĀ·
Discuss: Hacker News
🌊Gradual Typing
Flag this post
A Short Introduction to Categorical Logic
youtube.comĀ·1d
āš–ļøInference Rules
Flag this post
Ajla Tutorial
ajla-lang.czĀ·19hĀ·
Discuss: Hacker News
šŸ”®Lisp Interpreters
Flag this post