Cognitive and Gestalt psychology in your code: SMVP pattern
github.com·1h·
Discuss: Hacker News
✅Format Verification
Ancient Scripts, Modern AI: Bridging the Divide with Morphology-Aware Tokenization by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
📝Concrete Syntax
A Kevin week
blog.mitrichev.ch·4h·
Discuss: blog.mitrichev.ch
📐Linear Algebra
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
LLM Rerankers for RAG: A Practical Guide
fin.ai·3h·
Discuss: Hacker News
🔍Information Retrieval
On training binary neural networks
kevinmartinjose.com·6h
📊Quantization
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·3d·
Discuss: Hacker News
💧Liquid Types
Handling Open-Vocabulary Constructs in Formalizing Specifications: Retrieval-Augmented Parsing with Expert Knowledge
arxiv.org·3d
📝ABNF Parsing
A Breadboard Computer in Three Chips
hackaday.com·2d
🖥️Hardware Architecture
The Rise of Semantic Entity Resolution
towardsdatascience.com·9h
📄Semantic Chunking
From Legal Documents to Knowledge Graphs
neo4j.com·1d·
Discuss: Hacker News
📋Document Grammar
ISO C++ committee has a new chief sheep herder
shape-of-code.com·2h
📜Proof Carrying Code
Defeating Nondeterminism in LLM Inference – Thinking Machines Lab
jmason.ie·3d
💻Local LLMs
You should be rewriting your prompts
maxleiter.com·1d
📝Concrete Syntax
Mathematics Discovering Its Consciousness: Lasso Estimator as Cosmic Backdoor
zakelfassi.com·2h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Charles Sanders Peirce, George Spencer Brown, and Me • 19
inquiryintoinquiry.com·4d
🔤Type Theory
Active use of latent tree-structured sentence representation in humans and large language models
nature.com·5d
🤖Grammar Induction
I built an LLM from Scratch in Rust (Just ndarray and rand)
reddit.com·9h·
Discuss: r/rust
🦀Rust Borrowing
Lessons from using AI in Discovery
thoughtbot.com·1h
🕵️Metadata Mining
Python, Deep Learning, and LLMs: A Crash Course for Complete Beginners
python2llms.org·1h·
Discuss: Hacker News
💻Local LLMs