💯
coolin
- Barbados
Block or Report
Block or report intricate
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
Guillaume Claret
clarus
Working at Formal Land to formally verify mainstream programs using the proof system Coq.
Formal Land Paris
Harry Pray IV
harryprayiv
Haskell, Nix, Plutus, Purescript;
functional programming enthusiast
Cambridge, MA
Thomas Wedler
Fugu18
(np.array([(p**i *(1-p)**(n-i))*(factorial(n)/(factorial(i)*factorial(n-i))) for i in range(n)[1:]])*([True if x>int(0.5*n) else False for x in range(n)[1:]]))
Singapore
Barry Moore
chiroptical
Random functional programming content on https://youtube.com/chiroptical.
https://mercury.com Boston
Dylan Martin
dmarticus
My body is a machine that turns ideas into `E0277: Trait Bound Not Satisfied`
@PostHog Seattle