bug-bounty252
google211
facebook176
microsoft172
apple125
rce95
exploit88
xss57
defi48
smart-contract47
writeup47
ethereum44
open-source44
access-control42
sqli39
aws37
ai-agents36
docker36
csrf36
web335
account-takeover35
ssrf35
malware34
bragging-post33
cloudflare33
smart-contract-vulnerability33
react32
dos31
cve31
subdomain-takeover27
supply-chain26
idor26
privilege-escalation25
solidity25
wordpress23
browser23
cors23
node22
denial-of-service21
authentication-bypass21
oauth21
automation20
race-condition20
vulnerability-disclosure19
auth-bypass19
tool19
cloud19
machine-learning18
llm17
pentest17
0
3/10
Introduces 'plumbing', a statically-typed language for coordinating multi-agent LLM systems based on symmetric monoidal category theory. The language enables compile-time verification of agent graphs for well-formedness, deadlocks, and concurrency properties to prevent costly runtime failures.
agent-frameworks
llm-coordination
type-systems
formal-verification
concurrent-systems
cost-optimization
programming-language
state-machines
category-theory
session-types
plumbing
LangGraph
n8n
CrewAI
Claude Code
Anthropic
Cursor
Plan 9
Solaris
William Waites
Tobias Fritz
0
1/10
partnership-request
A systems engineer seeks collaborators to build an AI agent memory platform using Vector Symbolic Architecture and Hyperdimensional Computing, with a bifurcated architecture: bare-metal Zig for data plane math (AVX-512, memory-mapped NVMe, lock-free operations) and Gleam/Erlang for control plane concurrency.
ai-systems
memory-architecture
vector-symbolic-architecture
hyperdimensional-computing
low-level-systems
zig-lang
erlang
gleam-lang
performance-optimization
simd
concurrent-systems
nvm-optimization
io-uring
cache-optimization
Kendall (author)
Zig
Erlang
Gleam
Vector Symbolic Architecture
Hyperdimensional Computing
AVX-512
BEAM
Linda-style Tuplespace