✅ Property Testing - hello · Scour

Simplifying assertions with lenses

blog.ploeh.dk·10h

Testing software in the era of coding agents

garymm.org·8h·

Discuss: Hacker News

🧬Mutation Testing

What's up with Haskell's do notation?

slightknack.dev·7h

Should Test Expected Values Come from the Same Place as the Implementation?

dev.to·1d·

Discuss: DEV

🧬Mutation Testing

TamperBench: Systematically Stress-Testing LLM Safety Under Fine-Tuning and Tampering

arxiv.org·19h

Make Your Own Budget Component Tester

hackster.io·8h

⚡Circuit Design

A Note on Flat Abstract Syntax Trees

gist.github.com·5h·

Discuss: Hacker News

🌳Tree-sitter

Reducing Technical Debt: Top Five Coding Resources

loufranco.com·9h

🔨Incremental Compilation

Better Python tests with inline-snapshot

pydantic.dev·2h·

Discuss: Lobsters, Hacker News

Wrapping trait implems in an enum kept appearing in code base so I blogged about it. Are there other such useful patterns that are not much advertised?

asfaload.com·13h·

Discuss: r/rust

Just-in-Time Ontological Reframing: Teaching Gemini to Route Around Its Own Safety Infrastructure

recursion.wtf·4h

Automated Reasoning checks rewriting chatbot reference implementation

aws.amazon.com·4h

🧮SMT Solvers

How I Built My Project in Haskell

dev.to·2d·

Discuss: DEV

👻Phantom Types

Concurrent vs. Parallel Execution in LLM API Calls: From an AI Engineer’s Perspective

pub.towardsai.net·18h

⏰Timely Dataflow

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

github.com·13h

🔨Incremental Compilation

ESLint - Pluggable JavaScript Linter

eslint.org·9h·

Discuss: r/javascript

An approach to reducing prompt size, drift, and governance risk in LLM-based systems

qu3ry.net·2h·

Discuss: r/LLM

⏱️Temporal Workflow

Fast Properties in V8 (2017)

v8.dev·1d·

Discuss: Hacker News

Now problems vs. forever problems

webdirections.org·24m

🎭Program Synthesis

Building Type-Safe Metrics API in Swift: Part II

sentry.engineering·14h

📬MessagePack

Loading more...