On Lounge since Oct 2026
Jack Widman PhD
Member #841FounderL2CoFounder and CTO, Sheaf Labs
Founder at Sheaf. A research software engineer and mathematician specializing in applying Category Theory and Topology to AI Safety.
How karma works. Everyone starts with 5. You get +1 each time another member upvotes one of your posts or comments (your own upvotes don't count), and lose it if they take the upvote back. Post what you're building, answer questions and help other members to earn more.
Achievements
Plugged In ×4Connected sources: GitHub, Hugging Face, LinkedIn, X, website.How: Connected 4 sources (GitHub, LinkedIn, X or a website) in Settings
Plugged In×4Featured
Shipper ×2Projects on your profile.How: Added 5 projects to their profile
Shipper×2
Pinned projects
chocolatelabs.me
Sheaf theory and sheaf cohomology in Idris 2
Kan — an experimental language whose one primitive is the universal completion of a partial diagram (README-driven, category-theoretic core).
A tool for comparing passages from the Torah from the various commentators.
VibeJibe stealth landing page
Stack
About
Founder at Sheaf. A research software engineer and mathematician specializing in applying Category Theory to AI Safety.
Experience
Co-founder @ Sheaf Labs, Sheaf Cohomology, Algebraic Topology, Dependent Type Theory, Founder of the Sheaf Mathematical Institute.
Co-founder · Sheaf Labs
IA
Founder at InterThink AI · InterThink AI
Research Fellow · Ben-Gurion University of the Negev
Senior Solution Developer · Onebridge
Lead Scala Developer · Infosys
Scala Developer · Freelance
Independent Contractor · databyt.es
Contractor · Bayer CropScience Vegetable Seeds
