Progress for today, self sabotage and the cuteness
refarmer.ca·26m
🔗Lexical Scoping
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·12h
⚡functional programming
Flag this post
Growing explanations together
clojurecivitas.github.io·3d
🔄Bootstrapping
Flag this post
Writing For The AIs
💫Effect Systems
Flag this post
Magisterium
💫Effect Systems
Flag this post
Objects as Random Access Memory
tbr.bearblog.dev·2d
🤐Zipper Structures
Flag this post
Hard2Verify: A Step-Level Verification Benchmark for Open-Ended Frontier Math
🧩SAT Solvers
Flag this post
Enriching and Fresh
💫Effect Systems
Flag this post
Reflections on Trusting Trust (1984)
🏷️Memory Tagging
Flag this post
Understanding Hardness of Vision-Language Compositionality from A Token-level Causal Lens
arxiv.org·3d
📋S-Expression
Flag this post
Contrastive Knowledge Transfer and Robust Optimization for Secure Alignment of Large Language Models
arxiv.org·22h
🪜Recursive Descent
Flag this post
Long-range entanglement and role of realistic interaction in braiding of non-Abelian quasiholes in fractional quantum Hall phases
journals.aps.org·2h
📐Quotient Types
Flag this post
In AI, Everything is Meta
🎭Program Synthesis
Flag this post
Espresso Shots 11-02-25
makoism.com·1d
🏠indieweb
Flag this post
Loading...Loading more...