How kids learn when to use capital letters: It's not just about rules
phys.org·1d
📚Factor
Flag this post
The Arbitrage Window
🗂️Term Indexing
Flag this post
A self-rewriting AI from KAUST revives Jürgen Schmidhuber’s vision of a Gödel Machine
the-decoder.com·17h
🎭Program Synthesis
Flag this post
Locating the Lemniscate
alexkritchevsky.com·1d
📐Quotient Types
Flag this post
The case against boolean logic
⚖️Inference Rules
Flag this post
AWK technical notes (2023)
🐚Shell Languages
Flag this post
Mastering Web Internationalization
💬REPL Design
Flag this post
Structure-Preserving Physics-Informed Neural Network for the Korteweg--de Vries (KdV) Equation
arxiv.org·4h
📋JSON Parsing
Flag this post
Reducing students' misconceptions about video game development. A mixed-method study
arxiv.org·4h
🌱Minimal ML
Flag this post
Human Values ≠ Goodness
lesswrong.com·1d
∀Quantified Types
Flag this post
In AI, Everything is Meta
🎭Program Synthesis
Flag this post
RegionRAG: Region-level Retrieval-Augumented Generation for Visually-Rich Documents
arxiv.org·1d
⚖️Weighted Automata
Flag this post
Enriching and Fresh
💫Effect Systems
Flag this post
Patient-Centered Summarization Framework for AI Clinical Summarization: A Mixed-Methods Design
arxiv.org·1d
🌱Minimal ML
Flag this post
Building WriteRight: My Journey Creating an AI Writing Assistant with Mastra
🎮Language Ergonomics
Flag this post
Reflections on Trusting Trust (1984)
🏷️Memory Tagging
Flag this post
Loading...Loading more...