🐛 Fuzzing - cehmdxgw

justhamade/triadjs: Triad is a TypeScript/Node.js framework where API specification, implementation, validation, and testing are a single source of truth.

🕸️eBPF Blog

aisle.com·

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

🔍Symbolic Execution Academic

arxiv.org·

Show HN: We post-trained a model that pen tests instead of refusing your code

🌐WebAssembly

argusred.com··Hacker News, r/netsec

(Re)Building my Homelab - Reloaded

🖥️Hypervisors Blog

blog.zsec.uk·

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

🔍Symbolic Execution Academic

arxiv.org·

Show HN: SNItch – fuzz the TLS SNI field to discover hidden virtual hosts

🔓binary exploitation Code

github.com··Hacker News

Half of all web traffic is bots, and a growing share are "vibe-coded" scanners written by a chatbot prompt. Here's the layered webserver defense that stops them...

🕸️eBPF

deb.myguard.nl··r/linuxadmin

Formal methods and the future of programming

🔍Symbolic Execution Blog

blog.janestreet.com··Lobsters, Hacker News·Cited by 1 article

Re-quantizing a local LLM 14x faster by skipping the tensors that didn't change

⚡SIMD Optimization News Blog

andreaborio.substack.com··Substack

coherentforge/CambiOS: Zero-trust, capability-based Rust microkernel targeting formal verification. Tri-arch (x86_64 / AArch64 / RISC-V). Sovereign and generative: no telemetry, user owns keys and data. Early-stage — see STATUS.md. Inspired by seL4, Hubris, and Redox.

⚙operating systems Code

github.com··Hacker News

pii-shield/pii-shield: Zero-code K8s sidecar for log sanitization. Detects secrets via Entropy Analysis, preserves JSON integrity, and redacts PII deterministically. 🛡️

🔐Cryptography Code

github.com··DEV·Cited by 1 article

Release 0.17.6: Merge pull request #3782 from tigerbeetle/release-2026-06-05 · tigerbeetle/tigerbeetle

🦀Rust Compilers Code

github.com·

Tarides

🦀Rust Compilers Code

github.com·

justhamade/triadjs: Triad is a TypeScript/Node.js framework where API specification, implementation, validation, and testing are a single source of truth.

Learning Regular Languages with the TTT Algorithm

Claude Fable 5: Mythos-grade hype, record cheating, and a few hall-of-fame entries | Blog

GapFuzz: Cross-Plane Divergence Fuzzing for Distributed SDN Controllers

Hacking Salesforce Sites with an LLM Agent

BDMEmu - Bandai Design Master emulator v1.0 released!

Sensitive Information Disclosure Through an Exposed File Repository.

Your Security Shouldn't Depend on Someone Else's API

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

Show HN: We post-trained a model that pen tests instead of refusing your code

(Re)Building my Homelab - Reloaded

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

Show HN: SNItch – fuzz the TLS SNI field to discover hidden virtual hosts

Half of all web traffic is bots, and a growing share are "vibe-coded" scanners written by a chatbot prompt. Here's the layered webserver defense that stops them...

Formal methods and the future of programming

Re-quantizing a local LLM 14x faster by skipping the tensors that didn't change

coherentforge/CambiOS: Zero-trust, capability-based Rust microkernel targeting formal verification. Tri-arch (x86_64 / AArch64 / RISC-V). Sovereign and generative: no telemetry, user owns keys and data. Early-stage — see STATUS.md. Inspired by seL4, Hubris, and Redox.

pii-shield/pii-shield: Zero-code K8s sidecar for log sanitization. Detects secrets via Entropy Analysis, preserves JSON integrity, and redacts PII deterministically. 🛡️

Release 0.17.6: Merge pull request #3782 from tigerbeetle/release-2026-06-05 · tigerbeetle/tigerbeetle

Tarides