Hackernews posts about ICFP

1. Show HN: NTP diag tool, as is Ping for ICMP (github.com)
   5 points by aguacero_7 4 days ago | discuss
2. Icepi Zero – The FPGA Raspberry Pi Zero Equivalent Is Now on Crowd Supply (www.crowdsupply.com)
   2 points by Cyao 27 days ago | 1 comments
3. Show HN: Icepi Zero – The FPGA in a Pi Zero Form (www.crowdsupply.com)
   2 points by Cyao 1 day ago | discuss
4. My Founder Sucks
   5 points by ljpg16 26 days ago | 1 comments
5. I've Been Doing Cold Outreach on X for the Past Few Days. Here's What I've Got
   4 points by timczm 10 days ago | 2 comments
6. Show HN: AI that researches your B2B prospects like a human (www.intellisell.ai)
   3 points by troyethaniel 5 days ago | 5 comments
7. Time for self-promotion. What are you building?
   3 points by hartgevin 4 days ago | 2 comments
8. Show HN: RKIK v0.6.0 – A stateless NTP inspection CLI (Rust, async, no root) (github.com)
   2 points by aguacero7 19 days ago | discuss
9. Show HN: Global Website Monitor – Free Multi-Region Latency Checker (website-monitor-dbg.pages.dev)
   1 points by coolandersonfan 13 days ago | discuss
10. No EM Dash for ChatGPT (chromewebstore.google.com)
    1 points by mnewme 25 days ago | 1 comments
11. The Replication Engine (ifp.org)
    1 points by shpat 7 days ago | discuss
12. Shlide: Slide deck presentation tool written in pure bash (tangled.sh)
    1 points by nerdypepper 26 days ago | discuss
13. ICFP Contest 2024 (icfpcontest2024.github.io)
    12 points by sea6ear about 1 year ago | discuss
14. ACM SIGPLAN International Conference on Functional Programming ICFP 2024 Videos (www.youtube.com)
    4 points by matt_d 9 months ago | discuss
15. A History of Subtyping – Benjamin C. Pierce – PLMW @ ICFP 2023 [video] (www.youtube.com)
    3 points by matt_d over 1 year ago | 1 comments
16. International Conference on Functional Programming ICFP 2024 Accepted Papers (icfp24.sigplan.org)
    3 points by matt_d about 1 year ago | discuss
17. ICFP (International Conference on Functional Programming) 2023 Proceedings (dl.acm.org)
    3 points by matt_d almost 2 years ago | discuss
18. ICFP Contest 2024 (icfpcontest2024.github.io)
    2 points by Jtsummers about 1 year ago | 1 comments
19. ICFP Contest 2024 (icfpcontest2024.github.io)
    2 points by todsacerdoti about 1 year ago | discuss
20. Teaching and Learning Compilers Incrementally [ICFP'23 Tutorial] Jeremy G. Siek [video] (www.youtube.com)
    1 points by matt_d over 1 year ago | discuss
21. Eio 1.0 – Effects-based IO for OCaml 5 (icfp23.sigplan.org)
    124 points by hackandthink almost 2 years ago | 8 comments
22. Multi-Stage Programming with Splice Variables (tsung-ju.org)
    54 points by matt_d about 2 months ago | 15 comments
23. Beyond Relooper: Recursive Translation of Unstructured Control Flow (icfp22.sigplan.org)
    3 points by glth over 1 year ago | 1 comments
24. Fran: Functional Reactive Animation (1997) (conal.net)
    3 points by Bluestein about 1 year ago | discuss
25. MacoCaml: Staging Composable and Compilable Macros [pdf] (xnning.github.io)
    3 points by PaulHoule over 1 year ago | discuss
26. How Deep Sea Water Is Now Drinkable [video] (www.youtube.com)
    2 points by simonebrunozzi 3 months ago | discuss
27. Bit-stealing made legal: compilation for custom memory representations o [pdf] (perso.ens-lyon.fr)
    2 points by fanf2 over 1 year ago | discuss
28. Bit-Stealing Made Legal (2023) [pdf] (perso.ens-lyon.fr)
    2 points by mpweiher over 1 year ago | discuss
29. MacoCaml: Staging Composable and Compilable Macros [pdf] (xnning.github.io)
    2 points by todsacerdoti over 1 year ago | discuss
30. Closure-Free Functional Programming in a Two-Level Type Theory (github.com)
    1 points by matt_d about 1 year ago | discuss
31. Show HN: Icepi Zero – The FPGA Raspberry Pi Zero Equivalent (github.com)
    233 points by Cyao 3 months ago | 51 comments
32. Should I Block ICMP? (shouldiblockicmp.com)
    122 points by rascul 3 months ago | 96 comments
33. ICPP – Run C++ anywhere like a script (github.com)
    83 points by davikr about 1 year ago | 53 comments
34. ICP-Brasil: Mis-issued certificate (bugzilla.mozilla.org)
    61 points by cipherboy 9 months ago | 3 comments
35. INFP: Audio-Driven Interactive Head Generation in Dyadic Conversations (grisoon.github.io)
    29 points by nnx 8 months ago | 21 comments
36. Why targeting an ICP brings 10x more customers than you expected (longform.asmartbear.com)
    29 points by handfuloflight 10 months ago | 10 comments
37. IC3PEAK – Marching [video] (www.youtube.com)
    18 points by consumer451 over 1 year ago | 7 comments
38. Notes and Receipts (PCAPs) for TCP and ICMP Noise Storms (github.com)
    16 points by jayhoon 11 months ago | 1 comments
39. ByteDance INFP: The AI That Brings Images to Life (pdftranslate.ai)
    13 points by sh_tomer 8 months ago | 2 comments
40. Network Traffic Analysis of ICMP "Love" Noise Storms (darthnull.org)
    9 points by a_morris 11 months ago | 2 comments
41. .arpa, rDNS and a few magical ICMP hacks (sdomi.pl)
    7 points by todsacerdoti 5 months ago | discuss
42. Ask HN: Is it well known that iOS devices transmit large ICMP echo/replies?
    5 points by nickburns over 1 year ago | 6 comments