Testing

Feeds to Scour
SubscribedAll
Scoured 60 posts in 5.8 ms

GapFuzz: Cross-Plane Divergence Fuzzing for Distributed SDN Controllers

 🌐Web  Content type: Academic
arxiv.org·

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

 👐Open source software  Content type: Code
github.com··DEV

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...

 🌐Web

(Re)Building my Homelab - Reloaded

 🌐Web  Content type: Blog
blog.zsec.uk·

Newsletter Subscription

 👐Open source software
newsletter.nixers.net·

Sensitive Information Disclosure Through an Exposed File Repository.

 👐Open source software
infosecwriteups.com
·

TestMap: Evidence Infrastructure for Foundation-Model-Assisted Test Generation

 🦀Programming languages  Content type: Academic
arxiv.org·

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

 👐Open source software  Content type: Code
github.com·

AI Agent Uncovers 21 Zero-Days in FFmpeg; Chrome Patches Record 429 Bugs

 🦀Programming languages
thehackernews.com·

agentsploit/agentsploit: Offensive security framework for AI agents and MCP servers.

 🌐Web  Content type: Code
github.com··Hacker News

STMutants: A Mutation Testing Dataset for Structured Text Programs in Industrial Automation

 📊Type systems  Content type: Academic
arxiv.org·

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

 🦀Programming languages  Content type: Code
github.com·

bmc4j/bmc4j: Bounded model checking for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test

 📊Type systems  Content type: Code
github.com··Hacker News

VASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents

 📊Type systems  Content type: Academic
arxiv.org·

The Complexity of Asynchronous HyperLTL

 📊Type systems  Content type: Academic
arxiv.org·

Correct-by-Construction Design of Timed Systems in Event-B

 📊Type systems  Content type: Academic
arxiv.org·

Smaug123/WoofWare.PawPrint: An *extremely WIP* implementation of a .NET runtime.

 📊Type systems  Content type: Code
github.com··Hacker News

bdfinst/agentic-dev-team

 👐Open source software  Content type: Code
github.com·

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

 📊Type systems  Content type: Code
github.com··Hacker News

Mythos found the bugs. Who funds the fixes?

 📊Type systems  Content type: Blog
opub.dev··Hacker News

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help