Math Resource – "Hard Math for Elementary School"
kidswholovemath.substack.com·7h·
Discuss: Substack
📐Mathematical Computing
How Humans Work - an integrated model
mindblog.dericbownds.net·13h
💫Effect Systems
Current AI Labs Evaluation Tier List, September 2025
preview.redd.it·13h·
Discuss: r/singularity
🗺️Region Inference
A formal proof of C∞ISRT
bsky.app·3d·
Discuss: r/LessCredibleDefence
♾️Codata Types
Building Impromptu - Kiro Hackathon
imprompt.to·2d·
Discuss: DEV
💬Interactive REPLs
Show HN: Building an open-source agentic terminal
davehudson.io·2d·
Discuss: Hacker News
💻Terminal UIs
trpc-agent-go: a powerful Go Agent framework for building intelligent agent systems
reddit.com·9h·
Discuss: r/golang
🎭Erlang OTP
CTD after switching Vortex profiles
pastebin.com·20h·
Discuss: r/skyrimmods
🔐Ownership Types
Discrete Time System Properties- Plainly
pub.towardsai.net·13h
💫Effect Systems
How to Become a Machine Learning Engineer (Step-by-Step)
towardsdatascience.com·2d
🌱Minimal ML
Platoon-Centric Green Light Optimal Speed Advisory Using Safe Reinforcement Learning
arxiv.org·14h
🔬Nanopasses
ParaEQsA: Parallel and Asynchronous Embodied Questions Scheduling and Answering
arxiv.org·1d
🔬Nanopasses
Spec-Driven Development in a Startup
pub.towardsai.net·1d
🎮Language Ergonomics
A JSON alternative but 1000x better
reddit.com·1d·
Discuss: r/rust
🌈Gradual Languages
These are the top free Windows tools that I use on a daily basis to boost my productivity
tomshardware.com·7h
📝Text Editors
Day 28 of #100DaysOfRust: Smart Pointers and Deref Coercion
dev.to·2h·
Discuss: DEV
🔒Rust Borrowing
Faux Type Theory: three minimalist OCaml simple proof checker implementations
github.com·4d·
Discuss: Hacker News
🎯Type Theory
Is That Painting Real? Unveiling the Magic of Generative AI for Beginners
dev.to·11h·
Discuss: DEV
🤖Code Generation
Building a Legal Document Intelligence Platform with BigQuery AI: 99% Efficiency Implementation Guide
github.com·1d·
Discuss: DEV
⚡Incremental Parsing
Here’s how far I’ve come after 7 days of grinding on system design.
github.com·1d·
Discuss: DEV
🧱First Principles