🔍 Type Inference - tiferrei · Scour

Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference 🎯Hindley-Milner

arxiv.org·6d

Operational Self-Improvement in a Frozen 14B Language Model on Consumer Hardware: Autonomous Reasoning Constraint Generation, Architectural Diagnosis, and the MERRCURR Pipeline 🧮Z3

zenodo.org·2d·Hacker News

A typed functional language that compiles to JavaScript λFunctional Programming

peat-lang.fly.dev·14h·Hacker News

peterbabulik/The-Algorithmic-Unification-of-Number-Theory-and-Quantum-Mechanics: Empirical Evidence for a P = N P P=NP Base Reality via IBM Quantum Hardware 🔢Philosophy of Mathematics

github.com·4d·Hacker News

APL: Evaluator for a Subset of Scheme 🐫OCaml

dfns.dyalog.com·2d·Hacker News

Japanese Article: https://zenn.dev/saqula/articles/2361ce8de47570, for explaining https://github.com/aluqas/typelude project. 🐫OCaml

gist.github.com·1d·Hacker News

Circuit Transformations, Loop Fusion, and Inductive Proof 🏹Effect Systems

natetyoung.github.io·1d·Hacker News

Incremental Lambda Calculus λFunctional Programming

inc-lc.github.io·4d·Hacker News

A Perfectable Programming Language 🧮Lean4

alok.github.io·2d·Hacker News

Retrospective on binary search and comp{ress,ilat}ion (2015) 🔍CBMC

pvk.ca·5d·Hacker News

A Dumb Introduction to z3 🧮Z3 Solver

ar-ms.me·1d·Lobsters, Hacker News

Which Relations Can Be Generalized Implicitly? 🔁Fixed-Point Theory

lesswrong.com·1d

Functional repository pattern in Scheme? Decoupling and abstracting the data layer in Lisp 📝Nix Language

jointhefreeworld.org·4d·Lobsters, Hacker News

Climbing the infinite ladder of abstraction (2016) 📝Nix Language

lexi-lambda.github.io·4d·Hacker News

Toward a Uniform Algorithm and Uniform Reduction for Constraint Problems 🧮SMT Solvers

arxiv.org·5d

research!rsc: Yacc is Not Dead 🧩Parser Combinators

research.swtch.com·5d·Lobsters

The 6 Big Ideas of Typescript ❓Existential Types

sitr.us·5d·r/programming

The Exception Butterfly 🎁Monads

valhovey.github.io·3d·Hacker News

google-research/dex-lang: Research language for array processing in the Haskell/ML family 📦Module Systems

github.com·1d·Hacker News

But what about K? 🔀Brzozowski Derivatives

tony-zorman.com·5d·Lobsters, Hacker News

Loading more...