How to Test
matklad.github.io·7h·
Discuss: Hacker News
🔍Static Analysis
Orchestrating IC verification: Harmonize complexity for faster time-to-market
semiwiki.com·6h
🔍Static Analysis
Tau² Benchmark in Action: Early Results and Key Takeaways
quesma.com·9h·
Discuss: Hacker News
🔧PLT
Breaking Verifiable Abstractions
alperenkeles.com·6h·
Discuss: Hacker News, r/programming
🔍Static Analysis
DDD in Symfony 7: Clean Architecture and Deptrac-enforced boundaries
dev.to·5h·
Discuss: DEV
🔍Static Analysis
GSoC 2025: Profiling and Testing Math Functions on GPUs
blog.llvm.org·19h
🔍Static Analysis
Test Context Pattern: Extracting Orchestration from Hexagonal Unit Tests
github.com·1d·
Discuss: DEV
🔍Static Analysis
Should We Have Been using LLMs for Our Test Queries This Whole Time?
buttondown.com·1h
🔍Static Analysis
Baby's first type checker
austinhenley.com·1d·
Discuss: Lobsters, Hacker News
🔧PLT
How practical is AI-driven test-driven development on larger projects?
reddit.com·11h·
Discuss: r/ClaudeAI
🤖AI
Agent Evaluation vs Model Evaluation: What Devs Get Wrong
dev.to·1d·
Discuss: DEV
🔍Static Analysis
Parking Lot System Design (LLD in Action) - Part-1
kroki.io·1d·
Discuss: DEV
🔍Static Analysis
Systems Engineering for Agentic Applications
agenticapplications.substack.com·5h·
Discuss: r/programming
🔍Static Analysis
Solving Claude Code's API Blindness with Static Analysis
martinalderson.com·7h·
Discuss: Hacker News
💻Claude
Show HN: Fine-tuned Llama 3.2 3B to match 70B models for local transcripts
bilawal.net·28m·
Discuss: Hacker News
🐫Ocaml
Tripping Around REPL
vlaaad.github.io·9h·
Discuss: Hacker News
🪜Scala
Leveraging Formal Verification to find critical RTL bugs in a RISC-V core – a LUBIS EDA best practice
riscv.org·2d
🔍Static Analysis
Dialog - an Orchestration Layer for VoIP-Agent Applications
github.com·5h·
Discuss: r/node
🤖AI
Lively Linear Lisp (1992)
plover.com·17h·
Discuss: Lobsters, Hacker News
🔧PLT
DeepQuali: Determining Software Quality with AI
blog.qaware.de·12h·
Discuss: Hacker News
🔍Static Analysis