On AI Lounge since Nov 2026
Davy Duperron
Member #4,778DeveloperL2Full-stack Developer, Independent
Fullstack engineer who loves to build things 🛠️#Zig #Rustlang #TypeScript #Nature #Science
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 ×3Connected sources: GitHub, Hugging Face, LinkedIn, X, website.How: Connected 3 sources (GitHub, LinkedIn, X or a website) in Settings
Plugged In×3Featured
ShipperProjects on your profile.How: Added 1 project to their profile
Shipper
No posts yet
Davy Duperron hasn't posted yet.
Pinned projects
A Lean 4 + Mathlib proof service for the agent working on your code
agentsai
claudeformal-verificationlean4
Real-time collaboration for terminal coding agents: sandboxed, peer to peer, encrypted in git.
ai-agentsclaude-codecli
codexcoding-agents
About
Fullstack engineer who loves to build things 🛠️
#Zig #Rustlang #TypeScript #Nature #Science
Stack
Experience
Full-stack Developer · Carbonfuture
RO
Senior Frontend Engineer · Realworld One
A
Lead Software Engineer · Allthings
A
Software developer · Allthings
FM
Police Officer · French Ministry of Defence
