🎲 Property Testing - abnv · Scour

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

Complexity of Model Checking Second-Order Hyperproperties on Finite Structures

arxiv.org·1d

🔄Protocol State Machines

Use of Assertions

blog.regehr.org·17h

🔍Static Analysis

Feature-Aware Test Generation for Deep Learning Models

arxiv.org·1d

🗺️Region Inference

Randomization in Typst

idraluna-archives.bearblog.dev·12h

🌊Gradual Effects

Vulnerability-Lookup

db.gcve.eu·3h

🗺️Stack Mapping

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·20h

🛡️Taint Analysis

How I Automate Parts of My Software Development Lifecycle with AI Agents

dev.to·17h·

Discuss: DEV

🎭Program Synthesis

CodeSOD: Validation Trimmed Away

thedailywtf.com·1d

🛡️Parser Security

Gauss is Not Mocked

notstatschat.rbind.io·8h

🔢Algebraic Datatypes

istmarc/tenseur: C++23 Tensor, neural networks and mathematical library

github.com·13h·

Discuss: r/cpp

🦀MIR Optimization

ChatGPT’s Laws of Machine Learning

shruggingface.com·1d

Getting from tested to battle-tested

blog.janestreet.com·1d

🎲Test Generators

Simulating Pots with LTSpice

hackaday.com·5h

⚡Partial Evaluation

Uncovering Unfaithful CoT in Deceptive Models

lesswrong.com·6h

🎲Parser Fuzzing

From 75% to 99.6%: The Math of LLM Ensembles

shibaprasadb.com·1d·

Discuss: Hacker News

🔍ML Language

Designing Boring Software with Functional Programming

agentultra.com·1d

🪞Homoiconicity

Soundness bugs in Rust libraries: can't live with 'em, can't live without 'em

docs.rs·16h·

Discuss: Hacker News

🔒Rust Borrowing

One part of me wonders whether this would’ve been caught earlier if I spent some more time analizing the possible approaches for this refactor. Honestl...

lmika.org·3h

🧪Compiler Testing

understanding LSM trees via read, write, and space amplification

bitsxpages.com·9h

🔗Memory Linearization

Loading more...