🔢 Algebraic Data Types - emschwartz · Scour

Penrose: From mathematical notation to beautiful diagrams

penrose.cs.cmu.edu·1h·

Discuss: Hacker News

Building a Multi-Agent Workflow for Vendor Management with Qdrant

pub.towardsai.net·2h

Stack-Manipulation Operators

forth.com·2h

🌳Trie Structures

sirupsen/napkin-math: Techniques and numbers for estimating system's performance from first-principles

github.com·1h·

Discuss: r/programming

⚡Systems Performance

A Unified Treatment of Substitution for Presheaves, Nominal Sets, Renaming Sets, and so on

arxiv.org·2d

🧮SMT Solvers

Hershey Vector Font

paulbourke.net·1d

🔗 Introduction to PostgreSQL indexes

yellowduck.be·57m

🌲GIN Indexes

Readable and concise concatenative programming

cognate-lang.github.io·1d·

Discuss: Hacker News

🔤Tokenization

Finding a non-square mod p

johndcook.com·17h

🔐Cryptography

The weights in study on fixing the initial loss

breno.bearblog.dev·3h

📑Inverted Indexes

Solution to the Water Jug Problem

raw.org·14h

🗜️Vector Compression

Autoparser - complete refactoring of parser architecture by pwilkin · Pull Request #18675

github.com·18h·

Discuss: r/LocalLLaMA

Olmix: A framework for data mixing throughout LM development

allenai.org·1d

🔗 SQL exists, in and join checks

yellowduck.be·5h

📝Prepared Statements

Linear Representations and Superposition

ternarysearch.blogspot.com·10h·

Discuss: Hacker News, ternarysearch.blogspot.com

Programming languages

mothcodes.bearblog.dev·2d

💻Programming languages

Monads, Applicatives & Functors

slicker.me·21h

💻Programming languages

Best Practices for Claude Code

waterwave.ch·17h

🔌Claude Plugins

bsky.app·1d·

Discuss: Bluesky

🔤Tokenization

Table of Contents - Data Engineering for Large Models: Architecture, Algorithms & Projects

datascale-ai.github.io·1d·

Discuss: Lobsters

🔤Tokenization

Loading more...