Unleash Code Power: Graph-Based AI for Smarter Code Generation by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
⚙️Compiler Design
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·2d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
github.com·8h·
Discuss: Hacker News
✓Automated Theorem Proving
Flag this post
AWK technical notes (2023)
maximullaris.com·2h·
Discuss: Lobsters
🔀Brzozowski Derivatives
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·3h·
Discuss: Hacker News
📐Linear Algebra
Flag this post
Stop Writing Code, Start Writing Docs
thenewstack.io·2d
🔧DevOps
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·1d
🧠Automated Reasoning
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·2d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Handbook of Satisfiability (2021)
iospress.com·9h·
Discuss: Hacker News
🧩SAT Solvers
Flag this post
DDD and the Simplicity Gospel
oluatte.com·22h·
Discuss: Hacker News, r/programming
🔤DSLs
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·11h·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
My C++ lockless-ish task scheduler project ive been working on (first real project, also first time using threads) tell me what you think (BSD license) currentl...
github.com·8h·
Discuss: r/compsci, r/programming
💾Cachix
Flag this post
Building a Message-to-SQL AI Agent with Mastra and Telex.im
dev.to·1h·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·3h·
Discuss: Hacker News
🔍Formal Verification
Flag this post
Reflections on Trusting Trust (1984)
web.archive.org·5h·
Discuss: Hacker News
🛡️seL4
Flag this post
The AI Capability Gap
blog.dwac.dev·1d·
Discuss: r/programming, r/webdev
👁️System Observability
Flag this post
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
langdev.stackexchange.com·2h·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Speedrunning an RL Environment
sidb.in·1d·
Discuss: Hacker News
🎮Verification Games
Flag this post
Product Designer's workflow for prototyping with Cursor
hvpandya.com·5h·
Discuss: Hacker News
🔤Language Design
Flag this post
I Used Claude Code to Debug a Nightmare
blendingbits.io·1d·
Discuss: Hacker News
👁️System Observability
Flag this post