bugzmanov's Feed · Scour

Build a Compiler in Five Projects

kmicinski.com·7h

Claude Code Path

app.pluralsight.com·2d

SEAL: Symbolic Execution with Separation Logic (Competition Contribution)

arxiv.org·1d

🔍Symbolic Execution

OpenAI and Anthropic release new models...

fry-ai.com·4h

Perfect Portfolio

humbledollar.com·11h

Railway Oriented Programming

fsharpforfunandprofit.com·1d·

Discuss: Hacker News

Flow-Based Programming: Seminal Texts and Theoretical Foundations

repolex.ai·1d·

Discuss: Hacker News

🔄Concurrency Models

Let Lambda Come Over

yamlscript.org·12h

How I Built My Personal AI Assistant (Claude Code Tutorial)

michaelcrist.substack.com·21h·

Discuss: Substack

Claude API: How to get a key and use the API

zapier.com·8h

Claude's new capabilities

linkedin.com·9h

Full-circle Test-driven Firmware Development with OpenClaw

blog.adafruit.com·2h·

Discuss: Hacker News

📐formal specification

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

Agentic Proof-Oriented Programming

risemsr.github.io·1d·

Discuss: Lobsters, Hacker News

Week 1: Why did I start learning Rust?

vitaliihonchar.com·3h·

Discuss: r/programming

🔍Static Analysis

The Rise of Spec Driven Development

dbreunig.com·1d·

Discuss: Hacker News

📐formal specification

Show HN: ZigZag – A Bubble Tea-Inspired TUI Framework for Zig

github.com·14h·

Discuss: Hacker News

I put Claude Code inside Obsidian, and it was awesome

xda-developers.com·6h

Claude Code: new Tasks persisting between sessions and Swarms of agents against Context Rot.

dev.to·23h·

Discuss: DEV

🔍Symbolic Execution

Kotlin Symbol Processing: создаём свой процессор

habr.com·1d

What Can You Actually Do with Claude Code?

whytryai.com·2d

Loading more...