Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications
Applying the 🐓 proof system to find all the vulnerabilities.
🐻❄️
Formal Land Paris
Edward Amsden
eamsden
Systems programming, PL/runtime implementation, distributed systems.
@temporalio Texas
Senior Software Engineer & Architect
swdreams
Senior Software Engineer & Architect with over 15 years of experience.
Looking for remote work or open-source projects.
ReactJS | NodeJS | PHP | Java
Ulric Wilfred
shamansir
computer graphics, m○stly generated. ⸬
any λanguage, but ƒunctional ones are preferred.
punk of a progr⭑mming.
made nice stuff. still doing nice stuff.
Munich, Germany
Travis Meisenheimer
tmeisenh
Tin foil hat wearing software developer.
Asynchrony Saint Peters, Missouri, USA