Math Resource – "Hard Math for Elementary School"
kidswholovemath.substack.comΒ·33mΒ·
Discuss: Substack
πŸ“Mathematical Computing
How Humans Work - an integrated model
mindblog.dericbownds.netΒ·6h
πŸ’«Effect Systems
Current AI Labs Evaluation Tier List, September 2025
preview.redd.itΒ·6hΒ·
Discuss: r/singularity
πŸ—ΊοΈRegion Inference
A formal proof of C∞ISRT
bsky.appΒ·3dΒ·
♾️Codata Types
Building Impromptu - Kiro Hackathon
imprompt.toΒ·1dΒ·
Discuss: DEV
πŸ’¬Interactive REPLs
Show HN: Building an open-source agentic terminal
davehudson.ioΒ·1dΒ·
Discuss: Hacker News
πŸ’»Terminal UIs
trpc-agent-go: a powerful Go Agent framework for building intelligent agent systems
reddit.comΒ·2hΒ·
Discuss: r/golang
🎭Erlang OTP
Increasing alignment of large language models with language processing in the human brain
nature.comΒ·1d
πŸͺœRecursive Descent
Discrete Time System Properties- Plainly
pub.towardsai.netΒ·6h
πŸ’«Effect Systems
I made a Chrome extension that forces you to learn React :D
reddit.comΒ·1dΒ·
Discuss: r/reactjs
🏠indieweb
Following my passion #2: position vector and learning more Zig
dev.toΒ·1dΒ·
Discuss: DEV
⚑Zig
Erase and Rewind: Precise LLM Memory Manipulation for Safer AI by Arvind Sundararajan
dev.toΒ·1dΒ·
Discuss: DEV
πŸ”—Memory Linearization
IsoSched: Preemptive Tile Cascaded Scheduling of Multi-DNN via Subgraph Isomorphism
arxiv.orgΒ·7h
🌱Green Threads
How to Become a Machine Learning Engineer (Step-by-Step)
towardsdatascience.comΒ·1d
🌱Minimal ML
Platoon-Centric Green Light Optimal Speed Advisory Using Safe Reinforcement Learning
arxiv.orgΒ·7h
πŸ”¬Nanopasses
Opus 4.1 thinks too quick?
reddit.comΒ·2hΒ·
Discuss: r/ClaudeAI
πŸ“šFactor
Mitigating Strategy Preference Bias in Emotional Support Conversation via Uncertainty Estimations
arxiv.orgΒ·7h
πŸ“ˆEarley Parsing
Show HN: Semlib – Semantic Data Processing
github.comΒ·1dΒ·
Discuss: Hacker News
πŸ”ML Language
Effective Software Engineering with Claude Code
reddit.comΒ·1dΒ·
Discuss: r/ClaudeAI
⚑Interpreter Optimization