λ Type Theory - ch1n3du · Scour

Incremental Lambda Calculus ⚙️Compilers

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

Binary Lambda Calculus is Hard ⚙️Compilers

aartaka.me·4d·r/functionalprogramming

ProofSketcher: Hybrid LLM + Lightweight Proof Checker for Reliable Math/Logic Reasoning 📐Formal Methods

arxiv.org·1d

New course: Efficient Inference with SGLang: Text and Image Generation, built in partnership with LMSys @lmsysorg and RadixArk @radixark, and taught by Richard ... ⚙️Compilers

twitter.macworks.dev

·22h

All of the String types ⚙️Compilers

lambdalemon.gay·2d·Lobsters, Hacker News

Types of Functions in JavaScript 📐Formal Methods

geeksforgeeks.org·5d·DEV

yogthos/chiasmus: Chiasmus is an MCP server that gives language models access to formal verification ⚙️Compilers

github.com·1d

Helper–exploiter polymorphism with ecological inheritance 🌀Complexity Science

pnas.org·2d

What's the magic behind the function call inference? 📐Formal Methods

ziggit.dev·4d

I built a free interactive Go course: 11 lessons from zero to building a concurrent file scanner ⚙️Compilers

bytelearn.dev·2d·r/golang

When a Straight Line Lies: The Curve Fitting Chapter Nobody Explains 💻CS Theory

medium.com·5d

Author Correction: Foundation model of neural activity predicts response to new stimulus types 📡Information Theory

nature.com·1d

Wiring the 'Why': A Unified Taxonomy and Survey of Abductive Reasoning in LLMs 🔍Interpretability

arxiv.org·11h

Beyond Static Analysis: Proving Automotive Cybersecurity and Functional Safety 📐Formal Methods

embedded.com·2d

LLM inference engine from scratch in C++ ⚙️Compilers

anirudhsathiya.com·4d·Hacker News

Building a ready-made cancer data library 📡Information Theory

sciworthy.com·1d

Signaling AI Preferences on ATProto 🔍Interpretability

ngerakines.leaflet.pub·5d

What Is AI Inference? 🔍Interpretability

sambanova.ai·3d

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

liber-xue.medium.com·4d

Squeeze Evolve: Unified Multi-Model Orchestration for Verifier-Free Evolution 🔍Interpretability

arxiv.org·11h

Loading more...