Automated Regression Test Suite Optimization via Dynamic Prioritization and Adaptive Sampling
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
Custom slash commands in Claude Code
boliv.substack.com·23m·
Discuss: Substack
⚔️Lean Tactics
Is AI Taking Over Testing? Here’s Why Human Insight Still Matters
blog.scottlogic.com·2d
🔍Concolic Testing
RTL generation for custom CPU Mrav
popovicu.com·1m
⚙️Modern Assembly
Optimizing multiprecision LLL in FLINT
fredrikj.net·2d
🧮Algebraic Datatypes
Fuzz-testing Go HTTP services
packagemain.tech·1d·
Discuss: r/golang
🧪Binary Fuzzing
A better for loop?
cirw.in·1d
🦀Rust Macros
The Cost of Winning:How RL Training on Poker Leads to Evil LLMs
tobysimonds.com·19h·
Discuss: Hacker News
🔲Cellular Automata
Signal Relays
pzuraq.com·1d·
Discuss: Hacker News
✨Effect Handlers
How HackerOne Uses AI to Triage, Prioritize, and Validate Code Scanner Findings at Scale
hackerone.com·2d
⚡Proof Automation
Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev·1d·
Discuss: Hacker News
⚡Proof Automation
Don't Repeat Yourself, Coarse-Grained Circuit Deduplication to Accelerate Sim
danglingpointers.substack.com·1d·
Discuss: Substack
🖥️Game Emulation
AI in open source: fighting bias in AI analysis
rainer.gerhards.net·2d·
Discuss: Hacker News
🔍Concolic Testing
Lobsters Interview with Matklad
lobste.rs·1d·
Discuss: Lobsters
🦀Rust Macros
Don't feed me AI slop
seangoedecke.com·17h
📰RSS Archaeology
Ergonomic errors in Rust: write fast, debug with ease, handle precisely
gmcgoldr.github.io·1d·
Discuss: Hacker News
⚡Dependent Rust
Creating an AI Agent in Claude Code to Control my Smartphone
dev.to·22h·
Discuss: DEV
⚡Proof Automation
A Better Vocabulary for Testing
alperenkeles.com·6d·
Discuss: Lobsters, r/compsci, r/programming
🔍Concolic Testing
Open Source AI Is Chaotic, Improve ROI With This 4-Step Playbook
thenewstack.io·1d
🏠Homelab Pentesting
Learning Through Doing: From one language to another
blog.scottlogic.com·1d
🦀Rust Borrowing