🧪 Property-Based Testing - matmat · Scour

Evaluate generative AI models with an Amazon Nova rubric-based LLM judge on Amazon SageMaker AI (Part 2)

aws.amazon.com·2d

🔲Cellular Automata

Python’s Truthiness: A Code Smell Worth Sniffing

owl.billpg.com·2d·

Discuss: Hacker News

🧪Binary Fuzzing

Code only says what it does

brooker.co.za·1d·

Discuss: Hacker News

📜Proof Carrying Code

ahead-of-time wasm gc in wastrel

wingolog.org·3d·

Discuss: Lobsters, Hacker News

⚙️WASM Runtime

Production pain points and coordination patterns from building a dual-orchestrator (Claude + Kimi) system on Claude Code. 8 failure modes with specs and invariants.

gist.github.com·1d·

Discuss: Hacker News

✨Effect Handlers

Agentic Proof-Oriented Programming

risemsr.github.io·3d·

Discuss: Lobsters, Hacker News

⚔️Lean Tactics

Should small Rust structs be passed by-copy or by-borrow?

forrestthewoods.com·1d

🦀Rust Borrowing

Synthesizing File-Level Data for Unit Test Generation with Chain-of-Thoughts via Self-Debugging

arxiv.org·5d

🔍Concolic Testing

Formal Evidence Generation for Assurance Cases for Robotic Software Models

arxiv.org·5d

⚖️Verification Calculi

LLM Inference Benchmarking - Measure What Matters

digitalocean.com·3d

📊Performance Profiling

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

the-decoder.com

·2d

⚡Proof Automation

Jokes on You AI: Turning the Tables

dev-log.me·1d·

Discuss: Hacker News

⚔️Lean Tactics

Weeknotes 2026-W06 › Project Pterodactyl: incremental architecture

jonmsterling.com·2d·

Discuss: Hacker News, r/Compilers

⚡Incremental Computation

A/B test yourself vs code agent | Artur Kęsik

arturkesik.com·3d·

Discuss: Hacker News

🔍Concolic Testing

How to set up Claude Code: a context-first approach

dhirajtourani.com·1d·

Discuss: Hacker News, r/programming

⚡Effectful Programming

learning by reverse engineering

clymup.com·2d

🔓Reverse engineering

Fastfood: Approximate Kernel Expansions in Loglinear Time

dev.to·1d·

Discuss: DEV

🌊Streaming Algorithms

Everybody Tests

focused.io·5d·

Discuss: Hacker News

🔍Concolic Testing

Show HN: A Prompting Framework for Non-Vibe-Coders

github.com·1d·

Discuss: Hacker News

⚔️Lean Tactics

Adaptive Neuro-Symbolic Planning for smart agriculture microgrid orchestration in hybrid quantum-classical pipelines

dev.to·1d·

Discuss: DEV

⚡Incremental Computation

Loading more...