News for hackers. Stuff that matters.
Re:14-year-old Miles Wu folded origami pattern that holds 10... by jjmarr on Monday February 16, 2026 @05:24PM (#47041189)
I learned coq as a teenager because the name was funny and one defined everything in terms of the `succ` function.

Never underestimate our motivation.

Re:14-year-old Miles Wu folded origami pattern that holds 10... by knotimpressed on Monday February 16, 2026 @06:09PM (#47041598)
Continuing to do things only because they’re funny as an adult is one of life’s little treats!
Re:14-year-old Miles Wu folded origami pattern that holds 10... by jjmarr on Tuesday February 17, 2026 @12:31AM (#47044031)
Unfortunately, they changed the name to Rocq.
Re:14-year-old Miles Wu folded origami pattern that holds 10... by kleiba on Tuesday February 17, 2026 @07:39AM (#47046847)
...as long as they also changed the defining function to `hard`, we're still good.