🎯 Hindley-Milner - hello · Scour

Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings

arxiv.org·22h

🌳Tree-sitter

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·11h·

Discuss: Hacker News

🪢Rope Data Structure

Making a Language

thunderseethe.dev·5h

🔨Compiler Design

Constraints Not Loops: Building Features in Reverse

coey.dev·1d

📝Parser Combinators

abelianization of an additive category in nLab

ncatlab.org·11h

∘Category Theory

MIT's Recursive Language Models Improve Performance on Long-Context Tasks

infoq.com·1d

💬Prompt Engineering

Introducing Names: practical namespaces for Emacs-Lisp

endlessparentheses.com·14h

🦀Rust Macros

Subterms Modulo Theories I

philipzucker.com·3d

🔍Type Inference

Attesting Model Lineage by Consisted Knowledge Evolution with Fine-Tuning Trajectory

arxiv.org·22h

Building a mini PyTorch in C++ from scratch as a high school student...

dev.to·14h·

Discuss: DEV

🧮Vector Databases

Kolmogorov Complexity

en.wikipedia.org·15h·

Discuss: Hacker News

🗜️Huffman Coding

Google Releases FunctionGemma Model

i-programmer.info·11h

Regularity bias in Solomonoff, transformers, and evolution

lesswrong.com·3h

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·15h

🦀Rust Macros

Harper: Free, Open Source Grammar Checker

writewithharper.com·1h·

Discuss: r/webdev

Generalized Statistics on Lattices

link.aps.org·20h

📊Data Science

Datomic - Datomic at Clojure/Conj 2025

blog.datomic.com·1d

📊HyperLogLog

From 75% to 99.6%: The Math of LLM Ensembles

shibaprasadb.com·20h·

Discuss: Hacker News

📊HyperLogLog

Models of generics and metaprogramming: Golang, Rust, Swift, D, and more

thume.ca·2d·

Discuss: Hacker News

📐Type Theory

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·15h

🔬Static Analysis

Loading more...