🔍 Type Inference - abnv · Scour

Quadratic Micropass Type Inference ✅Type Checking

articles.luminalang.com·6d·Hacker News·

Resource-Theoretical Unification of Mpemba Effects: Classical and Quantum ⚡Algebraic Effects

link.aps.org·1d·

Cheng’s trip to boost illusion of unification: source ↔️Bidirectional Sync

taipeitimes.com·1d·

Calling North Korea a separate state raises a constitutional question 🌉Language Bridges

dailynk.com·6d·

South Korean Unification Minister Uses North Korea’s Formal Name 🌉Language Bindings

thediplomat.com

·2d·

rahultumpala/dsm: Declarative finite state machines and pipelines 🎭Staged Interpreters

github.com·5h·

Fewer South Korea students view ties with North Korea as hostile, poll shows 🌳Tree Diffing

nknews.org·2d·

Your AI Just Wrote 500 Lines of Code. Can You Prove Any of It Works? 🔍Static Analysis

pub.towardsai.net

·20h·

Linear types proposal for Hare 📏Linear Types

yerinalexey.srht.site·23h·Lobsters, Hacker News·

Inference Engines — A visual deep dive into the journey of a token down the transformer layers ⚡Tokenizer Optimization

femiadeniran.com·4d·r/LocalLLaMA·

Formal Verification in Any Language for Everybody 🏭Functional Compilers

dev-log.me·1d·Hacker News·

Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification 🧩SAT Solvers

goedelcodeprover.github.io·6d·Hacker News·

We are so close to string interpolation thanks to reflection 🔗Lexical Scoping

godbolt.org·2d·r/cpp·

Rust's next-generation trait solver 🦀Rust Macros

lwn.net·2d·Lobsters, Hacker News, r/programming·

Theory of Constraints in a Go Pipeline 🐹Go Internals

binaryphile.com·4d·

MACHINE LEARNING 🌱Minimal ML

zackmendel.medium.com·1d·

Opposition pounces on Seoul’s hesitation to condemn North Korean right abuses 💬Error Message Design

nknews.org·6d·

Matrix Calculus (for ML and beyond) -- notes. 🔍ML Language

kosti.bearblog.dev·2d·

Wrapping my head around Tail Recursion and TCO 🔄Tail Recursion

functiondispatch.substack.com·1d·r/programming·

Making AI Inference Fit Where It Shouldn’t ✨Effect Inference

medium.com

·5d·

Loading more...