Org Workbench
irreal.org·13h
🧩Theorem Proving
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·10h·
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·11h·
Discuss: Hacker News
🎲Probabilistic Programming
why you should learn ocaml
sarthak2143.bearblog.dev·4d
⚙Functional Programming
I revisited AutoHotkey with NotebookLM by my side, and it was revolutionary
xda-developers.com·1d
🧩Theorem Proving
Turn on the LLM and use it in your daily workflow
funcall.blogspot.com·2d·
Discuss: Hacker News
⚖️Logic Programming
The Hidden Cost of Performance: How High-Load Specialization Warps Engineering Intuition
hackernoon.com·14h
🏗Computer Architecture
7 Upcoming JavaScript Features to Watch in 2025 🚀
dev.to·17h·
Discuss: DEV
🧮Programming Language Theory
Symbol-Level Editing
sysprogs.com·1d·
Discuss: Hacker News
🎲Probabilistic Programming
Incredible how many vibe coding tool startups are launching left and right.
bsky.app·14h·
Discuss: Bluesky
👐Open Source Software
Alignment Monitoring
arxiv.org·1h
🎲Probabilistic Programming
Onboarding for Coding Agents
fuzzycomputer.com·1d·
Discuss: Hacker News
🧩Theorem Proving
CPU Core Deception: The Genius of Virtual Cores and Performance
dev.to·3h·
Discuss: DEV
🏗Computer Architecture
Problem with MAX31865
reddit.com·1d·
Discuss: r/embedded
🏗Computer Architecture
OSE: The End of Programming Language Silos?
dev.to·2d·
Discuss: DEV
📐Type Theory
Dart Lesson 6: Advanced Functions - Higher-Order Functions and Closures
dev.to·1d·
Discuss: DEV
📝Lisp
Optimisation
reddit.com·17h·
Discuss: r/LLM
📝Lisp
Tools for AI assisted Software development
thoughtbot.com·5h
🧩Theorem Proving