Skip to content

@proofstone proofstone

Change the repository type filter

All

    Repositories list

    7 repositories

    • proofstone.dev

      Public
      The umbrella site for the proofstone roadmaps — the render layer. The roadmap repos are the source of truth; the site rebuilds itself when one changes.
      JavaScript
      •
      MIT License
      •0•0•0•0•Updated Aug 1, 2026Aug 1, 2026

    • applied-cryptography-roadmap

      Public
      A milestone map for engineers who ship cryptography: break it in Cryptopals & CryptoHack, then don't ship the OWASP A04 bug. Every claim is a canon citation, ne…
      Python
      •
      Creative Commons Attribution Share Alike 4.0 International
      •0•0•0•0•Updated Jul 31, 2026Jul 31, 2026

    • distributed-systems-engineer-roadmap

      Public
      A milestone map into distributed systems — consensus, replication, failure detection. Every node is a test that passes or fails, not a keyword you nod at.
      Python
      •
      Creative Commons Attribution Share Alike 4.0 International
      •0•0•0•0•Updated Jul 31, 2026Jul 31, 2026

    • ai-safety-engineer-roadmap

      Public
      A milestone-based roadmap into AI safety engineering - evals, red-teaming, guardrails, agent security. Every node is an artifact you can prove, not a keyword.
      machine-learningroadmapai-safety
      machine-learningroadmapai-safetyred-teamingai-securityai-alignmentguardrailsllmprompt-injectionllm-security
      Python
      •
      Creative Commons Attribution Share Alike 4.0 International
      •0•0•0•0•Updated Jul 31, 2026Jul 31, 2026

    • minrepro

      Public template
      The code says it works. Prove that it doesn't. Real bugs from open source, proved with a failing test.
      Python
      •
      MIT License
      •0•0•0•0•Updated Jul 29, 2026Jul 29, 2026

    • .github

      Public
      0•0•0•0•Updated Jul 28, 2026Jul 28, 2026

    • swim-lab

      Public
      The Distributed Systems Engineer Roadmap §4.1 milestone made executable: you implement SWIM, a deterministic suite grades it.
      Go
      •
      MIT License
      •0•0•0•0•Updated Jul 18, 2026Jul 18, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.