bugzmanov's Feed · Scour

Build a Compiler in Five Projects

kmicinski.com·10h

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·7h

Perfect Portfolio

humbledollar.com·14h

bluesnews.com·1h

Flow-Based Programming: Seminal Texts and Theoretical Foundations

repolex.ai·1d·

Discuss: Hacker News

🔄Concurrency Models

Railway Oriented Programming

fsharpforfunandprofit.com·1d·

Discuss: Hacker News

Let Lambda Come Over

yamlscript.org·15h

Pratt Parsers: Expression Parsing Made Easy

journal.stuffwithstuff.com·1h

🔎Semantic Analysis

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

michaelcrist.substack.com·1d·

Discuss: Substack

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

zapier.com·11h

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

I Built a Programming Language Where think Is a Keyword

dev.to·1h·

Discuss: DEV

🔎Semantic Analysis

Claude's new capabilities

linkedin.com·12h

Full-circle Test-driven Firmware Development with OpenClaw

blog.adafruit.com·5h·

Discuss: Hacker News

📐formal specification

Agentic Proof-Oriented Programming

risemsr.github.io·2d·

Discuss: Lobsters, Hacker News

Chasing a Zig AVR Segfault Down to LLVM

sourcery.zone·1h·

Discuss: r/Zig

Week 1: Why did I start learning Rust?

vitaliihonchar.com·6h·

Discuss: r/programming

🔍Static Analysis

The Rise of Spec Driven Development

dbreunig.com·1d·

Discuss: Hacker News

📐formal specification

I put Claude Code inside Obsidian, and it was awesome

xda-developers.com·9h

Loading more...