Hackernews posts about ICFP

1. ICFP Programming Contest 2025 (icfpcontest2025.github.io)
   3 points by perihelions 27 days ago | discuss
2. ICFP Programming Contest 2025 (icfpcontest2025.github.io)
   3 points by pja 27 days ago | discuss
3. self.atari at ICFPPC 2025 (github.com)
   1 points by eswitbeck 22 days ago | discuss
4. First-Order Laziness [pdf] (www.microsoft.com)
   1 points by helix278 12 days ago | discuss
5. DeepMind and OpenAI win gold at ICPC (codeforces.com)
   251 points by notemap 15 days ago | 247 comments
6. ICPC 2025 World Finals Results (worldfinals.icpc.global)
   103 points by pykello 28 days ago | 56 comments
7. Gemini achieves gold-medal level at the ICPC World Finals (deepmind.google)
   12 points by meetpateltech 15 days ago | 2 comments
8. OpenAI reasoning system scores 12/12 at the 2025 ICPC World Finals (twitter.com)
   9 points by tedsanders 15 days ago | 2 comments
9. Google Gemini earns gold medal in ICPC World Finals coding competition (arstechnica.com)
   5 points by vok 15 days ago | 1 comments
10. Gemini AI solves coding problem that stumped 139 human teams at ICPC World Final (arstechnica.com)
    2 points by sleepyguy 15 days ago | discuss
11. The lone unsolved problem from the ICPC 2025 world finals [pdf] (worldfinals.icpc.global)
    2 points by parkaboy 27 days ago | discuss
12. OpenAI 2025 ICPC Submissions (github.com)
    1 points by limoce 10 days ago | discuss
13. OpenAI incorporated AI dev tools into ICPC World Finals (worldfinals.icpc.global)
    1 points by alangohe 15 days ago | discuss
14. .YE ccTLD – Formal Redelegation Request to ICANN/IANA
    8 points by FreeTheDotYE 13 days ago | discuss
15. Mirai Variant "Gayfemboy" Infecting 15K+ Devices Daily – Mitigation Ideas?
    7 points by garduno_AA 17 days ago | 3 comments
16. The "Wage Level" Mirage: H-1B proposal could help outsourcers and hurt US talent (ifp.org)
    100 points by johntfella 8 days ago | 193 comments
17. Unlocking a Million Times More Data for AI (ifp.org)
    31 points by williamtrask 8 days ago | 56 comments
18. The global drone revolution in agriculture (www.ifpri.org)
    5 points by marojejian 13 days ago | 1 comments
19. CFPB: Procedures for Supervisory Designation Proceedings (www.federalregister.gov)
    2 points by impish9208 7 days ago | discuss
20. How to not give up trying to run OpenBMC on Supermicro X11SSH? (cfp.3mdeb.com)
    3 points by pietrushnic 21 days ago | discuss
21. ICFP Contest 2024 (icfpcontest2024.github.io)
    12 points by sea6ear over 1 year ago | discuss
22. ACM SIGPLAN International Conference on Functional Programming ICFP 2024 Videos (www.youtube.com)
    4 points by matt_d 10 months ago | discuss
23. 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
24. International Conference on Functional Programming ICFP 2024 Accepted Papers (icfp24.sigplan.org)
    3 points by matt_d over 1 year ago | discuss
25. ICFP Contest 2024 (icfpcontest2024.github.io)
    2 points by Jtsummers over 1 year ago | 1 comments
26. ICFP Contest 2024 (icfpcontest2024.github.io)
    2 points by todsacerdoti over 1 year ago | discuss
27. 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
28. Multi-Stage Programming with Splice Variables (tsung-ju.org)
    54 points by matt_d 3 months ago | 15 comments
29. Beyond Relooper: Recursive Translation of Unstructured Control Flow (icfp22.sigplan.org)
    3 points by glth over 1 year ago | 1 comments
30. Fran: Functional Reactive Animation (1997) (conal.net)
    3 points by Bluestein about 1 year ago | discuss
31. MacoCaml: Staging Composable and Compilable Macros [pdf] (xnning.github.io)
    3 points by PaulHoule almost 2 years ago | discuss
32. How Deep Sea Water Is Now Drinkable [video] (www.youtube.com)
    2 points by simonebrunozzi 5 months ago | discuss
33. Bit-stealing made legal: compilation for custom memory representations o [pdf] (perso.ens-lyon.fr)
    2 points by fanf2 over 1 year ago | discuss
34. Bit-Stealing Made Legal (2023) [pdf] (perso.ens-lyon.fr)
    2 points by mpweiher over 1 year ago | discuss
35. MacoCaml: Staging Composable and Compilable Macros [pdf] (xnning.github.io)
    2 points by todsacerdoti almost 2 years ago | discuss
36. Closure-Free Functional Programming in a Two-Level Type Theory (github.com)
    1 points by matt_d over 1 year ago | discuss
37. Show HN: Icepi Zero – The FPGA Raspberry Pi Zero Equivalent (github.com)
    233 points by Cyao 4 months ago | 51 comments
38. Should I Block ICMP? (shouldiblockicmp.com)
    122 points by rascul 4 months ago | 96 comments
39. ICPP – Run C++ anywhere like a script (github.com)
    83 points by davikr about 1 year ago | 53 comments
40. ICP-Brasil: Mis-issued certificate (bugzilla.mozilla.org)
    61 points by cipherboy 10 months ago | 3 comments
41. INFP: Audio-Driven Interactive Head Generation in Dyadic Conversations (grisoon.github.io)
    29 points by nnx 10 months ago | 21 comments
42. Why targeting an ICP brings 10x more customers than you expected (longform.asmartbear.com)
    29 points by handfuloflight 12 months ago | 10 comments
43. IC3PEAK – Marching [video] (www.youtube.com)
    18 points by consumer451 over 1 year ago | 7 comments
44. Notes and Receipts (PCAPs) for TCP and ICMP Noise Storms (github.com)
    16 points by jayhoon about 1 year ago | 1 comments
45. ByteDance INFP: The AI That Brings Images to Life (pdftranslate.ai)
    13 points by sh_tomer 9 months ago | 2 comments
46. Network Traffic Analysis of ICMP "Love" Noise Storms (darthnull.org)
    9 points by a_morris about 1 year ago | 2 comments
47. Show HN: NTP diag tool, as is Ping for ICMP (github.com)
    7 points by aguacero_7 about 2 months ago | discuss
48. .arpa, rDNS and a few magical ICMP hacks (sdomi.pl)
    7 points by todsacerdoti 6 months ago | discuss
49. Ask HN: Is it well known that iOS devices transmit large ICMP echo/replies?
    5 points by nickburns over 1 year ago | 6 comments
50. CVE-2023-6200: ICMPv6 RA Linux TCP/IP Remote Code Execution Vulnerability (bugzilla.redhat.com)
    5 points by mike_d over 1 year ago | 2 comments