🎲 Property Testing - abnv · Scour

Towards the Systematic Testing of Regular Expression Engines

arxiv.org·4h

🧪Parser Testing

A Deep Dive into Manual Testing Techniques and Their Future in the Age of AI

dev.to·4h·

Discuss: DEV

🧪Zig Testing

PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation

papers.cool·1d

🧪Testing Compilers

MIST-RL: Mutation-based Incremental Suite Testing via Reinforcement Learning

arxiv.org·4h

🎲Test Generators

Testing AI Agents: Deterministic Evaluation in a Non-Deterministic World

sitepoint.com·13h

🧪Parser Testing

Tsonnet #31 - Taking back control of equality

dev.to·12h·

Discuss: DEV

🔗Lexical Scoping

VeriBin: Adaptive Verification of Patches at the Binary Level

papers.cool·1d

🎯Symbolic Execution

Independent blind pairwise testing for AI safety

tsarena.ai·1d·

Discuss: Hacker News

🗺️Region Inference

Detecting and Editing Visual Objects with Gemini

medium.com·17h

🔍Lens Libraries

ivanbelenky/nbdantic: humble structure validator for notebooks

github.com·4h·

Discuss: Hacker News, r/Python

📝Text Editors

Understanding SMF properties

davepacheco.net·11h

🔍Lens Libraries

Beyond .predict(): Building a KNN From Scratch

pub.towardsai.net

·3h

🔤String Algorithms

TurboSparse Efficiency: Achieving 97% Parameter Sparsity in Mixtral-47B

hackernoon.com·6h

🚀Tokenizer Performance

Extending Formal Verification to Sequential Circuits (U. of Bremen)

semiengineering.com·16h

📈Monotonic Logic

Large induced matchings and minimal blocking sets using parabolas

anuragbishnoi.wordpress.com·12h

🔀SSA Construction

State of Knuckledragger III: Kernel Changes, Symbolic Union, AI, and more

philipzucker.com·1d

🧮Theorem Provers

🐥 Optimizing nested array operations in PHP: from O(3n) to O(n)

yellowduck.be·1d

🌳Tree Shaking

Show HN: 58% cost by replacing file reads with a dependency graph on AI Coding

news.ycombinator.com·14h·

Discuss: Hacker News

🦀MIR Optimization

Structured Outputs for LLMs

ternarysearch.blogspot.com·1d·

Discuss: Hacker News, ternarysearch.blogspot.com

🪜Recursive Descent

Maximally minimal specialization: always applicable impls

smallcultfollowing.com·20h

⚡Partial Evaluation

Loading more...