🔗 Concatenative Theory - abnv · Scour

Bounded Modal Logic

arxiv.org·2d

📏Linear Logic

Essa frutinha substitui 4 suplementos de uma vez só

oantagonista.com.br·3h

🔗Concatenative

What I’m Learning in Data Structures: The Algorithm Behind Compression (bzip, etc.)

dev.to·1d·

Discuss: DEV

📦Compression Algorithms

Balance of abstraction

aleksei.dev·11h

🔶Lattice Theory

Rule Variant Restrictions for the Tamarin Prover

eprint.iacr.org·1d

🔍Type Inference

"Am I the only one still wondering what is the deal with linear types?"

jonmsterling.com·2h·

Discuss: Hacker News

🔍ML Language

A History of Large Language Models

gregorygundersen.com·1d

🪜Recursive Descent

Polysemanticity is a Misnomer

lesswrong.com·13h

🎰Parsing Machines

Senses Are Edited, Data Persists

ta.fo·3h

🔍Fuzzy Indexing

DMDMQ: Dr. Mardy's Dictionary of Metaphorical Quotations

drmardy.com·18h

Customizing Your Claude Code Spinner Verbs

danielmiessler.com·1d

💬Interactive REPLs

Informational Inequivalence of Formally Equivalent Mathematical Frameworks: A Multi-Framework Analysis of the Inverse Square Law

zenodo.org·2h·

Discuss: Hacker News

As within, as without

biggergig.com·22h

🔗Lexical Scoping

A Note on Flat Abstract Syntax Trees

gist.github.com·3d·

Discuss: Hacker News

🌳Tree Walking

What Agentic AI "Vibe Coding" In The Hands Of Actual Programmers / Engineers

stochasticlifestyle.com·18h

⚡Partial Evaluation

A Miserable Pile of Secrets

tbr.bearblog.dev·12h

🪢Rope Data Structures

intersection type in nLab

ncatlab.org·2d

✅Type Checking

Nuts! Peanuts That is.

pballew.blogspot.com·10m·

Discuss: Blogger

🚀Hindley-Milner+

Dear Agent: Prove it.

rijnard.com·1d·

Discuss: Hacker News

⚖️Inference Rules

vindarel: 🖌️ Lisp screenshots: today's Common Lisp applications in action

lisp-journey.gitlab.io·1d

Loading more...