Hackernews posts about ICFP

RSS feed for ICFP

01
newInternational Conference on Functional Programming (ICFP) 2026 talks releasedwww.youtube.com
▲ 25matt_d 12d discuss
02
newMachine-Generated, Machine-Checked Proofs for a Verified Compiler (ICFP'26) [video]www.youtube.com
▲ 1matt_d 6d discuss
03
newIFPI Wants Open Source YouTube Downloader yt-dlp on EU Piracy Watch Listtorrentfreak.com
▲ 7iamnothere 6d 💬 1
04
newIFPI Wants Open Source YouTube Downloader Yt-Dlp on EU Piracy Watch Listtorrentfreak.com
▲ 50in 5d discuss
05
newShow HN: I-server: Hide server using ICMP reflection/Destination Unreachablegithub.com
▲ 4hajoon22 15d discuss
06
newApple hiring iCup specialist to manage a large portfolio of coffee machinesjobs.apple.com
▲ 1Austin_Conlon 5h 💬 1
07
newShow HN: SeaSearch – Lightweight, S3-backed multi-tenant search enginegithub.com
▲ 2Daniel-Pan 19d 💬 2
08
newIs truth future proof? [pdf]khoury.northeastern.edu
▲ 3encyclopedism 22d discuss
09
newExplaining the Proposed $103k H-1B Feeifp.org
▲ 1surprisetalk 18d discuss
10
new40C3 – Call for Participationcontent.events.ccc.de
▲ 6cgeier 23d discuss
11
newConsumer Financial Protection Bureau Just Made Another Business-Friendly Movewww.propublica.org
▲ 1hn_acker 11d 💬 1
12
newICFP Programming Contest 2026icfpcontest2026.com
▲ 5matt_d 74d discuss
13
newI'm running the ICFP programming contesteieio.games
▲ 4birdculture 70d 💬 1
14
newACM SIGPLAN International Conference on Functional Programming ICFP 2024 Videoswww.youtube.com
▲ 4matt_d 679d discuss
15
newICFP Programming Contest 2025icfpcontest2025.github.io
▲ 3perihelions 394d discuss
16
newICFP Programming Contest 2025icfpcontest2025.github.io
▲ 3pja 394d discuss
17
newThe Calculated Typer – Haskell Symposium (ICFP⧸SPLASH'25) [video]www.youtube.com
▲ 2matt_d 348d 💬 1
18
newICFP Programming Contest 2026icfpcontest2026.com
▲ 2gregsadetsky 72d discuss
19
newself.atari at ICFPPC 2025github.com
▲ 1eswitbeck 388d discuss
20
newMulti-Stage Programming with Splice Variablestsung-ju.org
▲ 54matt_d 464d 💬 15
21
newI'm running a programming contesteieio.games
▲ 16signa11 72d 💬 5
22
newLittleman Programmingicfpcontest2026.com
▲ 12irs 71d discuss
23
newA guided tour through Oxidized OCamlgavinleroy.com
▲ 4matt_d 355d 💬 1
24
newThe Littleman Programming Languageicfpcontest2026.com
▲ 3fcjr 72d discuss
25
newHow Deep Sea Water Is Now Drinkable [video]www.youtube.com
▲ 2simonebrunozzi 509d discuss
26
newI'm Running a Programming Contesteieio.games
▲ 1speckx 72d discuss
27
newShinkaEvolve in Action: How a Human-AI Partnership Conquered a Coding Challengesakana.ai
▲ 1doppp 343d discuss
28
newShinkaEvolve in Action: How a Human-AI Partnership Conquered a Coding Challengesakana.ai
▲ 1frozenseven 353d discuss
29
newFirst-Order Laziness [pdf]www.microsoft.com
▲ 1helix278 379d discuss
30
newDeepMind and OpenAI win gold at ICPCcodeforces.com
▲ 251notemap 382d 💬 248
31
newShow HN: Icepi Zero – The FPGA Raspberry Pi Zero Equivalentgithub.com
▲ 233Cyao 494d 💬 51
32
newShould I Block ICMP?shouldiblockicmp.com
▲ 122rascul 501d 💬 96
33
newICPC 2025 World Finals Resultsworldfinals.icpc.global
▲ 103pykello 395d 💬 56
34
newPingfs: Stores your data in ICMP ping packets (2020)github.com
▲ 78linkdd 295d 💬 26
35
new.arpa, rDNS and a few magical ICMP hackssdomi.pl
▲ 62caminanteblanco 338d 💬 7
36
newICP-Brasil: Mis-issued certificatebugzilla.mozilla.org
▲ 61cipherboy 672d 💬 3
37
newINFP: Audio-Driven Interactive Head Generation in Dyadic Conversationsgrisoon.github.io
▲ 29nnx 653d 💬 21
38
newWhy targeting an ICP brings 10x more customers than you expectedlongform.asmartbear.com
▲ 29handfuloflight 722d 💬 10
39
newICTP Announces 2026 Dirac Medal Recipients (Physics)www.ictp.it
▲ 17rramadass 56d 💬 1
40
newByteDance INFP: The AI That Brings Images to Lifepdftranslate.ai
▲ 13sh_tomer 651d 💬 2
41
newGemini achieves gold-medal level at the ICPC World Finalsdeepmind.google
▲ 12meetpateltech 382d 💬 2