🪜 Scala - bugzmanov · Scour

I made a Wordle variant. Is it fun though?

casju0.bearblog.dev·1d

seed.bytedance.com·22h

🔍Symbolic Execution

smallcultfollowing.com·1d·

Discuss: Lobsters, Hacker News

I built a “deterministic” LLM text rephraser with a validation pipeline - looking for architectural feedback

dev.to·1d·

Discuss: DEV

📐formal specification

Canzona: A Unified, Asynchronous, and Load-Balanced Framework for Distributed Matrix-based Optimizers

arxiv.org·1d

🔍Symbolic Execution

Writing a ledger-cli Language Server Protocol with claude

frdmtoplay.com·1d

unwinnable.com·1d

Scaling AI Agents: Mastering Elasticity, State, and Throughput with C#

dev.to·11h·

Discuss: DEV

🔄Concurrency Models

Practical Refinement Session Type Inference (Extended Version)

arxiv.org·1d

🔍Refinement Types

We Build Software for Humans — Not for Machines. And That’s a Problem.

medium.com·17h·

Discuss: r/programming

🔍Static Analysis

Taming the Regex Monster: Optimizing Massive Literal Alternations

modern-c.blogspot.com·4d·

Discuss: r/golang

🔎Semantic Analysis

What I am doing now

artima.com·2d

Varparser Reveals How LLM Log Parsing Benefits From Variable Data

quantumzeitgeist.com·18h

🔎Semantic Analysis

🦆 Lance x DuckDB SQL Retrieval, 🚗 Uber-Scale Storage, ⚡ 1.5M IOPS

lancedb.com·1d

📐formal specification

Style tips for less experienced developers coding with AI

honnibal.dev·4d·

Discuss: Hacker News

🔍Static Analysis

isledb: An embedded key-value engine built on object storage in Go

reddit.com·1d·

Discuss: r/golang

🔄Concurrency Models

Implementing vector

accu.org·1d·

Discuss: r/cpp

theprogrammersparadox.blogspot.com·3d·

Discuss: Hacker News

🔍Static Analysis

I’ve written 15k lines of Go with AI and can’t write hello world by hand - but I’m confident with my codebase

github.com·15h·

Discuss: r/golang

🔍Static Analysis

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

github.com·20h

🔍Symbolic Execution

Loading more...