Opportunistically Parallel Lambda Calculus
dl.acm.orgĀ·22hĀ·
Discuss: Hacker News
🌱Minimal Languages
Flag this post
De Bruijn Numerals
text.marvinborner.deĀ·1dĀ·
Discuss: Hacker News
λLambda Calculus
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.comĀ·2hĀ·
Discuss: Hacker News
🪜Recursive Descent
Flag this post
I Will Not Be Enabling Full Null Support In Adobe ColdFusion 2025
bennadel.comĀ·4h
šŸŒ‰Language Bindings
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.comĀ·5hĀ·
šŸ—‚ļøType Indexing
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgĀ·16h
šŸ”—Category Theory
Flag this post
Why DFS Topological Sort Writes Nodes on Backtracking
dev.toĀ·2hĀ·
Discuss: DEV
🤐Zipper Structures
Flag this post
Roadmap for Improving the Type Checker
forums.swift.orgĀ·19hĀ·
āœ…Type Checking
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.meĀ·2dĀ·
λLambda Calculus
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.comĀ·1hĀ·
Discuss: Hacker News
✨Gleam
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.comĀ·1d
šŸ”—Go Generics
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comĀ·20h
šŸ“šStack Allocation
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comĀ·1d
āš–ļøInference Rules
Flag this post
Opportunistic Mutation in Roc
roc-lang.orgĀ·2dĀ·
Discuss: Hacker News
šŸš‚Error Propagation
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.orgĀ·1dĀ·
Discuss: Hacker News
šŸ”ŖProgram Slicing
Flag this post
Down with template (or not)!
cedardb.comĀ·20h
šŸ“‹Template Compilers
Flag this post
HeraclesQL: A Python DSL for Writing Alerts
hudsonrivertrading.comĀ·1dĀ·
Discuss: Hacker News
šŸ—ƒļøQuery Compilation
Flag this post
Issue 496
haskellweekly.newsĀ·1d
šŸ‘‘Dependent Haskell
Flag this post
I Use Python, but I’m Learning R and the Tidyverse for Data Analysis Too
howtogeek.comĀ·6h
🌱Minimal Schemes
Flag this post