🔢 lambda calculus - abnv · Scour

Elliptic Multiple Polylogarithms with Arbitrary Arguments in \textsc{GiNaC}

arxiv.org·1d

🎭Polymorphic Variants

A note on parameterized testing

blog.gnoack.org·6h

🧪Compiler Testing

Lean 4 and the Curry–Howard correspondence

wildonblog.wordpress.com·2d

📜Proof Languages

AWS Lambda with Rust and Closure Syntax

aws.amazon.com·3d·

Discuss: r/rust

🔗Borrowing Extensions

GLM 5 is already on huggingface!

huggingface.co·12h·

Discuss: r/LocalLLaMA

📈Earley Parsing

Dear Agent: Prove it.

rijnard.com·2h·

Discuss: Hacker News

⚖️Inference Rules

Regime-Declared Mathematics as Survivor Sets

zboralski.github.io·2d·

Discuss: Hacker News

⚖️Inference Rules

Announcing TypeScript 6.0 Beta

devblogs.microsoft.com·11h·

Discuss: Hacker News, r/javascript, r/programming, r/typescript

🌊Gradual Typing

Bounded Modal Logic

arxiv.org·1d

📏Linear Logic

Python Morsels: Need switch-case in Python? It's not match-case!

pythonmorsels.com·1d

🎯Pattern Matching

Bringing a jewel-encrusted warhammer to a knife fight

reorchestrate.com·9h·

Discuss: Hacker News, r/rust

13. C# (Project A

dev.to·14h·

Discuss: DEV

Show HN: I built an AI executive assistant you use through iMessage

getattache.com·14h·

Discuss: Hacker News

💬Smalltalk VMs

Go - Unit & Integration Testing

linkedin.com·9h·

Discuss: r/programming

🧪Zig Testing

I got bored and had Claude design and implement a programming language

github.com·1d·

Discuss: Hacker News

✅Type Checking

Struggling Towards an Algebraic Theory of Music

reasonablypolymorphic.com·1d·

Discuss: Hacker News

🔗Concatenative Theory

Stability of \(L^p\) Dirichlet solvability under small bi-Lipschitz transformations of domains

chipublib.idm.oclc.org·22h

⚡Partial Evaluation

news.ycombinator.com·2d·

Discuss: Hacker News

LISP Prolog and Evolution

blog.samibadawi.com·13h

anglesmorts.org·2d

🔗Lexical Scoping

Loading more...