Chris Olah
About
A wandering machine learning researcher, bouncing between groups. I want to understand things clearly, and explain them well
Showing posts with label person. Show all posts
Showing posts with label person. Show all posts
Monday, May 06, 2019
Sunday, May 05, 2019
Person of Interest: Edwin Brady
Edwin Brady
About
I am a Lecturer in Computer Science at the University of St Andrews, interested in type theory, dependently typed functional programming, compilers and domain specific languages (DSLs). I am currently working on the implementation of DSLs for stateful, resource-aware programming, especially for correct network protocol design and implementation, using Idris, a dependently typed functional programming language.
When I’m not doing that, you might find me playing Go (I’m about 1 kyu), walking up a hill, watching a game of cricket, or waiting for a delayed train.
I’m afraid I also perpetrated the whitespace programming language.
Labels:
computer science,
dsl,
edwin brady,
idris,
person,
type theory,
typed functional programming
Sunday, April 21, 2019
Person of Interest: Nathaniel Schutta
Nathaniel Schutta
About:
Nathaniel T. Schutta is a software architect focused on cloud computing and building usable applications. A proponent of polyglot programming, Nate has written multiple books and appeared in various videos. Nate is a seasoned speaker regularly presenting at conferences worldwide, No Fluff Just Stuff symposia, meetups, universities, and user groups. In addition to his day job, Nate is an adjunct professor at the University of Minnesota where he teaches students to embrace dynamic languages. Driven to rid the world of bad presentations, Nate coauthored the book Presentation Patterns with Neal Ford and Matthew McCullough. Nate recently published Thinking Architecturally available as a free download from Pivotal.
Labels:
architecture,
nathaniel schutta,
person,
POI,
software
Person of Interest: Micael Nielsen
Michael Nielsen
At the moment Michael says
Distill
At the moment Michael says
Linked workI'm a scientist, writer, and programmer.I work on ideas and tools that help people think and create, both individually and collectively.I'm a Research Fellow at Y Combinator Research. I'm also a member of the Steering Committee for the journal Distill, and write an occasional column for Quanta Magazine.Want to hear about my projects as they're released? Please join my mailing list.
Distill
Labels:
distill,
michael nielsen,
person,
quanta,
science,
software,
y combinator
Subscribe to:
Posts (Atom)