Day of FUNARCH at #ICFP - see you there!

If you‘re at #icfp on Friday, don‘t miss the first ACM Workshop on Functional Software Architecture! https://www.functional-architecture.org/events/funarch-2023/

@jbzfn oh! @leostera _is_ on here!

we were talking about him at the #ICFP Ahrefs OCaml House haha, and looking thru his tweets, I was about to pull back out my old twitter to ask him if he'd consider switching …

anyway, i had to make a Telegram account for a work thing, and ngl i am still all pissy-pants whiny about it.

like, i’m surprised even, at myself, how genuinely frustrated/angry i was to have to download it, instead of everyone else just downloading Signal or using our existing Slack or using the #ICFP Discord or … literally idk anything other than fucking Telegram?

I haven't been live-tooting #ICFP, mostly because I'm already live-{Discord,Slack,Notion,Telegram,Signal}'ing, and I can only multi-task so much while also trying to understand the talks …

but holy shit the Wasm talk by Andreas Rossberg[1] was SO COOL

[1]: <https://people.mpi-sws.org/~rossberg/> (i so very miss the days when everybody was on one platform and you could @mention just about anybody who was building anything of note …)

I didn't know we are already such knights. https://stage.tksc.jaxa.jp/jedi/en/
#icfp

#icfp I think functional programming denies to keep sustainability of envionments or any objects...?

#icfp Oh sorry, I guess GHC does not mean Haskell?

Hi #icfp people! What's up?

Any y’all at #ICFP in Seattle this year? hmu, let’s meet up!

On my way to #ICFP - see you in Seattle!

Last time, I went to the International Conference on Functional Programming #ICFP, it was life changing. I was exposed to so many things I didn't know about before, like Logic Programming and Proof Assistants. This was 6 years ago! Last month, I had the opportunity to do a talk on Logic Programming for Go and studying Proof Assistants has allowed me to make great friends as I relocated to London. I am looking forward to mind blowing talks and meeting more legends this week in Seattle #ICFP2023

The program for this year's PLMW @ ICFP is out now! https://icfp23.sigplan.org/track/plmw-icfp-2023#program #icfp #plmw

The program for this year's PLMW at ICFP is out now! https://icfp23.sigplan.org/track/plmw-icfp-2023#program #icfp #plmw

Anybody'all goin to either:

- #ICFP'23 (Seattle, Sep 4th–9th https://icfp23.sigplan.org/)
- #StrangeLoop (St. Louis, Sep 21st–22nd https://thestrangeloop.com/)

I always love to meet folks in person and whatnot — also we may be caravanning from Chicago to STL on ~Sep 20, depending on who all I manage to collect.

I won't get to attend the whole thing -- first time I've missed it in nearly a decade, but anyone that has fun programming should give it a try: https://icfpcontest2023.github.io/

(All languages welcome!)

#Programming #ICFP #Contest

Hello 🤩 #ICFP Contestant what can upcoming aspirants learn from your icfp experience over the years ?

The right to chose when, if and how many children to have is fundamental to individual and societal well being. But family planning is changing - read FHI 360’s piece to learn how.

#icfp #contraception #FamilyPlanning #fpforward
https://degrees.fhi360.org/2022/11/blended-care-the-future-of-family-planning/

Anyone attending #icfp in Thailand #familyplanning #globalhealth

Currently working on a story on meaningful #youth engagement in #SRHR research in #Kenya, looking at access to abortion in the country, ahead of the #ICFP in just over a week’s time.