bugzmanov's Feed · Scour

Learning Zig and writing an editor, just for fun

noahwbaldwin.me·1d·

Discuss: r/Zig

dunikus.itch.io·8h

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

Roblox launches new AI tool that lets players generate 3D game objects using text prompts

alternativeto.net·2d

Zinc Language Design

ziggit.dev·1d

🔍Static Analysis

Single User Slop Apps

er4hn.info·1d

InfraBuilder: The Deterministic Hardware Architect

dev.to·2h·

Discuss: DEV

🔍Symbolic Execution

How I Extend My Workflow with Claude Code CLI

spin.atomicobject.com·1d

Beautiful Perl feature: BLOCKs

dev.to·13h·

Discuss: DEV

🎲 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

Claude Code is becoming the big favorite among programmers. So much so that it already accounts for 4% of everything uploaded to GitHub

europedigital.cloud·1d

My Current AI Coding Workflow

jonathannen.com·2d

Concurrency Flavours -- Lucian Radu Teodorescu : Standard C++

isocpp.org·3d

🔄Concurrency Models

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

finance.yahoo.com·12h

A GTM guide to AI models

revengine.substack.com

·13h·

Discuss: Substack

Coroutine Types

abseil.io·11h

🔄Concurrency Models

An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories

arxiv.org·2d

🔄Concurrency Models

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

artima.com·11h

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

the-decoder.com

·21h

What Should Go Into the C++ Standard Library

abseil.io·11h

🔍Static Analysis

Loading more...