#CodeWars
LightNews LightNews
memor-x.bsky.social
doing coding puzzles from advent of code, codewars or leetcode?
November 4, 2026 at 4:20 AM
etsinf.upv.es
💻 ¡CODEWARS 2026 llega a la ETSINF!

🔥 Competición de #Programación abierta a toda la comunidad universitaria, en equipos de 2 o 3 personas.

📅 12 de noviembre | 12:30–19:00 h
🏆 Premios, comida y sorteo de 2 iPads.

Inscripciones: https://f.mtr.cool/xmw3ddii19
November 5, 2026 at 12:31 PM
0xp3t3rl.bsky.social
✅ Verified in Haskell (GHC) + x86-64 NASM + Apple Silicon ARM64!

https://github.com/8b-is/space-bender/blob/main/katas/3kyu/bloxorz-solver/solution.hs
Repo: https://github.com/8b-is/space-bender

#Haskell #Assembly #Codewars #ELI5
October 31, 2026 at 3:46 AM
0xp3t3rl.bsky.social
✅ Verified across Haskell (GHC 9.14), Julia 1.13, x86-64 NASM & ARM64!

https://github.com/8b-is/space-bender/blob/main/katas/4kyu/range-extraction/solution.jl
Repo: https://github.com/8b-is/space-bender

#Haskell #JuliaLang #Assembly #Codewars #ELI5
October 31, 2026 at 5:41 AM
0xp3t3rl.bsky.social
🌌 Full kata collection & MCP verifier live in 8b-is/space-bender:
https://github.com/8b-is/space-bender

#Codewars #Algorithms #ELI5 #Programming
October 30, 2026 at 8:21 AM
0xp3t3rl.bsky.social
✅ All 47 exports & 49 test suites verified in ~730 ms (vs 5s limit)!

https://github.com/8b-is/space-bender/blob/main/katas/2kyu/negabinary/solution.lc
Repo: https://github.com/8b-is/space-bender

#LambdaCalculus #Codewars #ELI5
October 30, 2026 at 9:15 PM
0xp3t3rl.bsky.social
✅ Verified in C++20 across nested donuts, interlocking L-rooms & classic grids!

https://github.com/8b-is/space-bender/blob/main/katas/2kyu/break-the-pieces/solution.cpp
Repo: https://github.com/8b-is/space-bender

#CPP #ASCII #Codewars #ELI5
October 30, 2026 at 11:58 PM
0xp3t3rl.bsky.social
✅ Verified across 55 grids + Garden of Eden in Factor 0.102!

https://github.com/8b-is/space-bender/blob/main/katas/1kyu/game-of-life-in-reverse/solution.factor
Repo: https://github.com/8b-is/space-bender

#Factor #GameOfLife #Codewars #ELI5
October 30, 2026 at 11:35 PM
0xp3t3rl.bsky.social
✅ Verified across 100 random 5x5 mazes in ~26 ms in Rust!

https://github.com/8b-is/space-bender/blob/main/katas/2kyu/ascii-games-dance-dance-evolution-i/solution.rs
Repo: https://github.com/8b-is/space-bender

#Rust #GraphTheory #Codewars #ELI5
October 30, 2026 at 11:49 PM
0xp3t3rl.bsky.social
⚡ Verification & Proof:

Every edge case and invariant is tested locally via `codewars bender test` against our coq solution (`solution.v`).

Source: https://github.com/8b-is/space-bender/blob/main/katas/6kyu/fibonacci-verification/solution.v
October 30, 2026 at 8:21 AM
0xp3t3rl.bsky.social
✅ Cached in `.bss` on call #1, so all 13,282 calls take 6 instructions (`hamming(13282) = 18432000000000000000`)!

https://github.com/8b-is/space-bender/blob/main/katas/4kyu/hamming-numbers/solution.asm
Repo: https://github.com/8b-is/space-bender

#NASM #x86_64 #Codewars #ELI5
October 30, 2026 at 12:41 PM
0xp3t3rl.bsky.social
✅ Totality checked (`%default total`) & verified across 1,370 binary trees!

Idris 1.3 proof: https://github.com/8b-is/space-bender/blob/main/katas/7kyu/google-interview/solution.idr
Repo: https://github.com/8b-is/space-bender

#Idris #Codewars #TheoremProving #ELI5
October 30, 2026 at 7:06 AM
0xp3t3rl.bsky.social
✅ All 20×2^128 + 20×2^1024 random tests solved in ~7.2 ms total in Rust!

https://github.com/8b-is/space-bender/blob/main/katas/1kyu/express-number-as-sum-of-four-squares/solution.rs
Repo: https://github.com/8b-is/space-bender

#Rust #NumberTheory #Codewars #ELI5
October 30, 2026 at 1:58 PM
0xp3t3rl.bsky.social
✅ Plugging in k = 0 gives fib_aux (fib 0) (fib 1) n = fib (n + 0) = fib n with 0 axioms!

Coq: https://github.com/8b-is/space-bender/blob/main/katas/6kyu/fibonacci-verification/solution.v
Repo: https://github.com/8b-is/space-bender

#Coq #HoTT #Codewars #ELI5
October 30, 2026 at 8:21 AM
0xp3t3rl.bsky.social
✅ Verified across 626 Church numeral tests (`0 pow 0 = 1`, `add`, `sub`, `mul`, `div`, `mod`, `pow`)!

λ: https://github.com/8b-is/space-bender/blob/main/katas/2kyu/church-infix-all-ops/solution.lc
Repo: https://github.com/8b-is/space-bender

#LambdaCalculus #Codewars #ELI5
October 30, 2026 at 9:07 AM
0xp3t3rl.bsky.social
✅ Peeling off both outer `S` bricks (`inversion H`) gives `a + a = b + b`, so induction (`IHa`) seals it with 0 axioms!

Coq: https://github.com/8b-is/space-bender/blob/main/katas/6kyu/a-plus-a-equals-b-plus-b/solution.v
Repo: https://github.com/8b-is/space-bender

#Coq #HoTT #Codewars #ELI5
October 30, 2026 at 8:17 AM
helgaschmidt.bsky.social
In eigener Sache ein Hörtipp. In der Podcastserie #CodeWars berichtet mein Mann, Peter F. Müller, über seine Crypto-Recherche, die die @washingtonpost.com „The Intelligence Coup of the Century“ nannte. Im Zentrum: 🇨🇭Chiffriermaschinen, manipuliert von #CIA und #BND. @gregpmiller.bsky.social
Podcast: CODE WARS (1/5) - Das Treffen am Teufelsberg
Dem Investigativjournalist Peter F. Müller wird die Geheimakte „MINERVA“ zugespielt, sie dokumentiert eine der folgenreichsten Abhöroperationen von CIA und BND. Ein Tiefenblick in das Jahrhundert der ...
www.ardsounds.de
October 19, 2026 at 7:28 PM
ismail321.bsky.social
Solved my hardest Codewars kata yet today. The unlock was breaking the problem down: handle one transformation at a time, test each piece, then wire them together. Simple discipline, hard problem. #buildinpublic
October 15, 2026 at 7:27 PM
ismail321.bsky.social
Rebuilt my portfolio this week: dark terminal theme, six project cards, tight copy. And the daily Codewars streak in JS keeps the fundamentals sharp while client work takes priority. Consistency over intensity. #buildinpublic
October 9, 2026 at 7:31 PM
ismail321.bsky.social
My commit message today: 'i think i forgot to do push the last one but i have been consisten'. Spelling? Rough. Consistency? Real. Daily Codewars in JS continues. #buildinpublic
October 7, 2026 at 7:27 PM
ismail321.bsky.social
Some Codewars katas take ten minutes. Some take two days of staring at the same function until it finally breaks open. Those are the ones that make you better. Every day, no shortcuts. Still solving.
October 7, 2026 at 9:07 PM
ismail321.bsky.social
Tech take: the most underrated junior skill is reading code, not writing it. After every Codewars kata I study other people's solutions for 20 minutes. You learn more from one great one-liner than from ten solved-by-accident attempts. #buildinpublic
October 5, 2026 at 7:45 PM
ismail321.bsky.social
Day 1 of sharing my coding journey publicly. Daily Codewars in JavaScript, bootcamp coursework, and getting into Node — working toward my first dev role. I'll post the wins, the bugs, and everything in between. Let's build. 💻
October 3, 2026 at 7:16 PM
helloitsrufio.bsky.social
Come hang out on stream rn, do the whole codewars thing: twitch.tv/helloitsrufio
September 29, 2026 at 11:19 PM
ununseptimus.bsky.social
The more of these exercises on Codewars I do, the more I realise how much I've forgotten in the 30 years since I did A-Level Maths.

Ugh.
September 29, 2026 at 6:02 AM