Categorical systems theory
topos.institute·15h
🔀Category Theory
Three ways formally verified code can go wrong in practice
buttondown.com·9h
📜Proof Carrying Code
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·13h·
Discuss: Hacker News
🌐Protocol Synthesis
Building with AI: How a Nigerian Engineer Is Simplifying Solar Energy Decisions
hackernoon.com·1d
⚡Incremental Computation
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.com·19h·
Discuss: Hacker News
⚙️Proof Engineering
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·3d
⚡Proof Automation
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io·5h·
Discuss: Hacker News
🎯Performance Proofs
There will soon be AI agents working on our behalf
blog.cip.org·3h·
Discuss: Hacker News
🔲Cellular Automata
A gentle introduction to Generative AI: Historical perspective
medium.com·2h·
Discuss: Hacker News
🧠Learned Codecs
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·7h·
Discuss: Hacker News
🔗Concatenative Programming
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·4d·
Discuss: Hacker News
💻Local LLMs
Meet Amazon Quick Suite: The agentic AI application reshaping how work gets done
aboutamazon.com·1d·
Discuss: Hacker News
🌊Streaming Systems
Show HN: I built a SaaS in 8 weeks, solo, using our own AI platform
zine.ai·9h·
Discuss: Hacker News
🚀Indie Hacking
Picking an AI Code Reviewer
markmarkoh.com·7h·
Discuss: Hacker News
📏Code Metrics
94% of Developers Waste Tokens on Reasoning LLMs. Here's Why.
dev.to·21h·
Discuss: DEV
💻Local LLMs
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·23h
🔗Parser Combinators
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting
GPT-5 for AI-assisted discovery
johndcook.com·12h·
Discuss: Hacker News
🎯Performance Proofs
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·1d·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
A Manifesto for the Programming Desperado
github.com·11h·
Discuss: Hacker News
💻Programming languages