Hackernews posts about ICFP

1. Tim FTTH and GeForce Now: Diagnosing an ICMP Black Hole on PPPoE (paolocostanzo.github.io)
   2 points by PCostanzo 28 days ago | 1 comments
2. IC3PEAK – Marching [video] (www.youtube.com)
   2 points by consumer451 2 days ago | discuss
3. RFC-P001 – An open standard for AI agent identity (did:phanteum:icp:) (github.com)
   2 points by Phanos119 14 days ago | discuss
4. Pact – contracts-first multi-agent coding (212/212 ICPC vs. 79-92% Claude Code) (jmcentire.github.io)
   2 points by jmcentire2025 28 days ago | discuss
5. IC3PEAK – Dead but Pretty [video] (www.youtube.com)
   1 points by consumer451 2 days ago | discuss
6. Show HN: Open-Source GTM Skills for Claude Code, Codex, and Cursor (github.com)
   8 points by hbamoria 26 days ago | discuss
7. Show HN: Analytics and Attribution for DeFi (formo.so)
   2 points by leventhan 7 days ago | discuss
8. Show HN: MailMark – Cold email tool where you own your domain and mailboxes
   1 points by debasishbarai 1 day ago | 1 comments
9. Show HN: I built a short-form content intelligence tool for media buyers (virlo.ai)
   1 points by nmauro1 20 days ago | discuss
10. CPG – Generate Cilium network policies from dropped Hubble flows
    1 points by soulkyu 28 days ago | discuss
11. ICFP Contest 2024 (icfpcontest2024.github.io)
    12 points by sea6ear almost 2 years ago | discuss
12. ACM SIGPLAN International Conference on Functional Programming ICFP 2024 Videos (www.youtube.com)
    4 points by matt_d over 1 year ago | discuss
13. ICFP Programming Contest 2025 (icfpcontest2025.github.io)
    3 points by perihelions 7 months ago | discuss
14. ICFP Programming Contest 2025 (icfpcontest2025.github.io)
    3 points by pja 7 months ago | discuss
15. International Conference on Functional Programming ICFP 2024 Accepted Papers (icfp24.sigplan.org)
    3 points by matt_d almost 2 years ago | discuss
16. The Calculated Typer – Haskell Symposium (ICFP⧸SPLASH'25) [video] (www.youtube.com)
    2 points by matt_d 6 months ago | 1 comments
17. ICFP Contest 2024 (icfpcontest2024.github.io)
    2 points by Jtsummers almost 2 years ago | 1 comments
18. ICFP Contest 2024 (icfpcontest2024.github.io)
    2 points by todsacerdoti almost 2 years ago | discuss
19. self.atari at ICFPPC 2025 (github.com)
    1 points by eswitbeck 7 months ago | discuss
20. Multi-Stage Programming with Splice Variables (tsung-ju.org)
    54 points by matt_d 9 months ago | 15 comments
21. A guided tour through Oxidized OCaml (gavinleroy.com)
    4 points by matt_d 6 months ago | 1 comments
22. Fran: Functional Reactive Animation (1997) (conal.net)
    3 points by Bluestein over 1 year ago | discuss
23. How Deep Sea Water Is Now Drinkable [video] (www.youtube.com)
    2 points by simonebrunozzi 11 months ago | discuss
24. Bit-stealing made legal: compilation for custom memory representations o [pdf] (perso.ens-lyon.fr)
    2 points by fanf2 almost 2 years ago | discuss
25. Bit-Stealing Made Legal (2023) [pdf] (perso.ens-lyon.fr)
    2 points by mpweiher almost 2 years ago | discuss
26. ShinkaEvolve in Action: How a Human-AI Partnership Conquered a Coding Challenge (sakana.ai)
    1 points by doppp 5 months ago | discuss
27. ShinkaEvolve in Action: How a Human-AI Partnership Conquered a Coding Challenge (sakana.ai)
    1 points by frozenseven 6 months ago | discuss
28. First-Order Laziness [pdf] (www.microsoft.com)
    1 points by helix278 7 months ago | discuss
29. Closure-Free Functional Programming in a Two-Level Type Theory (github.com)
    1 points by matt_d almost 2 years ago | discuss
30. DeepMind and OpenAI win gold at ICPC (codeforces.com)
    251 points by notemap 7 months ago | 248 comments
31. Show HN: Icepi Zero – The FPGA Raspberry Pi Zero Equivalent (github.com)
    233 points by Cyao 10 months ago | 51 comments
32. Should I Block ICMP? (shouldiblockicmp.com)
    122 points by rascul 11 months ago | 96 comments
33. ICPC 2025 World Finals Results (worldfinals.icpc.global)
    103 points by pykello 7 months ago | 56 comments
34. ICPP – Run C++ anywhere like a script (github.com)
    83 points by davikr over 1 year ago | 53 comments
35. Pingfs: Stores your data in ICMP ping packets (2020) (github.com)
    78 points by linkdd 4 months ago | 26 comments
36. .arpa, rDNS and a few magical ICMP hacks (sdomi.pl)
    62 points by caminanteblanco 5 months ago | 7 comments
37. ICP-Brasil: Mis-issued certificate (bugzilla.mozilla.org)
    61 points by cipherboy over 1 year ago | 3 comments
38. INFP: Audio-Driven Interactive Head Generation in Dyadic Conversations (grisoon.github.io)
    29 points by nnx over 1 year ago | 21 comments
39. Why targeting an ICP brings 10x more customers than you expected (longform.asmartbear.com)
    29 points by handfuloflight over 1 year ago | 10 comments
40. IC3PEAK – Marching [video] (www.youtube.com)
    18 points by consumer451 almost 2 years ago | 7 comments