Dingbats > emoji?
rubenerd.com·2d
🇯🇵Japanese Computing
Using Information Entropy To Make Choices / Choose Experiments
blog.demofox.org·4m
🔲Cellular Automata
jnumbers.htm at Trussel
trussel.com·2d
🔣Unicode
Functional Threading “Macros”
aartaka.me·22h
🧠Lisp Dialects
Vjeux » Birth of Prettier
blog.vjeux.com·12h·
📝Concrete Syntax
Zany Neighbors: From Pet Peacocks to Naked Beekepers
atlasobscura.com·1d
📼Cassette Culture
Building Effective Text-to-3D AI Agents: A Hybrid Architecture Approach
addy.rocks·59m·
Discuss: Hacker News
🧮SMT Solvers
Sampling at Negative Temperature
cavendishlabs.org·7h·
Discuss: Hacker News
🧮Kolmogorov Bounds
Three important things to get right for successful AI Coding
kau.sh·11h
Proof Automation
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·17h·
Discuss: Hacker News
📝Concrete Syntax
Doodling icons in a grid
sachachua.com·4d
🖋Typography
Why Reactive Programming Hasn't Taken Off in Python (and Why Signals)
bui.app·4h·
Discuss: Hacker News
Effectful Programming
Uncanny academic valley: Brian Wansink as proto-chatbot
statmodeling.stat.columbia.edu·14h
🔲Proof Irrelevance
Breaking decompilers with single-function, and no-main() C codebases
joshua.hu·3d·
Discuss: Hacker News
🧠Lisp Dialects
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·8h·
Discuss: Hacker News
🧮Algebraic Datatypes
Memorizing a list of seed words
johndcook.com·7h·
Discuss: Hacker News
Awesome lists
Show HN: URI-Transformer: AI architecture that models meaning. 99.9% less memory
github.com·1d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Embracing the parallel coding agent lifestyle
simonw.substack.com·3h·
Discuss: Substack
🌳Incremental Parsing
psudoFont Liga Mono: A programming font with ligatures!
github.com·2d·
Discuss: r/programming
🔠Terminal Fonts
Joy & Curiosity #56
registerspill.thorstenball.com·20h
⚙️Proof Engineering