Math Resource – "Hard Math for Elementary School"
kidswholovemath.substack.com·9h·
Discuss: Substack
📐Mathematical Computing
How Humans Work - an integrated model
mindblog.dericbownds.net·15h
💫Effect Systems
Haskell Interlude: 70: Phil Wadler
haskell.foundation·3d
🔬programming language theory
Double Maths First Thing: Issue 36
aperiodical.com·12h
∫Mathematical DSLs
Current AI Labs Evaluation Tier List, September 2025
preview.redd.it·15h·
Discuss: r/singularity
🗺️Region Inference
The Open Source Ward Weekly (16 September 2025)
open-source-ward.com·1d
🌱Forth Kernels
Ts-base: TS library template with release-please and tsdown
bengubler.com·48m·
Discuss: Hacker News
📦Monorepos
A formal proof of C∞ISRT
bsky.app·3d·
Discuss: r/LessCredibleDefence
♾️Codata Types
An introduction to program synthesis
mchav.github.io·5d·
Discuss: Hacker News, r/programming
🛠️Code Synthesis
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
CTD after switching Vortex profiles
pastebin.com·22h·
Discuss: r/skyrimmods
🔐Ownership Types
trpc-agent-go: a powerful Go Agent framework for building intelligent agent systems
reddit.com·11h·
Discuss: r/golang
🎭Erlang OTP
Discrete Time System Properties- Plainly
pub.towardsai.net·14h
💫Effect Systems
Platoon-Centric Green Light Optimal Speed Advisory Using Safe Reinforcement Learning
arxiv.org·16h
🔬Nanopasses
Here’s how far I’ve come after 7 days of grinding on system design.
github.com·1d·
Discuss: DEV
🧱First Principles
LLM-Based Instance-Driven Heuristic Bias In the Context of a Biased Random Key Genetic Algorithm
arxiv.org·2d
🔍ML Language
Learning Neural Networks by Neuron Pursuit
arxiv.org·1d
🪜Recursive Descent
Automated Generation of Research Workflows from Academic Papers: A Full-text Mining Framework
arxiv.org·16h
🗂️Term Indexing
LLM in the Middle: A Systematic Review of Threats and Mitigations to Real-World LLM-based Systems
arxiv.org·1d
🔍ML Language