Org Workbench
irreal.org·19h
🧩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
why you should learn ocaml
sarthak2143.bearblog.dev·5d
⚙Functional Programming
User Interfaces in Agentic CLI Tools: What Developers Need
thenewstack.io·1d
🦀Rust
I revisited AutoHotkey with NotebookLM by my side, and it was revolutionary
xda-developers.com·1d
🧩Theorem Proving
Tools for AI assisted Software development
thoughtbot.com·10h
🧩Theorem Proving
Before satrt
dev.to·4d·
Discuss: DEV
🤝Protocol Design
I built a streaming XML/HTML tokenizer in TypeScript - no DOM, just tokens
reddit.com·1d·
Discuss: r/javascript
🧮Programming Language Theory
Optimizing training a GPT style Tokenizer with C++
justinhj.github.io·5d
🔗Parser Combinators
How to Compile from Source Code in Linux
dev.to·1d·
Discuss: DEV
🦀Rust
Optimisation
reddit.com·23h·
Discuss: r/LLM
📝Lisp
The Surgical Update: From JSON Blueprints to Flawless UI
github.com·2h·
Discuss: r/javascript
🏗️Software Architecture
Reproducible Go Toolchains: What You Need to Know
hackernoon.com·22h
👐Open Source Software
Developer-First Documentation: Why 73% of Teams Fail and How to Build Docs That Actually Get Used
dev.to·6h·
Discuss: DEV
🏗️Software Architecture
Modern-Day Software Engineering: Orchestrating Intelligence with AI, ML, and LLMs
dev.to·17h·
Discuss: DEV
🏗️Software Architecture
What is the most efficient way to create a website from scratch by myself?
reddit.com·11h·
Discuss: r/AskProgramming
📦WebAssembly
SynAdapt: Learning Adaptive Reasoning in Large Language Models via Synthetic Continuous Chain-of-Thought
arxiv.org·6h
🧭SMT Solvers
Lobsters Interview with Icefox
lobste.rs·2d·
Discuss: Lobsters
🧮Programming Language Theory
Lobsters Interview with Icefox
lobste.rs·2d·
Discuss: Lobsters
🧮Programming Language Theory