Hackernews posts about ICFP
- Show HN: We ungated our product (no signup)–is it a good idea? (app.supademo.com)
- CFPB bans Navient from servicing federal loans, fines $120M for failures (www.consumerfinance.gov)
- Science Perl Journal, Winter 2024 Issue (CFP) (old.reddit.com)
- Could you host DjangoCon Europe 2026? Call for organizers (www.djangoproject.com)
- Beta for the Small Business Lending Data Filing Platform (sbl-beta.cfpb.gov)
- ACM Sigplan ICFP will be in Seattle, WA, USA on 4–9 September 2023 (icfp23.sigplan.org)
- ICFP Contest 2024 (icfpcontest2024.github.io)
- A History of Subtyping – Benjamin C. Pierce – PLMW @ ICFP 2023 [video] (www.youtube.com)
- International Conference on Functional Programming ICFP 2024 Accepted Papers (icfp24.sigplan.org)
- ICFP Contest 2024 (icfpcontest2024.github.io)
- ICFP Contest 2024 (icfpcontest2024.github.io)
- International Conference on Functional Programming (ICFP) 2023 Accepted Papers (icfp23.sigplan.org)
- ICFP Contest 2023 (www.icfpcontest.com)
- OCaml 5 ICFP Keynote: Retrofitting Concurrency [video] (www.youtube.com)
- ICFP Pearl preprint on rec-def (www.joachim-breitner.de)
- Eio 1.0 – Effects-based IO for OCaml 5 (icfp23.sigplan.org)
- Beyond Relooper: Recursive Translation of Unstructured Control Flow (icfp22.sigplan.org)
- Fran: Functional Reactive Animation (1997) (conal.net)
- MacoCaml: Staging Composable and Compilable Macros [pdf] (xnning.github.io)
- Call for Talks: Haskell Implementors' Workshop 2023 (icfp23.sigplan.org)
- Bit-stealing made legal: compilation for custom memory representations o [pdf] (perso.ens-lyon.fr)
- Bit-Stealing Made Legal (2023) [pdf] (perso.ens-lyon.fr)
- MacoCaml: Staging Composable and Compilable Macros [pdf] (xnning.github.io)
- Functional Reactive Animation (1997) [pdf] (conal.net)
- U-net CNN in APL [pdf] (www.dyalog.com)
- ICPP – Run C++ anywhere like a script (github.com)
- Windows Critical ICMP Remote Code Execution Vulnerability (msrc.microsoft.com)
- The strange case of ICMP Type 69 on Linux (2015) (blog.benjojo.co.uk)
- Should I Block ICMP? (shouldiblockicmp.com)