@pdxfunc

The Portland Functional Programming Study Group exlores the world of functional programming in many languages.

 Portland, Oregon
pdxfunc.org/
Joined June 2009
  • Tweets157
  • Following68
  • Followers174
1Media
I'll be speaking/demoing an @elmlang app at @pdxfunc a week from Monday! You should be there if you're near Portland. – at Woodland, WA
1
1
2
1
Big turnout tonight! Lyle is starting us off explaining the virtue of functional programming. – at Portland, OR
1
1
pdxfunc retweeted
PDX R@pdxrlang3 May 2016
#pdxrlang Next Monday - Collaborative coding with GitHub and @RStudio server meetup.com/portland-r-user-g… #rstats
1
pdxfunc retweeted
PDX R@pdxrlang3 May 2016
#pdxrlang Next Tuesday: meet, greet, hack meetup.com/portland-r-user-g… (note venue change for this meetup)
1
pdxfunc retweeted
Galois@galois2 May 2016
Wednesday Tech talk by June Andronick: Interrupts in OS code: let’s reason about them. Yes, this means concurrency. galois.com/blog/2016/05/tech…
5
10
pdxfunc retweeted
Galois@galois21 Mar 2016
We have two tech talks this week: galois.com/blog/2016/03/tech… galois.com/blog/2016/03/tech…
1
4
4
I'm taking Andrew Ng's machine learning Coursera class. Interested in a study group? Class is free or $50 if you want a certificate.
1
2
3
pdxfunc retweeted
Galois@galois14 Mar 2016
Tech talk: Toward Extracting Monadic Programs from Proofs by James Caldwell, on Friday March 18th: galois.com/blog/2016/03/tech…
9
9
Don't forget to vote for us daily for the $5k Yelp Foundation grant. Help support @osbridge, @calagator and more! ow.ly/VJmMm
4
pdxfunc retweeted
Galois@galois5 Nov 2015
Tech talk: Designing a practical dependently typed language by Chris Casinghino on Wednesday, Nov 11th! galois.com/blog/2015/11/tech…
3
12
16
Replying to @MDTom
@MDTom @pdxfunc github.com/idris-lang/Idris-… my notes: gist.github.com/enolan/4c931…
1
1
Awesome presentation on SAT & SMT solvers by Levent Erkok at last month's @pdxfunc, as well as their usage with leventerkok.github.io/sbv/
1
1
The 3rd installment of @d_christiansen's Idris course at @galoisinc is up vimeo.com/117979741 Slides & exercises: github.com/david-christianse…
3
7
Tomorrow (Thursday) at 3:30: final installment (3 of 3) of @d_christiansen series of Idris lessons at @galoisinc calagator.org/events/1250467…
1
7
7
This Tuesday 3:30 at @galoisinc: part 2 of 3 of @d_christiansen's excellent Idris class, this time on DSLs. calagator.org/events/1250467…
1
5
3
Next Thursday: Learn Idris from @d_christiansen at @galoisinc (part 1 of a 3 talk series) calagator.org/events/1250467…
4
3
Haskell Office Hours tonight, "for people of all skill levels to come together, learn, and have fun", at @galoisinc! meetup.com/Portland-Haskell-…
2
1
Tonight @pdxfunc: @d_christiansen reprising his @IFL_2014 talk on type-directed elaboration of quasiquotes in Idris. calagator.org/events/1250467…
4
3
pdxfunc retweeted
Galois@galois28 Jul 2014
Tech talk: Vinyl: Records in Haskell & Type Theory, Jon Sterling, galois.com/blog/2014/07/tech…
1
17
17
Blogged about proving Even[N] + Even[M] = Even[N + M] using #Agda, #Idris, #Haskell and #Scala: brianmckenna.org/blog/evenod…
2
16
29
Load more