A mind-blowing programming conference, held in Estes Park, CO.
Estes Park, CO
- Tweets 6,013
- Following 1,796
- Followers 8,367
- Likes 4,791
Pinned Tweet
Next week's LambdaConf will be the last one.
We'll be waving goodbye at a decade's worth of celebrating functional programming and beyond.
Read the full farewell here: buff.ly/3MoFF3K
Get the last tickets: buff.ly/QH2pqDj
3
9
38
13,454
We've released the Ladder of Functional Programming! All future LambdaConf sessions will be ranked to help you better find matching content.
34
374
877
The moment you've all been waiting for…videos for LambdaConf 2017! Hundreds of hours of free, fresh FP content are about to come online! 🦄
7
112
295
📢📢📢The schedule for #LambdaConf2024 is published!
Check it out, you can still get a ticket!
lambdaconf.us/schedule
Get 15% off for LAST MINUTE tickets: eventbrite.com/e/54088703668…
3
27
213
22,879
The first book LambdaConf Press will publish this year (in Q2) is the world’s definitive book on monads, by the extremely talented @trupill! Code examples in Haskell/Scala/Idris/more.
Pre-orders open soon! 🎉🦄
11
92
259
Book of Monads, first edition. It’s taken longer than we thought, but the quality will make up for the wait.
Available soon on Amazon.com, or add a copy to your LambdaConf 2019 ticket! 🦄
2
43
189
Book of Monads by the talented @trupill has gone to the printers! Our first edition has been meticulously edited, reviewed, and illustrated, and we’re printing a large batch. Get ready to place your orders!
11
56
181
All 156 LambdaConf 2017 videos, packed into a convenient playlist for easy sorting, filtering, and lookup. Enjoy!
piped.video/playlist?list=PL…
1
52
142
The full LambdaConf 2018 playlist is now available on YouTube, with hundreds of hours of original content! 🦄
Happy holidays to functional programmers all around the world! 🎉
piped.video/watch?v=lc4IjR1i…
4
66
137
Book of Monads is now shipping! Be one of the first to own a copy of this highly-accessible introduction to and reference for monads in Scala, Haskell, and other programming languages!
amazon.com/Book-Monads-Aleja…
4
32
115
We are happy to announce the electronic release of 'A Brief Course in Mathematics' by @vpatryshev, an LC Press exclusive!
Learn the math you need to more deeply understand functional programming in any language!
gumroad.com/l/lcbk02
2
33
104
While we print hard copies of Book of Monads, we are delighted to announce the immediate availability of the ebook version, on all major platforms!
Master the theory & practice of monads, from @trupill, highly-acclaimed speaker, writer, & researcher!
amazon.com/dp/B07JNZHYLT/ref…
5
33
98
And that’s a wrap for the main conference!
What better way to end than to close with a brilliant keynote @Jonathan_Blow 💡👏
Does this count as screenshot Tuesday?
#LambdaConf2025
5
2
98
30,329
We released a quick update to the Ladder of FP! Thanks to all who gave feedback & those who volunteered to help tackle next year's redesign!
7
42
92
LambdaConf2020 Global Edition (Online)- Experience The Magic of Functional Programming... Every Tuesday for Free! (Stay tuned for next month's schedule.) lambdaconf.zohobackstage.com…
1
36
94
Will you be joining us?💪
Thursday, July 18 at 12pm EST
Register here:
ziverge.zoom.us/webinar/regi…
@HowDevelop
1
7
53
1,331,130
"A Haskell program is 6 lines of extensions, 20 imports, and one line of Perl." - @GabrielG439
28
86
SURPRISE KEYNOTE REVEAL 🚨
@curtis_yarvin returns to #LambdaConf2025 with his technical talk:
Urbit: Making the Future Real
Get tickets for LambdaConf before they run out:
buff.ly/dQoU2L0
10
17
90
11,983
🚀 Join us at #LambdaConf for @antonbabenko talk: "Doing Serverless on AWS with Terraform for Real"! Dive into #Serverless with #Terraform insights & practical examples.
Don't miss out on meeting Anton in person! 🔗 buff.ly/3wbaG7U
#Serverless #AWS #Terraform #DevOps
4
43
18,240
Jim Duey's @jimduey 'The Best We Can Do?' talk at #LambdaConf2024 is now on YouTube!
Exploring optimal evaluation from the Lambda Calculus & the future of functional programming with projects like Higher Order Virtual Machine.
Watch NOW:
buff.ly/3V97en2
2
13
63
28,958
Functional programming is for everybody, including and especially beginners! Learn more on our YouTube channel.
piped.video/channel/UCEtohQe…
23
56
Second keynote is up!
@curtis_yarvin broke up the @urbit timeline and took us all through it 💪
You don't want to miss it:
buff.ly/i8u9FUd
@urbitfoundation
12
59
3,290
LambdaConf 2018 will be held June 3 - 5, in beautiful Boulder. Commercial training May 31 - June 1, activities June 2, mini-confs June 6. 🦄🎉
4
17
53
Urbit Systems Technical Journal is published at @lambda_conf by the @urbitfoundation 🙌
2
13
56
3,708
At LambdaConf 2018 (June 3-5), 70+ speakers from academia and industry will spend 3 intensive days, in as many as 8 concurrent tracks, sharing concepts, skills, and innovations that change the way you write software.
Are you ready to become...Fearlessly Functional?
17
48
For the first time ever, this year’s LambdaConf will completely sell out! Get one of the last few tickets: lambdaconf.us
4
27
46
LambdaConf 2016: The Week of May 29th, Boulder, Colorado. Block it out right now, cause you're going to be awfully busy having fun. ;)
3
30
47
Functional Scala by @jdegoes, September 10th-14th
Announcing a brand new, 5 day course that may be taken remotely (UK time zone) or locally (UK). Signup for just the days you're interested in, or for all 5 days at a discount! Financial aid available. 🦄
eventbrite.com/e/functional-…
2
17
45
LambdaConf 2019 will take place June 5 - 7. 🦄
As always, we'll offer scholarships & free childcare. New this year, we'll host activities on June 9th (after Shabbat), and start the conference after Ramadan!
See you there! 🎉
3
13
42
This 6h workshop by David Spivak covered a semester's worth of category theory, & broke records with 116 attendees!
piped.video/watch?v=IBeceQHz…
1
8
46
Now that @JustDeezGuy has revealed his secret identity...
Paul Snively will be speaking at #LambdaConf2025 👀
Get tickets here:
buff.ly/4e0ZYB9
4
10
45
2,619
We are offering 6 workshops:
— Applied Haskell by @snoyberg
— Advanced Type Mechanics by @propensive
— Functional Scala by @jdegoes
— Functional Scala: Next Level by @jdegoes
— Rust Essentials by @bitemyapp
— Beginning Haskell by @bitemyapp
Contact us for selfpay discounts!
3
15
40
It begins! piped.video/playlist?list=PL… Thanks to Indiegogo contributors, @confreaks, and @Hired_HQ who made it possible!
4
31
38
Winter Retreat 2018: Come join us for 4 days, 3 nights of pure functional programming & pure fun (Haskell, Scala, PureScript, APL, more!).
Retweet to enter to win a LambdaConf swag bag, shipped free to you!
1
51
38
LambdaConf Will Return...
... June 3-5.
Get ready for three days of mind-expanding, career-boosting, inspirational content from across all functional programming communities!
2
15
38
Unlock the hidden potential of Urbit with @hastuc_dibtux's visionary talk on 'Shrubbery: Application Development for Urbit' at #LambdaConf2024.
Explore the game-changing app development landscape with a new UI engine.
Join now: buff.ly/3wbaG7U
#InnovativeTech
3
9
42
5,197
LambdaConf 2017 is officially a wrap! Thanks to all speakers, coaches, sponsors, and attendees, who made this the best year yet!
2
3
33
Looking for standout sessions?
Start with @JustDeezGuy ’s "Chapter and Verse: An Outsider's Overview of Epic Games' New Language" from #LambdaConf2025 🌠
Watch: buff.ly/BpoZMqN
1
8
35
2,257
LambdaConf 2020 will be held June 3-5, in beautiful Estes Park, Colorado, & everyone can stay at the same resort!
Come early for training (Jun 1-2), stay late for activities in the Boulder area (6-7).
Book a discount ticket or suggest a speaker below!
lambdaconf.zohobackstage.com…
1
11
33
Functional Programming: Failed Successfully by Alexander Granin, @graninas at #LambdaConf2024 is available on YouTube!
Get your ticket for #LambdaConf2025 here:
buff.ly/4ec5jGS
Watch the talk here:
buff.ly/3KGEkFZ
5
33
18,932
Comparing Approaches to Structured Concurrency by @_JamesWard and @adamhearn from @AWSCloud is available on YouTube!
Get your ticket for #LambdaConf2025 here:
buff.ly/4ec5jGS
Watch NOW:
buff.ly/3xb5r95
8
37
10,687
LambdaConf 2018 begins now! You ready for 3-days of mind-blowing talks and workshops on the theory and practice of functional programming? 🎉🦄
4
34
This Monday, the long-awaited 'Book of Monads' ships—the definitive guide for monads in functional programming! 🎉
Preorder now, master the theory and practice of monads, & discover why this book by @trupill is #1 across Amazon in Programming Tutorials!
amazon.com/Book-Monads-Aleja…
1
15
34
Big news! LambdaConf returns Sept 16-19th and is better than ever! 🔥
Join us in the Rockies for an unforgettable conference featuring thought-provoking talks, workshops, craft beer tasting, hiking, and immersive experiences that will change the way you think about software development. 🎟️ buff.ly/3U4Hp6N
#AI #WASM #FP #MachineLearning
1
14
31
13,582
We do not research or endorse views of speakers or attendees and we encourage everyone to evaluate sessions based on their content.
3
6
28
Learn PureScript with @jdegoes in the popular E-Z-P-Z workshop from λc16! Part 1: piped.video/watch?v=daFLRG_O…, Part 2: piped.video/watch?v=6OahiNp_…
4
29
LambdaConf 2019 is kicking off in a big way this week, with intensive workshops from world-class instructors:
🦄 Applied Haskell by @snoyberg
🦄 Advanced Types in Scala by @propensive
🦄 Essential Rust by @bitemyapp
🦄 Functional Scala by @jdegoes
On Wednesday, LC19 begins!
1
5
29
Can't afford to come to LambdaConf? Oh yes you can! Apply to our scholarship program for discounted and free tickets:
lambdaconf2018.dryfta.com/en…
Everyone deserves a chance to master functional programming! 🦄
10
29
LambdaConf 2018 has wrapped up! Thanks to all the attendees, volunteers, speakers, and staff, who helped make this year the strongest edition yet! See you all in 2019!
7
31
A big hit at λc16, @sharkdp86 shows of functional wizardry w/PureScript in this talk on interactive tests & docs! piped.video/watch?v=iTSosG7v…
1
15
30
We had talent come from all over, including Brazil!
Please welcome @polvalente and his spectacular talk:
Applied Machine Learning in Elixir
Watch it here:
buff.ly/N2ysOae
6
31
3,991
Arround LambdaConf 2019, we offer commercial training from highly-experienced instructors:
- Applied Haskell by @snoyberg
- Advanced Type Mechanics by @propensive
- Rust Essentials by @bitemyapp
- Functional Scala by @jdegoes
- Functional Scala: Next Level by @jdegoes
9
29
Our closing keynote is now LIVE 🎉
Please welcome the long-awaited @Jonathan_Blow demo:
Jai Demo and Design Explanation
Don't miss it:
buff.ly/NLQXmZB
Thank you, Jonathan, for joining us once again and being such a fantastic closer!
#LambdaConf2025
4
10
32
4,435
LambdaConf believes in the equality of all, regardless of race, gender, age, size, sexual-/gender-orientation, or any other characteristic.
9
12
27
Don't forget to register for next week's free webinar! (5/5/20 @ 4:00 Eastern, after community time on Discord) ziverge.zoom.us/webinar/regi…
9
29
LambdaConf 2018 scholarships are now available! Financial hardship should never hold anyone back from a successful career in functional programming. 🦄
Apply today and take your skills to the next level:
lambdaconf2018.dryfta.com/en…
1
15
28
September 2023, LambdaConf returns.
Day, location, and CFP coming soon!
ALT LambdaConf 2023
6
28
3,639
Explore "Fast And Portable LLM Inference With #WebAssembly And Rust" with @juntao at #LambdaConf2024. Michael will talk about the way to zero #Python dependency in LLM inference, how to create Llama2 inference functions and extensions in #Rust, and more! #AI #CloudComputing
Grab your Early Bird Ticket while it's still available! ➡️ lambdaconf.us/
10
30
2,861
And with the amazing @dustingetz we have a spectacular close to Day 1 of #LambdaConf2025 💪
You truly cannot miss Dustin's keynote on Electric Clojure: Differential Dataflow for UI ⚡
Check out the full talk in the link below!
#ElectricClojure
1
7
29
3,862
SURPRISE SLOT REVEAL 🔍
We're honored to bring in some OCaml rep with the bright @sabine_s_ joining our roster!
Don't miss her talk:
The OCaml Developer Experience: Removing Adoption Barriers 🔥
Get tickets:
buff.ly/ybdBdfW
6
6
27
1,839
LambdaConf condemns all forms of harassment and bullying, and encourages everyone to be kind and treat others with dignity and respect.
3
11
25
Announcing the (nearly) complete schedule for LambdaConf 2018!
Six to nine tracks of mind-blowing talks on FP, PLT, crypto, distributed computation, and far more.
Don’t miss the best year yet!
lambdaconf2018.dryfta.com/en…
1
4
26
Thrilled to announce that haskellbook.com is a GOLD sponsor! Pick up a copy today: bit.ly/1LCFWsY
1
13
26
Announcing LambdaConf 2018, the fifth year anniversary of the annual functional programming conference! Call for Proposals & Early Bird registrations now open.
lambdaconf2018.dryfta.com/en…
1
16
26
The wait is nearly over... while we frantically work on a schedule and our last remaining speakers accept their invitations, enjoy a sneak peek at all the amazing speakers, talks, and workshops planned for LambdaConf 2019!
lambdaconf.zohobackstage.com…
4
9
27
Procedural programming has failed us, and the time has come for functional programming. Learn why and how at LambdaConf 2017!
2
11
22
LambdaConf 2016 is SOLD OUT. Hope you’re ready to soak up 75+ talks & workshops: lambdaconf.us/#schedule, with record # of attendees! :)
2
4
22
LambdaConf 2016, Call for Proposals: now officially open! Submit your topics before the queue fills up: surveymonkey.com/r/lambdacon…
2
22
26
Can't afford to attend LambdaConf 2019? Don't let that stop you from coming! We will soon launch:
- Scholarship applications (full and partial)
- Call for volunteers (free ticket and accommodations)
If you have a passion for functional programming, we'll help you attend!
3
6
23
🚀 KEYNOTE ALERT!
@unconed groundbreaking #LambdaConf2024 talk 'Use.GPU - Declarative/Reactive 3D Graphics' is now on YouTube!
From complex client projects to maintainable 3D graphics - see how Steven bridges the gap!
🎥 Watch the keynote NOW:
buff.ly/3xHGSAQ
1
7
25
4,475
LambdaConf 2017 kicks off soon. In 48 hours. Everyone ready for three mind-blowing days of FP?
1
5
23
Work with Rust, functional Javascript, Scala (Typelevel or Scalaz), Haskell, Kotlin, F#, Clojure, LISP, OCaml, PureScript, Elm, Elixir, Erlang, Idris, Coq, Isabelle, Twelf, Lean, or similar?
Speak at LambdaConf 2019 with help from our speaker coaches!
papercall.io/lambdaconf-2019
1
10
24
Confirmed mini-conferences at LambdaConf 2018 (June 6):
⊕ PureScript Conf 2018
⊕ Scalaz 8
Want to organize one? Send us a DM!
5
23
Liam Fitzgerald, @hastuc_dibtux from @urbitfoundation #LambdaConf2024 talk Shrubbery: Application Development For Urbit is now on YouTube!
See his skunkworks project rethinking user apps, sample code, new UI engine & more.
Watch Now:
buff.ly/3Ksi2HU
6
24
1,763
Decoding Lambda Calculi at #LambdaConf2023! 🙌 Join @vpatryshev as he will untangle the web between Untyped, Church, and Curry lambda calculi. Uncover their impact on the programming languages we use today. It's all about the lambdas!
Register at lambdaconf.us/ 🚀
1
5
26
3,950
Optics can be very mysterious, but with this 6h workshop by @dibblego, you'll master them in no time!
piped.video/inyfR3Gb6GE
1
10
24
You ready for 50 hours of LambdaConf 2015 videos? We will publish ALL when the first person cracks the code! lambdaconf.us
2
15
23
LambdaConf is a wrap! Thanks to attendees, speakers, & volunteers—all of YOU made it a HUGE hit! What will you learn between now & 2017? :)
2
6
24
🚨 THE OFFICIAL SCHEDULE HAS ARRIVED 🚨
May 12th and 13th in Estes Park, CO.
➡️ lambdaconf.us/schedule
We're only two months away!
Make sure to save your seat if you haven't already:
eventbrite.com/e/lambdaconf-…
1
10
26
7,897
Our team is excited to welcome @bobzhang1988 from @moonbitlang as one of our legendary keynotes for this year's LambdaConf 💪
Don't miss his talk on Introduction to MoonBit and its Async Model!
Get tickets here:
buff.ly/4e0ZYB9
10
26
2,060
LambdaConf 2019 Scholarship Applications are now open!
We want everyone who has a passion for functional programming to be able to come. Please retweet!
forms.gle/kTuKpRAY8dSnJeGi8
19
24
Lore had to cancel Practitioner's Haskell. Sign up for Applied Haskell by @FPComplete VP of Eng @snoyberg instead! lambdaconf.us/training/lcusc…
1
3
23
What's one talk that felt like a keynote?
@jdegoes talk on Euphoric Codecs & Dazzling Rainbows 🌈
Was it actually about dazzling rainbows?
I guess there's only one way to find out: buff.ly/e5KQxd2
7
25
3,667
Looking for ideas to submit to the LambdaConf 2017 Call for Proposals? Steal one of these! More topics coming soon. surveymonkey.com/r/lambdacon…
6
21
🚀 Explore 'Making Nock Fly' with @ares_runtime at LambdaConf. Learn how static analysis and innovative compilation techniques bring performance to Nock's dynamic nature. A must-see for fans of Urbit and FP enthusiasts!
Sign up ➡️buff.ly/3wbaG7U
#CompilerOptimization
8
23
2,479
First batch of talks went up! More talks & daily schedule Coming Soon. :) lambdaconf.us/#schedule
2
6
19
Learn about the new 'subject knowledge analysis' in Ares for #Nock at #LambdaConf2024 with Edward Amsden (@ares_runtime). Explore how this technique transforms Nock’s performance for dynamic execution, and join us in Estes Park! 🔥⛰️
🎟️ Early Bird Tickets available! ➡️ lambdaconf.us/
#techconference #functionalprogramming
11
22
2,679
At LambdaConf 2018, functional programmers from Cardano, Adjoint, RChan, Pact and others will assemble to share their work in cryptography, blockchain tech, formal verification, distributed computing, & smart contracts.
Reserve your spot today: lambdaconf2018.dryfta.com/en…
5
21