Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·5h·
Discuss: Hacker News
💻Programming languages
Ancient Scripts, Modern AI: Bridging the Divide with Morphology-Aware Tokenization by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
📝Concrete Syntax
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·3h·
Discuss: r/programming, r/rust
🧮Z3 Solver
From Legal Documents to Knowledge Graphs
neo4j.com·1d·
Discuss: Hacker News
📋Document Grammar
Defeating Nondeterminism in LLM Inference – Thinking Machines Lab
jmason.ie·3d
💻Local LLMs
The Rise of Semantic Entity Resolution
towardsdatascience.com·9h
📄Semantic Chunking
Faux Type Theory: three minimalist OCaml simple proof checker implementations
github.com·1d·
Discuss: Hacker News
🔤Type Theory
Haskell Interlude: 70: Phil Wadler
haskell.foundation·18h
🧬Functional Programming
I built an LLM from Scratch in Rust (Just ndarray and rand)
reddit.com·9h·
Discuss: r/rust
🦀Rust Borrowing
Issue 489
haskellweekly.news·3d·
Discuss: Hacker News
🔗Functional Compilers
How to Train an LLM-Recommender Hybrid that Speaks English & Item IDs
eugeneyan.com·1d
🔍Information Retrieval
LLM Rerankers for RAG: A Practical Guide
fin.ai·3h·
Discuss: Hacker News
🔍Information Retrieval
Handling Open-Vocabulary Constructs in Formalizing Specifications: Retrieval-Augmented Parsing with Expert Knowledge
arxiv.org·3d
📝ABNF Parsing
Mathematics Discovering Its Consciousness: Lasso Estimator as Cosmic Backdoor
zakelfassi.com·2h·
Discuss: Hacker News
🧮Kolmogorov Complexity
ISO C++ committee has a new chief sheep herder
shape-of-code.com·2h
📜Proof Carrying Code
A Kevin week
blog.mitrichev.ch·4h·
Discuss: blog.mitrichev.ch
📐Linear Algebra
Active use of latent tree-structured sentence representation in humans and large language models
nature.com·5d
🤖Grammar Induction
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·3d·
Discuss: Hacker News
💧Liquid Types
The State of Adversarial Prompts
blog.securitybreak.io·16h
🎯Threat Hunting
Quantum Compositionality: A New Dawn for AI Understanding
dev.to·5h·
Discuss: DEV
⚛️Quantum Information