🔍 Type Inference - abnv · Scour

Practical Refinement Session Type Inference (Extended Version)

arxiv.org·4d

📞Session Types

A geometric foundation model for enzyme retrieval with evolutionary insights

nature.com·1h

🗺️Region Polymorphism

Compiler-Guided Inference-Time Adaptation: Improving GPT-5 Programming Performance in Idris

arxiv.org·16h

🔗Dependent Types

Atomistic, but non-complete lattices

dominiczypen.wordpress.com·11h

🔶Lattice Theory

Show HN: The Algorithm's Favorite Child

chatbotkit.com·1d·

Discuss: Hacker News

💬Interactive REPLs

Formal Verification First: How AI Supports But Cannot Replace It

semiengineering.com·13h

🎭Program Synthesis

Project NIKA: Unlocking Epistemic Agency in 4-Bit Quantized Models

pub.towardsai.net

·17h

∀Quantified Types

AI-Powered Knowledge Graph Generator & APTs, (Thu, Feb 12th)

isc.sans.edu·18h

🧠Semantic Parsing

The Machine Learning Practitioner’s Guide to Speculative Decoding

machinelearningmastery.com·2d

🚀Tokenizer Performance

Lean 4 and the Curry–Howard correspondence

wildonblog.wordpress.com·4d

📜Proof Languages

(Re)Discovering Natural Laws

lesswrong.com·23h

🔗Concatenative Theory

I built a scripting language that compiles to self-contained binaries

dev.to·6h·

Discuss: DEV

🌱Minimal Lisps

karpathy.github.io·1d·

Discuss: Lobsters, Hacker News

🌱Tiny Languages

docs.modular.com·2d

🔗Go Generics

Show HN: Toil, a go library for simple parallelism

github.com·5h·

Discuss: Hacker News

🐹Go Internals

Completed Hyperparameter Transfer across Modules, Width, Depth, Batch and Duration

machinelearning.apple.com·21h

Fragments: February 13

martinfowler.com·5h·

Discuss: Hacker News

🎭Staged Interpreters

How to think like a computer scientist: Learning with C

open.umn.edu·18h·

Discuss: r/C_Programming

A note on parameterized testing

blog.gnoack.org·1d

🧪Compiler Testing

Addendum: Data splitting against information leakage with DataSAIL

nature.com·8h

🔄Subinterpreters

Sign up or log in to see more results