#icfp
LightNews LightNews
amplifychange.org
As we wrap up 2025, we asked our grantee partners Blind Youth Association Nepal, Safe Abortion ASAP, Health Development Initiative (HDI), SAYWHAT et SOJFEP, during #ICFP what they are most excited to achieve in 2026
🎥: www.youtube.com/shorts/SBO4a...
YouTube
Share your videos with friends, family, and the world
www.youtube.com
December 22, 2025 at 2:00 PM
amplifychange.org
Alors que l'année 2025 touche à sa fin, nous avons demandé à nos partenaires bénéficiaires Blind Youth Association Nepal, Safe Abortion ASAP, Health Development Initiative (HDI), SAYWHAT et SOJFEP, lors de la conférence #ICFP, ce qu'ils espèrent accomplir en 2026
🎥: www.youtube.com/shorts/SBO4a...
YouTube
Share your videos with friends, family, and the world
www.youtube.com
December 22, 2025 at 1:58 PM
bisimulation.bsky.social
Just ignore the icfp deadline bro
December 22, 2025 at 11:25 AM
alexomari.bsky.social
SRH Policy priorities by Population Connection Action Fund as published on the Population Connection's booth wall during ICFP 2025 in Bogota, Colombia- November 2025 @popconnectaction.bsky.social @popconnect.bsky.social #FellowsViewPoint
December 19, 2025 at 9:19 AM
wasmgroundup.com
We just sent out our last newsletter of the year, chock full of Wasm tidbits and captivating compiler content.

Not signed up? You're missing out!

Get on the list at sendfox.com/wasmgroundup
Wasm tidbits • All the videos from the WebAssembly Workshop at ICFP/SPLASH '25 are up on YouTube. There are a bunch of interesting ones, but we particularly enjoyed Oscar Spencer's Wasm GC and the Future of High-Level Language Compilation. • The Feature Status page on webassembly.org has been updated to include a bunch of new engines and tools, including Wizard, wazero, and Binaryen. • It's not directly related to WebAssembly, but we've been following Matt Godbolt's Advent of Compiler Optimizations, and it's been great so far. It's a nice way to learn a bit more about x86 and ARM assembly, and about the various optimizations that C++ compilers do. You can follow it on his blog or on YouTube. • Andy Wingo: "If anyone has never worked on a baseline compiler before, they are a really funny space; my first experience with Firefox's Wasm baseline compiler was an eye-opener for me." Firefox's low-latency WebAssembly compiler (2020). • For a deeper look at strategies for baseline compilation, see Ben Titzer's Whose baseline compiler is it anyway?. "We demystify single-pass compilers for Wasm, explaining their internal algorithms and tradeoffs, as well as providing a detailed empirical study of those employed in production." • We recently met some folks from CedarDB (the commercial version of the Umbra database system), who told us about how they use Wasm for user-defined operators. The details can be found in Moritz Sichert's PhD dissertation, Efficient and Safe Integration of User-Defined Operators into Modern Database Systems.
December 18, 2025 at 3:06 PM
sabine.sh
This comes alongside their other OCaml community support through OCSF, ICFP, and FUN OCaml. It's great seeing companies investing back in the tech that powers their infrastructure. 🧡🐫
December 18, 2025 at 11:17 AM
qiancx.bsky.social
揭秘ICFP编程大赛2025:全球顶尖程序员的智力盛宴

https://qian.cx/posts/33F68D9F-4EEB-47CF-85F0-CCD78AFE97EB
December 17, 2025 at 9:42 PM
inumandias.bsky.social
＞「（トランプ政権の）最初の9ヶ月を第一ラウンドと考えてください」と、MSIリプロダクティブ・チョイスの米国対外関係担当シニアディレクター、ベス・シュラクター氏は、コロンビアのボゴタで最近開催された国際家族計画会議（ICFP）の参加者たちに語った。「今、彼らは米国の対外援助制度を廃止し、（政府）はそれを再構築しているところです。」

＞再建の鍵となるのは、米国が各国政府と交渉中の新たな二国間援助協定だ。シュラクター氏によると、これらの協定には、組織による家族計画サービスの提供を困難にする条件がほぼ確実に付帯されるだろう。
December 17, 2025 at 11:30 AM
womendeliver.bsky.social
What happens when #GenderEquality advocates come together? Shared vision. Collective action. 📣 Emerging Leaders Program member, Vivian Koskey, breaks down 3 reasons why you should be at the next Feminist Playbook consultation. 👉 Everyone is welcome! See the upcoming sessions: bit.ly/4hSxfBO
Indigo background image with the title: "3 reasons you shouldn't miss the next Feminist Playbook consultation." The Women Deliver logo (an upward yellow arrow in an indigo-purple square) is in the top right corner. A photo shows Vivian Koskey standing in front of a large red ICFP letters in the Bogota venue. A teal speech bubble contains the quote: "The Feminist Playbook consultation was an eye opener for me. A numbered slide titled "1 Cross-sectoral dialogue." The Women Deliver logo (an upward yellow arrow in an indigo-purple square) is in the top right corner. A large purple speech bubble containing a testimonial quote dominates the slide. A small photo shows a group of participants gathered around flipcharts with colorful sticky notes, engaging in discussion during the consultation. A numbered slide titled "2 Collective rethinking." The Women Deliver logo (an upward yellow arrow in an indigo-purple square) is in the top right corner. A large purple speech bubble contains a testimonial quote about the experience. A small circular photo shows participants gathered around a table with charts and documents, working collaboratively. A numbered slide titled "3 Centering lived experiences." The Women Deliver logo (an upward yellow arrow in an indigo-purple square) is in the top right corner. A large purple speech bubble contains a quote encouraging participation. The graphic features a large teal arrow pointing upward and to the right, indicating progression.
December 15, 2025 at 8:30 PM
skulryk.bsky.social
Thanks! If you have a copy of the ICFP paper or publicly released documents I wouldn't mind taking a look, otherwise thanks for the explainer!
December 14, 2025 at 12:56 PM
wrengr.org
For the chip itself, like i said, we did everything in-house except the fab. We gave a talk (keynote?) at one of the ICFP workshops, and got some patents. I had a draft for another paper, but it and everything else was hushed up when we got bought
December 14, 2025 at 6:01 AM
shakthimaan.bsky.social
International Conference on Functional Programming (ICFP) 2026, August 24-29, 2026 Indiana University, Indianapolis, US @icfp_conference #FunctionalProgramming
December 10, 2025 at 12:59 PM
popnbalance.bsky.social
In an interview with influencer Dina Chaerani at the #icfp‬ our director discusses why we must expand the definition of family in "family planning". Full interview 👉🏻 youtu.be/StrQOc5zzrU?...
Redefining Family in "Family Planning"
YouTube video by Population Balance
youtu.be
December 10, 2025 at 12:03 AM
tsmc.purely-functional.com
Rather than advent of code, I’m bulk releasing the WIP OCaml libraries I’ve worked on since ICFP. Today it’s ctypes based Capstone bindings github.com/tmcgilchrist.... The project could use some demo applications but it does seem to work for ARM64 code I’ve thrown at it.
GitHub - tmcgilchrist/ocaml-capstone: OCaml bindings to the Capstone disassembly framework
OCaml bindings to the Capstone disassembly framework - tmcgilchrist/ocaml-capstone
github.com
December 8, 2025 at 1:05 AM
sigplan-av.bsky.social
(1/4) We are happy to announce the release of our ICFP/SPLASH'25 coverage, totaling over 481 talks and presentations across all co-located events!
youtube.com/@acmsigplan
ACM SIGPLAN
Special Interest Group on Programming Languages The ACM Special Interest Group on Programming Languages (SIGPLAN) explores programming language concepts and tools, focusing on design, implementation, ...
youtube.com
December 5, 2025 at 1:52 PM
anil.recoil.org
all the @icfp-conference.bsky.social videos for 2025 seem to have been taken private; perhaps @ilyasergey.bsky.social knows more.
December 5, 2025 at 12:21 PM
ocaml.org
https://tarides.com/blog/2025-12-04-icfp-2025-looking-back-at-the-biggest-functional-programming-conference-of-the-year
December 5, 2025 at 11:35 AM
ocaml.org
[OCaml Planet] 🐫 ICFP 2025 has concluded, and it was the biggest FP conference yet! Tarides shares highlights from all the OCaml talks, workshops, and hallway conversations. Get the inside scoop from engineers who were there!
December 5, 2025 at 11:35 AM
chrisarmstrong.link
If you didn't get the chance to see my talk at ICFP back in October on smaws, or don't like watching videos, the PDF version detailing each aspect of my talk has finally been published: conf.researchr.org/details/icfp...
smaws: An AWS SDK for OCaml (OCaml 2025 - OCaml Users and Developers Workshop 2025) - ICFP/SPLASH 2025
The OCaml Users and Developers Workshop brings together industrial users of OCaml with academics and hackers who are working on extending the language, type system, and tools. Previous editions have b...
conf.researchr.org
December 4, 2025 at 3:18 AM
pigworker.bsky.social
Simply that ICFP 2026 is being hosted in a location which is non-negotiable by trans people (aliens, at least) and now conducts routine disappearances without due process. I mean the USA, of course.
December 2, 2025 at 10:54 PM
pigworker.bsky.social
ICFP 2026 should be renamed the "Apartheid Conference on Functional Programming" and there might well be good reasons for making that conference happen, facilitating some victims of that apartheid, as well as its perpetrators.
December 2, 2025 at 10:48 PM
pigworker.bsky.social
"If you have to facilitate apartheid to keep going, er, stop!" goes for ICFP 2026, too, by the way.
December 2, 2025 at 10:43 PM
amplifychange.org
November 1-6, the AmplifyChange team headed to Colombia, for the International Conference on Family Planning (ICFP). Learn more about our experience at #ICFP2025 and what we’ve taken home with us in our new blog: https://amplifychange.org/news/amplifychange-at-icfp-2025-equity-through-action/
A collage of photos of people at a conference
November 28, 2025 at 11:02 AM
dpiponi.mathstodon.xyz.ap.brid.gy
Not having grown up in the US I'm not 100% sure what does and doesn't count as "taffy" but it's a great subject for a paper. Connects to the topic of rational tangles that I touched on at my ICFP talk years ago.

https://arxiv.org/abs/2511.19461
November 27, 2025 at 6:04 PM
popconnect.bsky.social
Population Connection, alongside thousands of global advocates, researchers, and policymakers, actively participated in the 7th International Conference on Family Planning (ICFP), held in Bogotá, Colombia. Take a look at what we've been up to in Bogotá.
👇

populationconnection.org/blog/populat...
Population Connection at ICFP2025: Reflections from Bogotá
Population Connection at ICFP 2025: insights from Bogotá on global SRHR advocacy, low fertility debates, climate links, and bodily autonomy in action.
populationconnection.org
November 26, 2025 at 9:53 PM