🔢 lambda calculus - abnv · Scour

Main Content || Math ∩ Programming

jeremykun.com·3d

🔢Algebraic Datatypes

Constructors in Java:

dev.to·1d·

Discuss: DEV

🔬programming language theory

Clojure Deref (Feb 10, 2026)

clojure.org·2d

Javascript Question of the Day #14 [Talk::Overflow]

linkedin.com·3d·

Discuss: DEV

📝Rope Editors

Rob Pike's Simple Regular Expressions

bruceediger.com·4d

🔤Regex Engines

charleskawczynski/CodeComplexity.jl: A package for estimating code complexity in Julia

github.com·2d

🚀Code Motion

Generative Type experiments

brendandawes.com·2d

🤖Code Generation

So we have any for interface{} and nil

reddit.com·4d·

Discuss: r/golang

🦉Swift Generics

Dynamical sequences: closure properties and automatic identity proving

arxiv.org·2d

🧮Combinator Calculus

Show HN: ShapeGuard – Shape Contracts for NumPy and Jax

news.ycombinator.com·3d·

Discuss: Hacker News

🎭Racket Modules

The Evolution of a Lean Programmer

unnamed.website·3d·

Discuss: Hacker News

🎭Staged Interpreters

Coding A PoS Tagger from Scratch — A Statistical Part-of-Speech Tagger | NLP

pub.towardsai.net

·2d

🔤Language Tokenizers

What I’m Learning in Data Structures: The Algorithm Behind Compression (bzip, etc.)

dev.to·12h·

Discuss: DEV

📦Compression Algorithms

Differential Logic • 4

inquiryintoinquiry.com·3d

∫Mathematical DSLs

SMTLIB as a Compiler IR I

philipzucker.com·3d·

Discuss: Hacker News

📚Forth Compilers

FPC and Lazarus coding style

forum.lazarus.freepascal.org·3d

⛪Church Encoding

Tip of the Week #158: Abseil Associative containers and contains()

abseil.io·4d

🗂️Type Indexing

[2602.09674] A homotopical Dold-Kan correspondence for Joyal's category $Θ$ and other test categories

arxiv.org·22h

🔗Category Theory

Sympathy for the Model, or, Welfare Concerns as Takeover Risk

lesswrong.com·2d

🔐Capability Calculus

Sound and Practical Points-To Analysis for Incomplete C Programs [pdf]

sjalander.com·2d·

Discuss: Hacker News

⚡Partial Evaluation

Loading more...