💻 Claude - bugzmanov · Scour

I Built a Context7 Local-First Alternative With Claude Code

dev.to·2d·

Discuss: DEV

Agents That Build Agents — Building Autonomous Browsing with Claude Code

dev.to·10h·

Discuss: DEV

🔍Symbolic Execution

B2 L2 U2 F2 U2 R2 U B2 F2 D2 F' D' R2 U2 R' U' R2 B' F2 L' F

metafilter.com·2d

Show HN: Kore – Stack based language where compiler is the reward function

github.com·15h·

Discuss: Hacker News

🔍Refinement Types

Zinc Language Design

ziggit.dev·3d

🔍Static Analysis

I’ve written 15k lines of Go with AI and can’t write hello world by hand - but I’m confident with my codebase

github.com·1d·

Discuss: r/golang

🔍Static Analysis

Differential Logic • 4

inquiryintoinquiry.com·2d

C++20 span tutorial

solarianprogrammer.com·2d

🔍Static Analysis

Pratt Parsers: Expression Parsing Made Easy

journal.stuffwithstuff.com·3d

🔎Semantic Analysis

Claude's Constitution

macsparky.com·5d

🔍Symbolic Execution

C and C++ dependencies, don't dream it, be it!

nibblestew.blogspot.com·3d·

Discuss: Hacker News, nibblestew.blogspot.com, r/cpp

🔍Static Analysis

Claude Opus 4.6: System Card Part 1: Mundane Alignment and Model Welfare

lesswrong.com·21h

🔍Static Analysis

We recreated the Anthropic C compiler agent

vizops.ai·1d·

Discuss: Hacker News

🔍Symbolic Execution

Handing My Daily Tasks Off to Claude Code

theautomatedoperator.substack.com·5d·

Discuss: Substack

Being the Centaur: Context Engineering for LLM Coding

schlitt.info·5d

🔍Symbolic Execution

Language Server Protocol from Debug Symbols

forrestthewoods.com·2d

Building a Claude Code skill

sevalla.com·6d

📐formal specification

I paired Microsoft Excel with Claude, and it beats Copilot at its own game

xda-developers.com·3d

🔥 My prove_it CLI is already proving valuable.…

justin.searls.co·3d

📐formal specification

Claude Code and the Coming Rupture: Why AI-Powered Development Tools May Redefine the Software Engineering Profession

webpronews.com·2d

Loading more...