OriginTrail
OriginTrail
Collective neuro-symbolic AI with Decentralized Knowledge Graph (DKG) Ecosystem on $trac(k)
Michael Snoyman
snoyberg
Haskell and Rust, founder and maintainer of many OSS Haskell projects: Yesod, Conduit, Stack, Stackages, and more. VP of Engineering at FP Complete (@fpco)
@fpco Israel
Nikola Paunović
ElGatoLoco
Product-oriented senior software engineer, experienced in building integration-heavy platforms, asynchronous workflows, and scalable architectures
Barcelona, Spain
Keith Pinson
Kazark
In imitation, creating through language. Linux, Emacs, type theory, functional programming, metaprogramming, compilers, build systems, language design.
Undisclosed
Dan Piponi
dpiponi
Using an IBM Port-a-Punch I wrote my first program in Fortran in around 1978.
San Anselmo, CA, USA
Bruno Gavranović
bgavran
Building neural networks that generate provably correct code, and the software infrastructure for training them.
London, United Kingdom
Bartosz Milewski
BartoszMilewski
Author of Category Theory for Programmers
Programming Cafe Paris, France
José Valim
josevalim
Creator of @elixir-lang. Chief Adoption Officer at @dashbitco, where we build @tidewave-ai and @livebook-dev.
Kraków, Poland