🔗 Concatenative - abnv · Scour

Making a Language

thunderseethe.dev·11h

🔬programming language theory

GNU C Language Manual

gnu.org·14h

🪄C Metaprogramming

How I Used Methodable to Have a Nice Tuesday

blog.danielsosebee.com·3h

📚Self-Documenting Code

In Praise of APL (1977)

jsoftware.com·1h·

Discuss: Hacker News

🔬programming language theory

HELIOS: Hierarchical Graph Abstraction for Structure-Aware LLM Decompilation

arxiv.org·5h

📊Graph Compilers

Letting the Tiger out of Its Cage: Bosonic Coding without Concatenation

link.aps.org·1d

⛪Church Encoding

Bamum Syllabary

omniglot.com·1h·

Discuss: Hacker News

🎓Educational Compilers

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

medium.com·17h·

Discuss: Hacker News

🪢Rope Data Structures

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

C++ Is An Absolute Blast

learncodethehardway.com·6h

🪄C Metaprogramming

How to Write Your Own Programming Language in C#

codemag.com·2d

🔗Concatenative Languages

dev.to·18h·

Discuss: DEV

📚Stack Languages

prompt abiogenesis ;-)

lnebres.bearblog.dev·9h

The Only Two Markup Languages

lobste.rs·1d·

Discuss: Lobsters

🎨Domain-Specific Languages

On Learning Elixir

denvaar.dev·1d

🚂Error Propagation

Evening Consolidation

bluesnews.com·9h

🔗Unification

Rainbow Query Language

rbql.org·1d

📊Query Optimizers

Iterative multi-word anagram solver

boulter.com·1d

🤖Suffix Automata

Describe, not Is

ijo.la·1d

🔗Concatenative Theory

abelianization of an additive category in nLab

ncatlab.org·17h

🔗Category Theory

Loading more...