bugzmanov's Feed · Scour

Rebuilding the spellchecker

zverok.space·37m

🔎Semantic Analysis

I've been watching Jake do the Headless Frontier work with two different AI bots — ChatGPT and Claude.ai. And as he's doing that, I'm slogging...

daveverse.org·1d

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

My Fake AI Problem

mearsheimer.substack.com·1d·

Discuss: Substack

Style tips for less experienced developers coding with AI

honnibal.dev·1d·

Discuss: Hacker News

🔍Static Analysis

Why Large Language Models Make Terrible Compilers — And Why the Industry Keeps Trying Anyway

webpronews.com·17h

🔍Refinement Types

Rust player says goodbye to his server neighbours by constructing a giant, illuminated middle finger: 'Making one of these is often how I like to end a successful wipe'

pcgamer.com

·5h

A Quick Introduction to OxCaml

noelwelsh.com·3d·

Discuss: Hacker News

Private Data Space Model

privatedata.space·2d

producthunt.com·2d

Thread by @ClaudeCodeLog on Thread Reader App

threadreaderapp.com·1h

I Built the Perfect AI Robot. Then I Pulled the Plug

macsparky.com·5h

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

github.com·1d·

Discuss: r/cpp

🔍Static Analysis

Build an Agent with Nanobot, Lighter Replacement for OpenClaw

analyticsvidhya.com·6h

Logic for Programmers New Release and Next Steps

buttondown.com·3d

🔍Static Analysis

The control layer for AI

blog.dottxt.ai·19h·

Discuss: Hacker News

🔍Symbolic Execution

The AI CEO Experiment

yukicapital.com·1h·

Discuss: Hacker News

Apple Just Made AI Coding Agents Native in Xcode 26.3

dev.to·10h·

Discuss: DEV

The Spec Problem, Part 2: Dialectical Refinement

blog.gorewood.games·1d

🔍Refinement Types

Why I use Typetify: A Type-Safe Alternative to Lodash

dev.to·7h·

Discuss: DEV

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

arxiv.org·1d

📐formal specification

Loading more...