🔬 Hindley-Milner Extensions - abnv · Scour

Smarter together in concrete:one unified data language

concretedatamodel.com·17h

🔢Algebraic Datatypes

Owning the AI Pareto Frontier

latent.space·9h

🏰Capability Machines

Python to Wisp: The Lisp That Stole Python's Indentation

dev.to·22h·

Discuss: DEV

mitsuhiko/insta: A snapshot testing library for rust

github.com·1d

🔒Rust Borrowing

snakemake.github.io·17h

🚂Cranelift Backend

Building Chess in about 350 lines of Clojure

sammystraus.com·1d·

Discuss: Hacker News

Lean 4 and the Curry–Howard correspondence

wildonblog.wordpress.com·3d

📜Proof Languages

AI Website Builders

trendhunter.com·21h

Natural Hypergradient Descent: Algorithm Design, Convergence Analysis, and Parallel Implementation

arxiv.org·1d

🪜Recursive Descent

N-Grams and Other Experiments

dotterrer.bearblog.dev·1d

Yori – Isolating AI Logic into "Semantic Containers" (Docker for Code)

news.ycombinator.com·3h·

Discuss: Hacker News

The Machine Learning Practitioner’s Guide to Speculative Decoding

machinelearningmastery.com·1d

🚀Tokenizer Performance

Informational Inequivalence of Formally Equivalent Mathematical Frameworks: A Multi-Framework Analysis of the Inverse Square Law

zenodo.org·3h·

Discuss: Hacker News

Patterns of Application Development Using… [PDF/iPad/Kindle]

leanpub.com·1d

🎮Language Ergonomics

LISP Prolog and Evolution

blog.samibadawi.com·1d

An Ontology of Representations: Limits of Universality

lesswrong.com·10h

💫Effect Systems

Show HN: Solving Sudoku reasoning via Energy Geometric models

davisgeometric.com·22h·

Discuss: Hacker News

🧩Constraint Solvers

Moltis: Rust based AI assistant with memory, tools, and self-extending skills

moltis.org·12h·

Discuss: Hacker News

🚂Cranelift Backend

Gibbs Measures from Deep Shaped Multilayer Perceptrons

link.aps.org·19h

🪜Recursive Descent

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

pub.towardsai.net

·3h

∀Quantified Types

Sign up or log in to see more results