🔢 lambda calculus - abnv · Scour

Clojure Deref (Feb 10, 2026)

clojure.org·2d

Constructors in Java:

dev.to·1d·

Discuss: DEV

🔬programming language theory

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

Show HN: ShapeGuard – Shape Contracts for NumPy and Jax

news.ycombinator.com·3d·

Discuss: Hacker News

🎭Racket Modules

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

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

pub.towardsai.net

·2d

🔤Language Tokenizers

The Evolution of a Lean Programmer

unnamed.website·3d·

Discuss: Hacker News

🎭Staged Interpreters

Differential Logic • 4

inquiryintoinquiry.com·3d

∫Mathematical DSLs

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

dev.to·10h·

Discuss: DEV

📦Compression Algorithms

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

quickwit-oss/quickwit lambda-ff6fdfa5

github.com·2d

📡Erlang BEAM

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·19h

🔗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

zkAgent: Verifiable Agent Execution via One-Shot Complete LLM Inference Proof

eprint.iacr.org·4d

🧩SAT Solvers

Loading more...