Maurice Heumann
momo5502
I used to be an adventurer like you.
Then I took a "Violation of Intellectual Property Rights" in the knee.
@thalesgroup
celeste
vmfunc
making computers misbehave. previously @NousResearch, Dash Crystal, TuringPI, @ThalesGroup
Pol Dellaiera
drupol
MSc @ Umons, external consultant @ European Commission, STEM lover, serial photographer, great musicologist, combo breaker, perpetual student...
European Commission Belgium
Bruno Gavranović
bgavran
Building neural networks that generate provably correct code, and the software infrastructure for training them.
London, United Kingdom
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
Philippe Rémy
philipperemy
From Paris to Bangkok via London, Tokyo, LA. Ex @ImperialCollegeLondon. Maths, Stats, Machine Learning. 🏄 🎲 🎱 Co Founder of @skysense, an AI startup.
Imperial College London Earth
Pretendo Network
PretendoNetwork
Open source Nintendo Network replacement servers for the WiiU and 3DS
SmmServer
SmmServer
Open source private server for Super Mario Maker (Wii U), integrated with SMMDB and Cemu.
Hilal Hakla
hilalhakla
Senior software engineer
My stack: .Net, React, Azure, Azure Devops, MSSQL
Current owner and maintainer of json2csharp and other code generatio tools