A Laser-Cut Tromino Puzzle
divisbyzero.com·3h
🪢Rope Data Structures
Flag this post
Scala vs F#
alexn.org·14h
🔧Nickel
Flag this post
Promises
theminimalists.com·1d
🔗Concatenative
Flag this post
A Formulation of Slop: How Optimization Pressure Destroys Meaning
intuitmachine.medium.com·9h·
Discuss: Hacker News
🔬programming language theory
Flag this post
PWC 345: I Went to the Mountains
dev.to·2d·
Discuss: DEV
🌳Tree Walking
Flag this post
The ChatGPT effect: We’ve all started talking like robots
english.elpais.com·16h
📚Factor
Flag this post
How to Use Zorn's Lemma
gowers.wordpress.com·6d·
Discuss: Hacker News
🧮Combinator Calculus
Flag this post
“Fixing” the Definitions of Philosophical Terms
dailynous.com·3d
🎯Type Theory
Flag this post
Anthropic Research Shows How LLMs Perceive Text via @sejournal, @martinibuster
searchenginejournal.com·2d
🔍ML Language
Flag this post
4th Grade Teacher's One Ten (118)
johannoesterreicher.substack.com·1d·
Discuss: Substack
🧸Toy Compilers
Flag this post
Stable Video Infinity: Infinite-Length Video Generation with Error Recycling
paperium.net·14h·
Discuss: DEV
🌊Streaming Lexers
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·1d·
🔗Weak References
Flag this post
A Thrilling Vision, a Daunting Job.
languagehat.com·1d
🏺Code Archeology
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·1d·
Type Checking
Flag this post
Research roundup: 6 cool science stories we almost missed
arstechnica.com·4h
🤐Zipper Structures
Flag this post
🧠 Soft Architecture (Part B): Emotional Timers and the Code of Care (Part 5 of the SaijinOS series)
dev.to·8h·
Discuss: DEV
🎮Language Ergonomics
Flag this post
Cheesy dialogue between Immanuel Kant and Claude as written by Claude.
reddit.com·1h·
Discuss: r/ClaudeAI
⚖️Inference Rules
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·3d·
λLambda Calculus
Flag this post
Large reasoning models almost certainly can think
venturebeat.com·16h
⚖️Inference Rules
Flag this post