🏠
Working from home
Visit my other projects at http://github.com/atnos-org!
-
Ockam
- Haarlem, Netherlands
- http://etorreborre.blogspot.com
- @etorreborre
- @etorreborre@fosstodon.org
Jonathan Immanuel Brachthäuser
b-studios
Jun. Professor of Software Engineering at University of Tübingen, working on effect systems, control flow, and more.
University of Tübingen Tübingen
Moritz Clasmeier
mtesseract
Mathematician, hacker, functional programmer, feminist; interested in politics, philosophy, history of science among other things.
Red Hat Germany
Pascal Voitot
mandubian
AI applied research scientists & engineer - Data/Stream senior engineer - Senior developer on FP & typesafe languages
Job Free (Paris) Paris
Jonas Bonér
jboner
Founder and CTO of Akka. Creator of the @akka Project, the @AspectWerkz AOP compiler, and many other OSS projects.
Akka Uppsala, Sweden
Daniel Spiewak
djspiewak
I write code, read papers, and think thoughts. Broadly, I'm interested in: type theory, parser theory, functional abstractions, data structures, performance.
@nvidia Chicago, IL