text as incantation
lnebres.bearblog.dev·2d
🏷️Symbol Mangling
Flag this post
13 ChatGPT prompts I use alongside my Kindle to understand books better
makeuseof.com·11h
⚖️Inference Rules
Flag this post
Three Meanings of Reference
sandordargo.com·19h·
Discuss: Hacker News, r/cpp
📇Symbol Tables
Flag this post
original ↗
jvt.me·5h
🏠indieweb
Flag this post
The Structure of Data
theprogrammersparadox.blogspot.com·10h·
🪢Rope Data Structures
Flag this post
The Writer Within
damiennoir.co.uk·19h
📚Self-Documenting Code
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·1d·
🔗Weak References
Flag this post
The ChatGPT effect: We’ve all started talking like robots
english.elpais.com·50m
📚Factor
Flag this post
“Fixing” the Definitions of Philosophical Terms
dailynous.com·2d
🎯Type Theory
Flag this post
How to Use Zorn's Lemma
gowers.wordpress.com·5d·
Discuss: Hacker News
🧮Combinator Calculus
Flag this post
Asking Paul Fussell for Writing Advice
lesswrong.com·1h
📖Literate Programming
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·1d·
Type Checking
Flag this post
Anthropic Research Shows How LLMs Perceive Text via @sejournal, @martinibuster
searchenginejournal.com·1d
🔍ML Language
Flag this post
4th Grade Teacher's One Ten (118)
johannoesterreicher.substack.com·13h·
Discuss: Substack
🧸Toy Compilers
Flag this post
A Thrilling Vision, a Daunting Job.
languagehat.com·9h
🏺Code Archeology
Flag this post
Freewriting in my head, and overcoming the “twinge of starting”
lesswrong.com·4h
🔗Concatenative
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·2d·
λLambda Calculus
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·15h·
🗂️Type Indexing
Flag this post