Experimenting with ACL2 and Claude Code
mikedodds.orgยท2dยท
Discuss: Hacker News
๐Ÿ’ฌInteractive REPLs
Notes and Thinking and Context of Use
taniyn.questยท17h
๐Ÿ“šSelf-Documenting Code
Caveat promptor
surfingcomplexity.blogยท3h
๐Ÿš‚Error Propagation
Three gripes about Go modules
jotaen.netยท2dยท
Discuss: Hacker News
โš™๏ธTOML Parsers
A Hands-On Review of Conductor, an AI Parallel Runner App
thenewstack.ioยท1d
๐Ÿ“šStack Languages
Abstraction for Abstractionโ€™s Sake: How Developers Talk Themselves Into Complexity
hackernoon.comยท4d
๐ŸŽฎLanguage Ergonomics
ESP32-IDF HAL UART interrupt example.
reddit.comยท4hยท
Discuss: r/embedded
โฑ๏ธReal-Time GC
Beyond Ethics Washing: Certifiably Fair AI with Knowledge-Driven Transformation by Arvind Sundararajan
dev.toยท17hยท
Discuss: DEV
๐ŸŽญProgram Synthesis
Big Data Processing (Hadoop, Spark)
dev.toยท2dยท
Discuss: DEV
๐Ÿ—„๏ธDatabase Engines
80 Days, 80 Python Challenges: The Project That Will Turn Me Into a Better Coder! ๐Ÿ (My First Post)
dev.toยท19hยท
Discuss: DEV
๐Ÿ’ฌInteractive REPLs
Parallel PHP SOAP Client Requests
dev.toยท1dยท
Discuss: DEV
๐Ÿ”งAPI Design
GTAlign: Game-Theoretic Alignment of LLM Assistants for Mutual Welfare
arxiv.orgยท5h
๐Ÿ”ML Language
Building an Infinite-Scroll dev.to Reader in the Stream-Oriented Paradigm
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠReactive Languages
Building a Production-Ready E-Commerce Platform with NestJS
dev.toยท2dยท
Discuss: DEV
๐Ÿ“ฆMonorepos
11 months AI coding journey - tools, tech stack, best practices (long post with screenshots)
reddit.comยท1dยท
Discuss: r/ClaudeAI
๐Ÿ”„Bootstrapping
The LinkedIn B2B Playbook: 5 Data-Driven Strategies for Engineering High-Quality Leads
dev.toยท22hยท
Discuss: DEV
๐Ÿ”ฅFlamegraphs
Microsoft Agent Framework Building a Human-in-the-Loop User Search Workflow : Part-V
dev.toยท8hยท
Discuss: DEV
๐Ÿ’ฌInteractive REPLs
How to Manage Translations With (and Without) Artificial Intelligence
dev.toยท14hยท
Discuss: DEV
๐ŸŒ‰Language Bridges
Refactoring My Own Code: A Tale of Code Crumbles
dev.toยท3dยท
Discuss: DEV
๐Ÿ’ฌInteractive REPLs