bugzmanov's Feed · Scour

Building a Dynamic Multilanguage System Without Rebuilds

kuldeepmodi.vercel.app·1h·

Discuss: DEV

Rusthaven Announced

bluesnews.com·20h

Building Interactive C/C++ workflows in Jupyter through Clang-REPL [video]

fosdem.org·1d·

Discuss: Hacker News

🔍Symbolic Execution

AI is making me anxious and stupid

tom.so·4h·

Discuss: Hacker News

C++20 span tutorial

solarianprogrammer.com·17h

🔍Static Analysis

Full-circle Test-driven Firmware Development with OpenClaw

blog.adafruit.com·1d·

Discuss: Hacker News

📐formal specification

I Built a $399 Always-On AI Assistant Box That Draws Less Power Than a Light Bulb

dev.to·6h·

Discuss: DEV

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

Command and Control

halfworkshq.itch.io·2h

📐formal specification

How I Made Claude Code Agent Teams Work With Any Model

dev.to·11h·

Discuss: DEV

How StrongDM’s AI team build serious software without even looking at the code

simonw.substack.com·7h·

Discuss: Substack

🔍Symbolic Execution

The Claude Automation Plugin Ecosystem: A Complete Guide to Building Your AI-Powered Workforce

pub.towardsai.net

·1d

Code only says what it does

brooker.co.za·14h·

Discuss: Hacker News

📐formal specification

Why Penguins Don't Build Nests in Trees and Why That Matters for AI

erikzaadi.com·5h

Software Engineering with AI: Beyond Vibe-Coding

principalengineer.com·1h

📐formal specification

en.wikipedia.org·2d·

Discuss: Hacker News

🎲 Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes

gavinhoward.com·3d

🔍Static Analysis

Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction

arxiv.org·2d

📐formal specification

My Current AI Coding Workflow

jonathannen.com·2d

Coroutine Types

abseil.io·17h

🔄Concurrency Models

Goldman Sachs Maintains Buy on Remitly Global, Inc. (RELY), Trims Target on Valuation Reset

finance.yahoo.com·19h

Loading more...