Hackernews posts about ICFP

1. Show HN: GeoTraceroute – Traceroutes on a 3D globe and submarine cables (geotraceroute.com)
   21 points by Himred 24 days ago | 1 comments
2. Show HN: Generate a lot of ad creatives for your SaaS in one click (zenduxai.com)
   2 points by total_plus 12 days ago | 1 comments
3. Show HN: MailMark – Cold email tool where you own your domain and mailboxes
   2 points by debasishbarai 5 days ago | discuss
4. Show HN: Generate a variety of ad creatives for your SaaS (zenduxai.com)
   2 points by total_plus 13 days ago | discuss
5. Ask HN: So like should I ring people? How do I get the foot in the door?
   1 points by AdobiWanKenobi 29 days ago | 2 comments
6. Ubuntu back up, In Saturday after DDoS attacks
   1 points by relunsec 20 days ago | 1 comments
7. Show HN: An agent that remembers across sessions (no chat history) (github.com)
   1 points by wasnaga 24 days ago | discuss
8. "Great Refactor" FRO to secure key OSS by rewriting C/C++ into memory-safe Rust (ifp.org)
   3 points by thoughtpeddler 17 days ago | discuss
9. Build the Shared Memory First (avwrm-5iaaa-aaaal-qdhcq-cai.icp0.io)
   1 points by gann_ 14 days ago | discuss
10. A Prescription for Fixing the Prevailing Wage System [pdf] (ifp.org)
    1 points by rustoo 22 days ago | discuss
11. Show HN: CFP Radar – Find the conferences your talk belongs at (www.cfpradar.dev)
    1 points by gemanor 25 days ago | discuss
12. List of Consumer Reporting Companies [pdf] (files.consumerfinance.gov)
    1 points by m3047 3 days ago | 1 comments
13. Open Museum – an MCP server for license-verified search across museums (github.com)
    1 points by pramodprasanth 25 days ago | 1 comments
14. ICFP Contest 2024 (icfpcontest2024.github.io)
    12 points by sea6ear almost 2 years ago | discuss
15. ACM SIGPLAN International Conference on Functional Programming ICFP 2024 Videos (www.youtube.com)
    4 points by matt_d over 1 year ago | discuss
16. ICFP Programming Contest 2025 (icfpcontest2025.github.io)
    3 points by perihelions 9 months ago | discuss
17. ICFP Programming Contest 2025 (icfpcontest2025.github.io)
    3 points by pja 9 months ago | discuss
18. International Conference on Functional Programming ICFP 2024 Accepted Papers (icfp24.sigplan.org)
    3 points by matt_d almost 2 years ago | discuss
19. The Calculated Typer – Haskell Symposium (ICFP⧸SPLASH'25) [video] (www.youtube.com)
    2 points by matt_d 7 months ago | 1 comments
20. ICFP Contest 2024 (icfpcontest2024.github.io)
    2 points by Jtsummers almost 2 years ago | 1 comments
21. ICFP Contest 2024 (icfpcontest2024.github.io)
    2 points by todsacerdoti almost 2 years ago | discuss
22. self.atari at ICFPPC 2025 (github.com)
    1 points by eswitbeck 8 months ago | discuss
23. Multi-Stage Programming with Splice Variables (tsung-ju.org)
    54 points by matt_d 11 months ago | 15 comments
24. A guided tour through Oxidized OCaml (gavinleroy.com)
    4 points by matt_d 7 months ago | 1 comments
25. Fran: Functional Reactive Animation (1997) (conal.net)
    3 points by Bluestein almost 2 years ago | discuss
26. How Deep Sea Water Is Now Drinkable [video] (www.youtube.com)
    2 points by simonebrunozzi about 1 year ago | discuss
27. ShinkaEvolve in Action: How a Human-AI Partnership Conquered a Coding Challenge (sakana.ai)
    1 points by doppp 7 months ago | discuss
28. ShinkaEvolve in Action: How a Human-AI Partnership Conquered a Coding Challenge (sakana.ai)
    1 points by frozenseven 7 months ago | discuss
29. First-Order Laziness [pdf] (www.microsoft.com)
    1 points by helix278 8 months ago | discuss
30. Closure-Free Functional Programming in a Two-Level Type Theory (github.com)
    1 points by matt_d almost 2 years ago | discuss
31. DeepMind and OpenAI win gold at ICPC (codeforces.com)
    251 points by notemap 8 months ago | 248 comments
32. Show HN: Icepi Zero – The FPGA Raspberry Pi Zero Equivalent (github.com)
    233 points by Cyao 12 months ago | 51 comments
33. Should I Block ICMP? (shouldiblockicmp.com)
    122 points by rascul about 1 year ago | 96 comments
34. ICPC 2025 World Finals Results (worldfinals.icpc.global)
    103 points by pykello 9 months ago | 56 comments
35. ICPP – Run C++ anywhere like a script (github.com)
    83 points by davikr almost 2 years ago | 53 comments
36. Pingfs: Stores your data in ICMP ping packets (2020) (github.com)
    78 points by linkdd 5 months ago | 26 comments
37. .arpa, rDNS and a few magical ICMP hacks (sdomi.pl)
    62 points by caminanteblanco 7 months ago | 7 comments
38. ICP-Brasil: Mis-issued certificate (bugzilla.mozilla.org)
    61 points by cipherboy over 1 year ago | 3 comments
39. INFP: Audio-Driven Interactive Head Generation in Dyadic Conversations (grisoon.github.io)
    29 points by nnx over 1 year ago | 21 comments
40. Why targeting an ICP brings 10x more customers than you expected (longform.asmartbear.com)
    29 points by handfuloflight over 1 year ago | 10 comments
41. Notes and Receipts (PCAPs) for TCP and ICMP Noise Storms (github.com)
    16 points by jayhoon over 1 year ago | 1 comments
42. ByteDance INFP: The AI That Brings Images to Life (pdftranslate.ai)
    13 points by sh_tomer over 1 year ago | 2 comments
43. Gemini achieves gold-medal level at the ICPC World Finals (deepmind.google)
    12 points by meetpateltech 8 months ago | 2 comments