𝕋 Type Theory - ghosh.debasish · Scour

A Gradual Probabilistic Lambda Calculus 🔤PLT

arxiv.org·2d

Incremental Lambda Calculus λFunctional Programming

inc-lc.github.io·1h·Hacker News

Binary Lambda Calculus is Hard 🔤PLT

aartaka.me·4d·r/functionalprogramming

All of the String types λFunctional Programming

lambdalemon.gay·2d·Lobsters, Hacker News

anzellai/sky: Sky — an Elm-inspired language that compiles to Go. Hindley-Milner types, server-driven UI (Sky.Live), single binary output. 🔤PLT

github.com·4d·Lobsters, Hacker News

Helper–exploiter polymorphism with ecological inheritance 🔤PLT

pnas.org·2d

Author Correction: Foundation model of neural activity predicts response to new stimulus types 🧠LLMs

nature.com·1d

Types of Functions in JavaScript 🔤PLT

geeksforgeeks.org·5d·DEV

I built a free interactive Go course: 11 lessons from zero to building a concurrent file scanner 🖥️Systems Programming

bytelearn.dev·2d·r/golang

What's the magic behind the function call inference? λFunctional Programming

ziggit.dev·4d

Prevent confidential data leaks at compile time with labelled types in Sigil 🔧Intermediate Representations

inerte.github.io·1d·Hacker News

When a Straight Line Lies: The Curve Fitting Chapter Nobody Explains 🔤PLT

medium.com·5d

Nushell Niceties: Transform Values Into Semver Types 🦀Rust

jdriven.com·3d

Squeeze Evolve: Unified Multi-Model Orchestration for Verifier-Free Evolution 🧠Reasoning Models

arxiv.org·6h

LLM inference engine from scratch in C++ 🧠Reasoning Models

anirudhsathiya.com·4d·Hacker News

Building an AI-Native Multi-Cloud Billing Tool in Rust: Traits, Feature Gates, and 5 Crypto Schemes… 🖥️Systems Programming

liber-xue.medium.com·3d

Co-design for Trustworthy AI: An Interpretable and Explainable Tool for Type 2 Diabetes Prediction Using Genomic Polygenic Risk Scores 🧠Reasoning Models

arxiv.org·6h

metareflection/guardians: an implementation of the ideas in Erik Meijer's "Guardians of the Agents: Formal Verification of AI Workflows" (Communications of the ACM, January 2026) 🤖Claude

github.com·1d·Hacker News

Wiring the 'Why': A Unified Taxonomy and Survey of Abductive Reasoning in LLMs 🧠Reasoning Models

arxiv.org·6h

Blink: CPU-Free LLM Inference by Delegating the Serving Stack to GPU and SmartNIC 🧠Reasoning Models

arxiv.org·6h

Loading more...