Math Resource – "Hard Math for Elementary School"
kidswholovemath.substack.com·12h·
Discuss: Substack
📐Mathematical Computing
Haskell Interlude: 70: Phil Wadler
haskell.foundation·3d
🔬programming language theory
Double Maths First Thing: Issue 36
aperiodical.com·15h
∫Mathematical DSLs
Current AI Labs Evaluation Tier List, September 2025
preview.redd.it·18h·
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·14h·
Discuss: r/golang
🎭Erlang OTP
CTD after switching Vortex profiles
pastebin.com·1d·
Discuss: r/skyrimmods
🔐Ownership Types
I tested AI tools on data analysis — here’s how they did (and what to look out for)
onlinejournalismblog.com·1d
🌱Minimal ML
Getting started, with a tech, but not development, background?
reddit.com·10h·
Discuss: r/godot
🎮Language Ergonomics
Automated Generation of Research Workflows from Academic Papers: A Full-text Mining Framework
arxiv.org·19h
🗂️Term Indexing
LLM in the Middle: A Systematic Review of Threats and Mitigations to Real-World LLM-based Systems
arxiv.org·1d
🔍ML Language
AutoOEP -- A Multi-modal Framework for Online Exam Proctoring
arxiv.org·1d
🎯Finite Automata
Swiftide 0.31 ships graph like workflows, langfuse integration, prep for multi-modal pipelines
reddit.com·1d·
Discuss: r/rust
🚂Cranelift Backend
Proposed LLM Optimization Metric: Minimum ticks to get to a certain thought
blog.hermesloom.org·6h·
Discuss: Hacker News
💬Smalltalk VMs
Making Judicial Reasoning Visible: Structured Annotation of Holding, Evidentiary Considerations, and Subsumption in Criminal Judgments
arxiv.org·1d
⚖️Inference Rules
An Entropy-Guided Curriculum Learning Strategy for Data-Efficient Acoustic Scene Classification under Domain Shift
arxiv.org·1d
🪜Recursive Descent
Strong Java LTS arrives with the release of 25
theregister.com·10h
🌳Tree Shaking
Building a Unified Intent Recognition Engine
towardsdatascience.com·1d
🧠Semantic Parsing