Org Workbench
irreal.org·17h
🧩Theorem Proving
What I learned from four women who reshaped the way we think with machines
xda-developers.com·2d
🏗Computer Architecture
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·14h·
Discuss: Substack, r/programming
🧩Theorem Proving
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·3d·
Discuss: Hacker News
🧮Programming Language Theory
How to Write Inductive Invariants
quint-lang.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🤝Protocol Design
Your AI Agent Needs Minimal Relevant Context at the Right Time
chkk.io·14h·
Discuss: Hacker News
🎲Probabilistic Programming
why you should learn ocaml
sarthak2143.bearblog.dev·4d
⚙Functional Programming
Onboarding for Coding Agents
fuzzycomputer.com·1d·
Discuss: Hacker News
🧩Theorem Proving
7 Upcoming JavaScript Features to Watch in 2025 🚀
dev.to·21h·
Discuss: DEV
🧮Programming Language Theory
Built a LaTeX SaaS platform in 3 weeks using Feishu Tables + AI MCP + structured workflows
reddit.com·8m·
Discuss: r/node
🧩Theorem Proving
CPU Core Deception: The Genius of Virtual Cores and Performance
dev.to·6h·
Discuss: DEV
🏗Computer Architecture
Machine Learning Fundamentals: machine learning
dev.to·16h·
Discuss: DEV
🎲Probabilistic Programming
OSE: The End of Programming Language Silos?
dev.to·2d·
Discuss: DEV
📐Type Theory
Problem with MAX31865
reddit.com·1d·
Discuss: r/embedded
🏗Computer Architecture
Tools for AI assisted Software development
thoughtbot.com·8h
🧩Theorem Proving
Optimisation
reddit.com·21h·
Discuss: r/LLM
📝Lisp
Orchestrating Agentic Coding
brethorsting.com·2h·
Discuss: Hacker News
🏗️Software Architecture
Before satrt
dev.to·4d·
Discuss: DEV
🤝Protocol Design
I built a streaming XML/HTML tokenizer in TypeScript - no DOM, just tokens
reddit.com·23h·
Discuss: r/javascript
🧮Programming Language Theory
Optimizing training a GPT style Tokenizer with C++
justinhj.github.io·5d
🔗Parser Combinators