Viewing 0 current events matching “sepdx” by Date.

Sort By: Date Event Name, Location , Default
No events were found.

Viewing 8 past events matching “sepdx” by Date.

Sort By: Date Event Name, Location , Default
Tuesday
Mar 27, 2012
cat User's Group
Lucky Labrador Brew Pub

Portland's Cat Advancement Team (CAT) presents this meeting for our beloved command 'cat'

You use cat every day, but did you know there's more to it than simply displaying a file?

Jen Adams will present on the following topics:

cat history - considered harmful?

concatenation of files and stdin

pipes and redirects

command line options - who knew?

GNU vs BSD

Wednesday
Nov 29, 2017
PDX Functional Progamming - Theory Track - Logic and Proof
Collective Agency Division

Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/


PDXFunc is a study/user group exploring functional programming in Portland, Oregon. The group welcomes programmers with any level of experience or interest in any functional language, including Haskell, Lisp, OCaml, Scala, Idris, Agda, as well as using functional techniques in not explicitly functional languages.

We have two kinds of meetings: theory and practice, that each meet twice a month.

Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.:

http://groups.google.com/pdxfunc

Website
Wednesday
Dec 13, 2017
PDX Functional Progamming - Theory Track - Logic and Proof
Collective Agency Division

We'll discuss Chapter 3 and possibly Chapter 4 of Logic and Proof (https://leanprover.github.io/logic_and_proof/). Please try to at least read Chapter 3 and do the exercises. Chapter 4 is a stretch goal. At the meeting anyone will be able to present and contribute to the discussion.


PDXFunc is a study/user group exploring functional programming in Portland, Oregon. The group welcomes programmers with any level of experience or interest in any functional language, including Haskell, Lisp, OCaml, Scala, Idris, Agda, as well as using functional techniques in not explicitly functional languages.

We have two kinds of meetings: theory and practice, that each meet twice a month.

Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.:

http://groups.google.com/pdxfunc

Website
Wednesday
Jan 10
PDX Functional Progamming - Theory Track - Logic and Proof
Collective Agency Division

Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/


PDXFunc is a study/user group exploring functional programming in Portland, Oregon. The group welcomes programmers with any level of experience or interest in any functional language, including Haskell, Lisp, OCaml, Scala, Idris, Agda, as well as using functional techniques in not explicitly functional languages.

We have two kinds of meetings: theory and practice, that each meet twice a month.

Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.:

http://groups.google.com/pdxfunc

Website
Wednesday
Jan 24
PDX Functional Progamming - Theory Track - Logic and Proof
Collective Agency Division

Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/


PDXFunc is a study/user group exploring functional programming in Portland, Oregon. The group welcomes programmers with any level of experience or interest in any functional language, including Haskell, Lisp, OCaml, Scala, Idris, Agda, as well as using functional techniques in not explicitly functional languages.

We have two kinds of meetings: theory and practice, that each meet twice a month.

Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.:

http://groups.google.com/pdxfunc

Website
Wednesday
Feb 14
PDX Functional Progamming - Theory Track - Logic and Proof
Collective Agency Division

Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/


PDXFunc is a study/user group exploring functional programming in Portland, Oregon. The group welcomes programmers with any level of experience or interest in any functional language, including Haskell, Lisp, OCaml, Scala, Idris, Agda, as well as using functional techniques in not explicitly functional languages.

We have two kinds of meetings: theory and practice, that each meet twice a month.

Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.:

http://groups.google.com/pdxfunc

Website
Wednesday
Mar 14
PDX Functional Progamming - Theory Track - Logic and Proof
Collective Agency Division

Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/


PDXFunc is a study/user group exploring functional programming in Portland, Oregon. The group welcomes programmers with any level of experience or interest in any functional language, including Haskell, Lisp, OCaml, Scala, Idris, Agda, as well as using functional techniques in not explicitly functional languages.

We have two kinds of meetings: theory and practice, that each meet twice a month.

Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.:

http://groups.google.com/pdxfunc

Website
Wednesday
Apr 11
PDX Functional Progamming - Theory Track - Logic and Proof
Collective Agency Division

Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/


PDXFunc is a study/user group exploring functional programming in Portland, Oregon. The group welcomes programmers with any level of experience or interest in any functional language, including Haskell, Lisp, OCaml, Scala, Idris, Agda, as well as using functional techniques in not explicitly functional languages.

We have two kinds of meetings: theory and practice, that each meet twice a month.

Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.:

http://groups.google.com/pdxfunc

Website