addressalign-toparrow-leftarrow-leftarrow-right-10x10arrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscontroller-playcredit-cardcrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobe--smallglobegmailgooglegroupshelp-with-circleimageimagesinstagramFill 1languagelaunch-new-window--smalllight-bulblinklocation-pinlockm-swarmSearchmailmediummessagesminusmobilemoremuplabelShape 3 + Rectangle 1ShapeoutlookpersonJoin Group on CardStartprice-ribbonprintShapeShapeShapeShapeImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruserwarningyahooyoutube

mike b.

Location:

San Francisco, CA
Hometown: Champaign-Urbana IL

Member since:

November 1, 2013

Networks

What got you interested in this group? (Are you here for the programming languages, the theorems, or the types?)

No answer yet

What's your favorite programming language?

Common Lisp

What 's one thing your favorite programming language does wrong, and how would you fix it?

most things can be avoided or worked around w/libs etc there is value in having a standard to flexibly extend new ideas have been put forth for it, but not that much that people can't start trying well before it would be accepted

What programming-language-related or type-theoretic idea are you most curious about, or most intrigued by?

used to like agent/actor, having more immutable/more easily coordinated work;&I like KnRep&Reasoning data/goal driven, running from explicit description&how to use that vs. bury that in code

Who would win in a fight: Ada Lovelace with the power of flight, or Alonzo Church with the power of invisibility?

No answer yet

Introduction

Lisp programmer, AI/science


Member of 116 other Meetups

Interests

People in this
group are also in:

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy