bugzmanov's Feed · Scour

sketch.com·9h

AI-powered text correction for macOS

taipo.app·10h·

Discuss: Hacker News

How I Made Claude Code Agent Teams Work With Any Model

dev.to·6h·

Discuss: DEV

Zinc Language Design

ziggit.dev·1d

🔍Static Analysis

InfraBuilder: The Deterministic Hardware Architect

dev.to·4h·

Discuss: DEV

🔍Symbolic Execution

A GTM guide to AI models

revengine.substack.com

·15h·

Discuss: Substack

My Most Important C++ Aha! Moments...Ever

artima.com·13h

Sign up or login to customize your feed and get personalized topic recommendations

A simple text file beats complex skill systems for AI coding agents

the-decoder.com

·23h

What Should Go Into the C++ Standard Library

abseil.io·13h

🔍Static Analysis

Enforcing Code Feature Requirements in C++

artima.com·13h

🔍Refinement Types

Style tips for less experienced developers coding with AI

honnibal.dev·2d·

Discuss: Hacker News

🔍Static Analysis

Software design is now cheap

dottedmag.net·2h·

Discuss: Hacker News

🔍Static Analysis

Thread by @ClaudeCodeLog on Thread Reader App

threadreaderapp.com·17h

hsutter/cppfront: A personal experimental C++ Syntax 2 -> Syntax 1 compiler

github.com·2d·

Discuss: r/cpp

🔍Static Analysis

creact-labs/creact: CReact is a meta-runtime for building domain-specific, reactive execution engines.

github.com·6h·

Discuss: r/node, r/reactjs

The Gap Analysis Protocol: Engineering the “Consultant-in-the-Loop”

pub.towardsai.net

·5h

🔎Semantic Analysis

Tip of the Week #143: C++11 Deleted Functions (<code>= delete</code>)

abseil.io·13h

Building the Future with AI That Acts

devxt.com·12h·

Discuss: Hacker News

Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set

arxiv.org·2d

📐formal specification

Using Rust to Delete Gitignored Cruft

forrestthewoods.com·13h

🔍Symbolic Execution

Loading more...