Top New Best Ask Show Jobs

RusDyn

3 karma · joined September 17, 2019

Founder @ ProofCodec.com Building cryptographic proof of policy integrity for WAF/DNS/CDN tables - what RPKI did for BGP routing.

Founder @ Lisbon Founders Club

submissions comments

Capture-Quiet Decomposition: A Verification Theorem for Chess Endgame Tablebases

arxiv.org·1 pts·RusDyn·

WritBase – Open-source task management for AI agent fleets (MCP-native)

github.com·1 pts·RusDyn·

2M DNS domains compressed into 253 bytes – with proof of correctness

proofcodec.github.io·4 pts·RusDyn·