Hackernews posts about ICFP

1. The Calculated Typer – Haskell Symposium (ICFP⧸SPLASH'25) [video] (www.youtube.com)
   2 points by matt_d 27 days ago | 1 comments
2. ShinkaEvolve in Action: How a Human-AI Partnership Conquered a Coding Challenge (sakana.ai)
   1 points by doppp 22 days ago | discuss
3. .arpa, rDNS and a few magical ICMP hacks (sdomi.pl)
   62 points by caminanteblanco 17 days ago | 7 comments
4. Show HN: PingStalker – A macOS tool for network engineers (www.pingstalker.com)
   77 points by n1sni 14 days ago | 31 comments
5. Show HN: Sleek - AI mobile app mockup generator (our 3rd pivot, last shot) (sleek.design)
   5 points by stefanofa 19 days ago | 3 comments
6. Show HN: Track Your Brand in ChatGPT (searchify.ai)
   2 points by gtmbandit 12 days ago | 1 comments
7. Show HN: Auto-Compare GA4/Amplitude Data Against Log Definitions (chromewebstore.google.com)
   1 points by asbebe 6 days ago | discuss
8. Show HN: Averi – The AI Marketing Workspace (www.averi.ai)
   1 points by zchmael 14 days ago | discuss
9. Preparing for Launch (ifp.org)
   2 points by runningmike 3 days ago | discuss
10. Should the US Sell Blackwell Chips to China? (ifp.org)
    2 points by surprisetalk 20 days ago | discuss
11. How to Implement an Operation Warp Speed for Rare Earths (ifp.org)
    2 points by surprisetalk 22 days ago | discuss
12. ICFP Contest 2024 (icfpcontest2024.github.io)
    12 points by sea6ear over 1 year ago | discuss
13. ACM SIGPLAN International Conference on Functional Programming ICFP 2024 Videos (www.youtube.com)
    4 points by matt_d 12 months ago | discuss
14. A History of Subtyping – Benjamin C. Pierce – PLMW @ ICFP 2023 [video] (www.youtube.com)
    3 points by matt_d almost 2 years ago | 1 comments
15. ICFP Programming Contest 2025 (icfpcontest2025.github.io)
    3 points by perihelions 2 months ago | discuss
16. ICFP Programming Contest 2025 (icfpcontest2025.github.io)
    3 points by pja 2 months ago | discuss
17. International Conference on Functional Programming ICFP 2024 Accepted Papers (icfp24.sigplan.org)
    3 points by matt_d over 1 year ago | discuss
18. ICFP Contest 2024 (icfpcontest2024.github.io)
    2 points by Jtsummers over 1 year ago | 1 comments
19. ICFP Contest 2024 (icfpcontest2024.github.io)
    2 points by todsacerdoti over 1 year ago | discuss
20. self.atari at ICFPPC 2025 (github.com)
    1 points by eswitbeck 2 months ago | discuss
21. Teaching and Learning Compilers Incrementally [ICFP'23 Tutorial] Jeremy G. Siek [video] (www.youtube.com)
    1 points by matt_d almost 2 years ago | discuss
22. Multi-Stage Programming with Splice Variables (tsung-ju.org)
    54 points by matt_d 5 months ago | 15 comments
23. A guided tour through Oxidized OCaml (gavinleroy.com)
    4 points by matt_d about 1 month ago | 1 comments
24. Beyond Relooper: Recursive Translation of Unstructured Control Flow (icfp22.sigplan.org)
    3 points by glth almost 2 years ago | 1 comments
25. Fran: Functional Reactive Animation (1997) (conal.net)
    3 points by Bluestein over 1 year ago | discuss
26. MacoCaml: Staging Composable and Compilable Macros [pdf] (xnning.github.io)
    3 points by PaulHoule almost 2 years ago | discuss
27. How Deep Sea Water Is Now Drinkable [video] (www.youtube.com)
    2 points by simonebrunozzi 6 months ago | discuss
28. Bit-stealing made legal: compilation for custom memory representations o [pdf] (perso.ens-lyon.fr)
    2 points by fanf2 over 1 year ago | discuss
29. Bit-Stealing Made Legal (2023) [pdf] (perso.ens-lyon.fr)
    2 points by mpweiher over 1 year ago | discuss
30. MacoCaml: Staging Composable and Compilable Macros [pdf] (xnning.github.io)
    2 points by todsacerdoti almost 2 years ago | discuss
31. ShinkaEvolve in Action: How a Human-AI Partnership Conquered a Coding Challenge (sakana.ai)
    1 points by frozenseven about 1 month ago | discuss
32. First-Order Laziness [pdf] (www.microsoft.com)
    1 points by helix278 about 2 months ago | discuss
33. Closure-Free Functional Programming in a Two-Level Type Theory (github.com)
    1 points by matt_d over 1 year ago | discuss
34. DeepMind and OpenAI win gold at ICPC (codeforces.com)
    251 points by notemap 2 months ago | 248 comments
35. Show HN: Icepi Zero – The FPGA Raspberry Pi Zero Equivalent (github.com)
    233 points by Cyao 6 months ago | 51 comments
36. Should I Block ICMP? (shouldiblockicmp.com)
    122 points by rascul 6 months ago | 96 comments
37. ICPC 2025 World Finals Results (worldfinals.icpc.global)
    103 points by pykello 2 months ago | 56 comments
38. ICPP – Run C++ anywhere like a script (github.com)
    83 points by davikr over 1 year ago | 53 comments
39. ICP-Brasil: Mis-issued certificate (bugzilla.mozilla.org)
    61 points by cipherboy 12 months ago | 3 comments
40. INFP: Audio-Driven Interactive Head Generation in Dyadic Conversations (grisoon.github.io)
    29 points by nnx 11 months ago | 21 comments
41. Why targeting an ICP brings 10x more customers than you expected (longform.asmartbear.com)
    29 points by handfuloflight about 1 year ago | 10 comments