Readable Code Is Unreadable
blog.wilsonb.com·2d·
Discuss: Hacker News
🔤Typography
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·1d
Handwriting
Flag this post
GPT-4 Functions as Monoidal Structures: Sequential ∘ and Parallel ⊗
lightcapai.medium.com·11m·
Discuss: Hacker News
Pencils
Flag this post
AILA--First Experiments with Localist Language Models
arxiv.org·10h
🖌️Calligraphy
Flag this post
An ARENA 6.0 Capstone: Model Organism of Encoded Reasoning
lesswrong.com·16h
📝Shorthand
Flag this post
My query languages library pivot
dev.to·1h·
Discuss: DEV
📝Shorthand
Flag this post
Personal Standard Library - Generic and Type-Safe Containers
reddit.com·1d·
Pencils
Flag this post
A Short Survey of Compiler Backends
abhinavsarkar.net·1d·
🔤Typography
Flag this post
Show HN: Kumi – a portable, declarative, functional core for business logic
kumi-play-web.fly.dev·20h·
Discuss: Hacker News
🔤Typography
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·1d
Pencils
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
mchav.github.io·1d·
Discuss: r/programming
Handwriting
Flag this post
Creating Lisp Systems
renato.athaydes.com·1d·
Discuss: Hacker News
🔤Typography
Flag this post
Automated Prompt Generation for Code Intelligence: An Empirical study and Experience in WeChat
arxiv.org·10h
🔤Typography
Flag this post
A QOJ week
blog.mitrichev.ch·19h·
Pencils
Flag this post
n8n Matrix Display
hackster.io·4h
Pencils
Flag this post
Coding on Paper
thepalindrome.org·1h·
Discuss: Hacker News
Pencils
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·2d
🔤Typography
Flag this post
Query Compilation Isn't as Hard as You Think
databasearchitects.blogspot.com·4h·
📝Shorthand
Flag this post
New Asymptotic Results on Predicting Non-linear Polynomial Congruential Generators
eprint.iacr.org·1d
Pencils
Flag this post
Detailed Technical Documentation on AI Implementation Logic (Taking Large Language Models as an Example )
nbtab.com·2d·
Discuss: DEV
Mahayana Buddhism
Flag this post