Hacker News with Generative AI: Programming Challenges

GenAI-Accelerated TLA+ Challenge (tlapl.us)
The TLA+ Foundation, in collaboration with NVIDIA, is pleased to announce the GenAI-accelerated TLA+ challenge—an open call for submissions that explore the intersection of TLA+ and generative AI.
Generative AI, Software, Programming Challenges, Formal Methods, Artificial Intelligence
35 points by lemmster 17 days ago | 16 comments
Bouncing Beholder, my winning JS1K entry (2012) (marijnhaverbeke.nl)
My winning JS1K entry---a JavaScript platform game that fits in 1024 bytes.
JavaScript, Game Development, Programming Challenges, Retro Games
72 points by wonger_ 108 days ago | 21 comments
Advent of Svelte (svelte.dev)
Last December, Svelte Society presented an advent calendar’s worth of festive Svelte-themed code challenges.
JavaScript, Web Development, Frameworks, Programming Challenges
5 points by tobr 173 days ago | 0 comments
Project Euler #912: Where are the Odds? (projecteuler.net)
Let \(s_n\) be the \(n\)-th positive integer that does not contain three consecutive ones in its binary representation.
Mathematics, Algorithms, Programming Challenges
165 points by fzliu 221 days ago | 99 comments