pdxfunc @pdxfunc
The Portland Functional Programming Study Group exlores the world of functional programming in many languages. pdxfunc.org Portland, Oregon Joined June 2009-
Tweets157
-
Followers179
-
Following68
-
Likes17
"The inference seems almost too obvious to state explicitly ... the rule reads as follows:" 🤔 leanprover.github.io/logic_and_proo…
Reminder: this is at the Collective Agency on SE 30th & Division, instead the downtown location we've used in the past.
Based on survey, we'll have "theory" meetings 2nd & 4th Wednesdays @CollectiveAgenC Division, "Logic and Proof"; "practice" meetings 1st & 3rd Mondays @CollectiveAgenC downtown, "Pearls of Functional Algorithm Design". groups.google.com/d/msg/pdxfunc/…
10 year anniversary meeting starting in 10 minutes!
Meeting Monday September 11! Lyle will present Haskell lesson five and his BASIC interpreter meetup.com/Portland-Funct…
pdxfunc retweeted
Meeting tomorrow, 6:30p! Haskell lesson 5 & the 1ML language. meetu.ps/392BhH
Meeting tomorrow, 6:30p! First, Haskell lesson 4. Then Haskell web apps with GHCJS frontends and Servant backends. meetup.com/Portland-Funct…
Meeting tonight! Haskell lesson 3 & Category Theory. 6:30pm at Collective Agency's Tiffany Center location: meetup.com/Portland-Funct…
Haskell lab is in a few hours at 6:30. Lyle and Echo will be there to help with the homework. meetup.com/Portland-Funct… Come hang out!
pdxfunc retweeted
Big turnout tonight! Lyle is starting us off explaining the virtue of functional programming.
Meeting tomorrow, 6:30PM! Haskell lesson 1 + data parallelism in Spark & Scala. meetup.com/Portland-Funct… NB: Different location from usual
Second notice: Help us make the group better and answer our survey. What would make you excited to come? docs.google.com/forms/d/e/1FAI…
Help us make the group better and answer our survey. Should be <10 minutes. What would make you excited to come? goo.gl/forms/AvRyamsS…
Meeting tonight! We'll discuss what Haskell is good for, why you should care and monads. 6:30pm, Collective Agency. meetup.com/Portland-Funct…
Meeting Monday evening! @enolan will present "Generic Constructors and Eliminators from Descriptions" meetup.com/Portland-Funct…
neuroevolutus @neuroevolutus
21 Followers 3K Following
Beatmyself @Beatmyself1
0 Followers 8 Following I'll ask questions...you can answer because do you really want to know me. I'm boring. I haven't had any experiences and most recently I've decided to become a
pdx.elixir.group @PdxElixirGroup
22 Followers 76 Following ⚗️ 🖥️ 💜 🔥 🐥 🥳 🍕🤓 👏 Portland's Elixir Meetup We meet every 3'rd Wednesday of the month
Sumit Chowdhury @sumitc311
636 Followers 5K Following Curious Explorer. Multifaceted interests. Multidisciplinary. Author, Problem Solver.
Organic Chemistry @JohnMathewOCCR
4K Followers 1K Following Organic Chemistry: Current Research This scholarly journal maintains high standards of scientific excellence with its rapid peer review process.
Gabriel 📯 @grapefinch
347 Followers 4K Following William Stieg, bicycles, Fahey, javascript, gourds, wool sox, python, adult monkeybars, nudibranchs, dark chocolate, HP48GXs.
fishackathonpdx @fishackathonpdx
19 Followers 169 Following Fishackathon brings together designers, developers, and subject matter experts for a weekend to build tech solutions for sustainable fishing practices.
Raúl Raja @raulraja
5K Followers 2K Following Interested in AI, Functional Programming & Formal verification. CTO @AIPredictable
John Soo @jsoo@floss.... @jsoo1
131 Followers 399 Following Mathematics enthusiast, functional programming lover. economics and political theory https://t.co/294gdGnaAl (they/them also accepted) https://t.co/B3OQNLXsNn
Jarett Creason @jarettcreason
94 Followers 472 Following Dad, Husband, Software Guy, Home Brewer, Hunter
Sasha Kovar @arcocene
65 Followers 104 Following
Portland ReasonML @ReasonPDX
14 Followers 11 Following Portland ReasonML Meetup news and information
James @guysujeto
199 Followers 4K Following
Luigi Micio @MicioLuigi
1 Followers 69 Following
Kirby Urner @thekirbster
621 Followers 1K Following
Alex @_codejitsu
698 Followers 4K Following Software Development Engineer at @awscloud / Distributed Systems Enthusiast / Book Worm - interested in scalable distributed systems, JVM and #AWS / INFJ🐨
nateSwanner @NateSwanner
3K Followers 381 Following
Lena Hall @lenadroid
21K Followers 4K Following CEO of Droid AI • Cloud • Data • AI/ML • Ex AWS, Microsoft • Keynote Speaker • Industry Analyst • Opinions are mine
Ali Murtaza @deepeyesu
102 Followers 288 Following
Alexander Miranda @amiranda222
204 Followers 1K Following Software Engineer, header photo from: https://t.co/B87yJOWDOK
PDX R @pdxrlang
407 Followers 23 Following Portland R User Group https://t.co/b7iLkyRHmX Tweets mostly by @tladeras and the other co-organizers
Hugo Sanguino @hugosanguino
2K Followers 3K Following
Garrett Mosier @garrett_mosier
64 Followers 737 Following Application security (AppSec) engineer in Seattle. I enjoy baduk (go), piano, and hockey. He/him (He/Him/His)
Luc Perkins @lucperkins
3K Followers 4K Following @DeterminateSys. Nomad. Co-author, Seven DBs in Seven Weeks (https://t.co/7K3vCAoWU0). PhD @DukePoliSci. @WestJet is a criminal organization. #RipCity
V2A @V2ASolutions
387 Followers 694 Following Training, Consulting, and Leadership Helping entrepreneurs bring their visions into reality with profitability and production.
Yakhin.Mehkum @Yakhin_Mehkum
213 Followers 5K Following "Be a free thinker and don't accept everything you hear as truth. Be critical and evaluate what you believe in." -- Aristotle (384 - 322 BC).
Peter @petervendamere
3 Followers 14 Following
Ahn, Ki Yung @kyagrd
41 Followers 134 Following
J S. @j_sv3202
22 Followers 196 Following Professional Software Developer. Java. Python. Scala. ML. C++. M.S. in Computer Science with background in Machine Learning, AI, NLP, Forecasting.
nasirUnahiyan @nasiru_nahiyan
80 Followers 1K Following
Matt Foster @mcfstr
14 Followers 104 Following
Joshie Simmons @JoshieSimmons
2 Followers 9 Following
ADLongwell @ADLongwell
313 Followers 1K Following SDM, AWS Application Composer. Tweets and opinions are my own and not those of my employer. @[email protected]
prasad rao @prasadvrao
185 Followers 2K Following Machine Learning at LinkedIn (after Facebook and GoldmanS). Parent of 2 11yrolds (now 14)(updated to 16 ( at present 17 (now 19))).
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
D Smith @drossmith
5 Followers 10 Following
Aaron Tomb @atombeast
267 Followers 337 Following Applied Scientist at Amazon Web Services. All opinions are entirely my own. He/him.
LambdaConf 2025 @lambda_conf
9K Followers 2K Following A mind-blowing programming conference, held in Estes Park, CO.
Jamon @jamonholmgren
29K Followers 4K Following Say hi, I'm friendly! ∞ @infinite_red founder ⚛️ @ReactNativeRdio host 🚁 @jammingames 🥅 Hockey goalie ✝️ Lutheran 🙎🏼♂️🧒🏼👧🏼👧🏼 Dad x4 👶 Gpa x1
Papers We Love @ PDX @pwlpdx
73 Followers 0 Following
functionalKats @functionalKats
438 Followers 121 Following We complete a short programming problem in a functional language and occasionally some workshops. Based in Dublin, Ireland
PDX Dependent Types @pdxdep
71 Followers 17 Following The Portland Dependent Types Study Group: Types which depend on values, and the people who depend on the types.
LambdaConf 2025 @lambda_conf
9K Followers 2K Following A mind-blowing programming conference, held in Estes Park, CO.
Caylee Hogg @cayleehogg
376 Followers 370 Following Math loving, feminist, queer, non-binary trans devotee of dependent type theory. Working on a PhD in CS. Zimmy in the rain. 'They', if you please.
Markus J. Q. Roberts @MarkusQ
604 Followers 724 Following I'm a {computer language (ruby|pascal| smalltalk|haskell|postscript| joy|javascript|lisp), AI, botany, chem, physics, math, biz, humor, lateral thinking} nerd
Stumptown Syndicate @stumpsyn
407 Followers 67 Following Cultivating a resilient & sustainable ecosystem of diverse and inclusive technology communities.
pdxdevops @pdxdevops
767 Followers 49 Following A user group sharing the good news from the glorious merger of software development and system operations!
Thomas M. DuBuisson (... @MDTom
304 Followers 378 Following I like safe languages and unsafe problems. Analyzing code, encrypting data, processing encrypted data, toying with the whiz-bang parts of tech (CV, AI) all fun.
iDialogue: Bring Your... @dlog
2K Followers 2K Following AI agents for Salesforce. Extend your org with unimaginable intelligence. AI Assistants, agents, content generation and guided sales/support assistants.
T.S. Hall @SonoraSeries
9K Followers 154 Following Founder of JobbyRecruit. Author. Tech Recruiter. Economist. Investor. Dreamer.
Jesse Cooke 🇺🇦 @jc00ke
1K Followers 0 Following Founder/CTO @RatioPBC, building public health technology w/ @elixirlang. @watsi (YC W13), @InQuicker and Geometer alum. He/him
John Hamilton @johnlhamilton
44 Followers 89 Following
Cristiano Paris @rhpk
114 Followers 196 Following
Anand Kumar @anandr86
36 Followers 155 Following
Rick @rickasaurus
10K Followers 3K Following 2x Dad, AI Old-Timer, FP Enjoyer, Math for Fun, Startup Leadership Roles in: Fintech, Healthcare, RegTech, Biotech. B2B, B2B2C, Successful Exit CTO.
Dr. Gregg Gittins @Back2Strength
1K Followers 1K Following We are a revolutionary and clinically proven spinal rehab program that greatly reduces and, more often, eliminates chronic back and neck pain.
TrisotRu @rutrisot
641 Followers 1K Following
David Mora @DavidQMora
118 Followers 86 Following Software engineer, systems architect, systems integrator, embedded developer, tinkerer. Perennial learner, unabashedly curious. Wannabe woodworker.
ПРИНЦипиал�... @luterrr
2K Followers 3K Following Профессиональный блоггер, общая аудитория читателей - 10.000 человек. Важно - кино, блоги, книги, работа, друзья, учёба. http://absoluters.ru/ - главное детище.
@[email protected] @donsbot
6K Followers 0 Following Not on Twitter anymore. Follow me at https://t.co/TsydQVKe5X and https://t.co/yZojCG7KEO
Gipper Gracie @Gipper330
129 Followers 386 Following
Karlyn Rood @karlynrood
51 Followers 84 Following I help create great software by finding its problems.
Jacob Oram @softwareworld
534 Followers 827 Following
tpjava @tpjava
124 Followers 355 Following
Bryan Snyder @woodfloorspdx
529 Followers 1K Following Expert hardwood floor professional Bryan Snyder updates interesting projects for viewing by interested parties
Ricochet Apps @ricochetapps
700 Followers 1K Following Ricochet APPS offers customized business apps for the small to medium size business
. @andormaybe
181 Followers 73 Following
Tim A. Cummins @timacummins
62K Followers 74K Following Community Development with Internationals in Atlanta, GA.
✨ Phil Calçado @pcalcado
10K Followers 3K Following Led engineering for companies w/ millions of users but no revenue or millions in revenue but no users.
Alexey Romanov @alexey_r
1K Followers 2K Following
Christie Koehler @christi3k
3K Followers 3K Following Infrastructure Engineering by day. Gaming and art by night. MS & Sjögren’s. she/her. mastodon: @[email protected]
Brian T. Rice @BrianTRice
2K Followers 1K Following mad computer scientist, electric motorcyclist, non-partisan language/systems advocate, analytics/data/viz architect, former nuclear power tech
BeavSuddenValues @KouponKween
724 Followers 1K Following Local coupons, local entrepreneurs and businesses, local marketing, local database development, local website, local eMarketing.
Bill (Taylor’s Vers... @wajiii
2K Followers 5K Following #Autism; #StrokeSurvivor; #Deadhead; #SoftwareEngineer #AI #ML #IoT #SaaS PDX native, SFBayArea transplant; Opinions my own, RT≠endorse
Echo Nolan @enolan
420 Followers 761 Following The world might end soon, let's have a good time in the meantime. Machine learning, pictures of my cats, other stuff.Trends for United States
6.645 posts
15,8 B posts
10,2 B posts
18 B posts
3.604 posts
20,5 B posts
2.616 posts
3.848 posts
2.487 posts
7.472 posts
14,3 B posts
65,4 B posts
3.140 posts
4.412 posts
7.668 posts
5.883 posts
10,5 B posts
You might like
Rill Data
@RillData
2K Followers
Galois
@galois
6K Followers
Lennart Augustsson
@Augustsson
2K Followers
Dominic Orchard
@dorchard
2K Followers