🐛 Fuzzing - matmat

Less-relevant results

wolfCOSE: CBOR and COSE on FIPS-Validated wolfCrypt: Announcing wolfCOSE for wolfCrypt

🔐CBOR

wolfssl.com··Hacker News, r/embedded

My side of the jqwik anti AI logging drama

🌿git Blog

blog.johanneslink.net··Lobsters, Hacker News

☕ Issue 524

💻programming languages

java.libhunt.com·

Static Code Analysis and the Rules of Zero, Three, and Five

📊Static Analysis Blog

blog.jetbrains.com·

Tensor Algebraic Property Skeletons: Amplifying Property-Based Testing for AI Compilers

🧪Property-Based Testing Academic

arxiv.org·

Rust, C++, and the Tradeoffs Behind Safe Low-Level Code: interview with Nikita Lisitsa

🔒Type Safety Blog Discussion

serokell.io·

New PET tracer identifies DVT in legs and lungs

🧪Binary Fuzzing

medicalxpress.com·

“Sloppenheimer:” Amazon Employees Mock the Company’s AI on Slack

🐚Shell Automation

404media.co··Hacker News

skeeto/quilt.cpp: Quilt implemented in C++

🐚Shell scripting Code

github.com··Hacker News

Composable Data Access with Lenses

💻programming languages

claudiu-ivan.com··Hacker News

Show HN: GitHub Copilot port of Anthropic's AI vulnerability discovery harness

🧪Binary Fuzzing Code

github.com··Hacker News

anthropics/defending-code-reference-harness: Skills for threat modeling, scanning, triage, patching, plus an autonomous scanning harness you can /customize

🧪Binary Fuzzing Code

github.com··Hacker News

gburd/libumem: This is the user space slab memory allocator, umem, first available in Solaris 9. (mirror of: codeberg.org/gregburd/libumem)

🧙‍♂️Unix Operating Systems Code

github.com·

Property-based testing | Liam DeVoe

Operationalizing Property-Based Testing for Data-Intensive Scalable Computing Systems

jqwik-team/jqwik: Property-Based Testing on the JUnit Platform

wolfCOSE: CBOR and COSE on FIPS-Validated wolfCrypt: Announcing wolfCOSE for wolfCrypt

My side of the jqwik anti AI logging drama

☕ Issue 524

Static Code Analysis and the Rules of Zero, Three, and Five

Tensor Algebraic Property Skeletons: Amplifying Property-Based Testing for AI Compilers

Rust, C++, and the Tradeoffs Behind Safe Low-Level Code: interview with Nikita Lisitsa

New PET tracer identifies DVT in legs and lungs

“Sloppenheimer:” Amazon Employees Mock the Company’s AI on Slack

skeeto/quilt.cpp: Quilt implemented in C++

Composable Data Access with Lenses

Show HN: GitHub Copilot port of Anthropic's AI vulnerability discovery harness

anthropics/defending-code-reference-harness: Skills for threat modeling, scanning, triage, patching, plus an autonomous scanning harness you can /customize

gburd/libumem: This is the user space slab memory allocator, umem, first available in Solaris 9. (mirror of: codeberg.org/gregburd/libumem)