• Sign Up
    Time to claim your honor
  • Training
  • Practice
    Complete challenging Kata to earn honor and ranks. Re-train to hone technique
  • Freestyle Sparring
    Take turns remixing and refactoring others code through Kumite
  • Community
  • Leaderboards
    Achieve honor and move up the global leaderboards
  • Chat
    Join our Discord server and chat with your fellow code warriors
  • Discussions
    View our Github Discussions board to discuss general Codewars topics
  • About
  • Docs
    Learn about all of the different aspects of Codewars
  • Blog
    Read the latest news from Codewars and the community
  • Log In
  • Sign Up
andersk Avatar
Name:Anders Kaseorg
Clan:@zulip
Member Since:Apr 2019
Last Seen:Mar 2024
Profiles:
Following:1
Followers:22
Allies:1
View Profile Badges
  • Stats
  • Kata
  • Collections
  • Kumite
  • Social
  • Discourse
  • Conversations
  • Replies
  • Authored (18)
  • Needs Resolution
  • Custom User Avatar
    • andersk
    • created an issue for "Change detection decorator" kata
    • 5 years ago

    The random tests incorrectly expect it to be possible to delete a class attribute from an instance. On a normal Python class, this raises an AttributeError. Solutions that preserve this normal behavior should be accepted.

  • Custom User Avatar
    • andersk
    • commented on "Prime Streaming (NC-17)" javascript solution
    • 5 years ago

    Am I the only one who followed the directions and wrote an infinite stream (up to integer precision) rather than sieving to a predefined limit?

  • Custom User Avatar
    • andersk
    • created a suggestion for "Two paths in the forest" kata
    • 6 years ago

    Agda test cases should not open the solution; that can often be exploited to bring unexpected definitions into scope.

  • Custom User Avatar
    • andersk
    • created an issue for "Simply typed lambda calculus type checker" kata
    • 6 years ago

    Before I could start coding, I had to manually concatenate the preloaded snippets interspersed through the description and hunt down some missing imports. Please make the preloaded part directly copy+pasteable and/or uncommentable.

  • Custom User Avatar
    • andersk
    • created an issue for "Cardinality of N and N x N" kata
    • 6 years ago

    From Preloaded:

    -- Cartesian powers of ℕ. Zeroth power is nonsense.
    ℕ×ℕ^ : ℕ → Set
    ℕ×ℕ^ zero = ℕ
    ℕ×ℕ^ (suc n) = ℕ × ℕ×ℕ^ n
    

    The zeroth power is not nonsense; it serves as a base case in the natural definition

    ℕ^ : ℕ → Set
    ℕ^ zero = ⊤
    ℕ^ (suc n) = ℕ × ℕ^ n
    

    and falls out automatically from the other natural definition

    ℕ^ : ℕ → Set
    ℕ^ n = Fin n → ℕ
    

    Of course, task 2 would then need to change to ℕ ⇔ ℕ^ (suc n).

  • Custom User Avatar
    • andersk
    • resolved an issue on "One-Semicolon Cartesian Product" kata
    • 6 years ago

    That was clearly wrong, so I fixed the test to expect a set with an empty array.

  • Custom User Avatar
    • andersk
    • commented on "Tap into Mr. Mxyzinjin's Stream" javascript solution
    • 6 years ago

    Oops, this version has a bug with a small number of (untested) inputs, see the fixed version.

  • Custom User Avatar
    • andersk
    • created an issue for "To BrainFuck Transpiler" kata
    • 6 years ago

    Something seems to be wrong with the Python tests. This dummy function should pass the first sample test:

    def kcuf(code):
        return ',>' + 66 * '+' + '.' + 55 * '+' + '.' + 20 * '-' + '.<.'
    

    but it crashes with

    Traceback (most recent call last):
      File "main.py", line 21, in <module>
      File "main.py", line 9, in Check
      File "/home/codewarrior/setup.py", line 137, in <lambda>
      File "/home/codewarrior/setup.py", line 107, in __BF__
    NameError: name 'len' is not defined
    

    (I tried both Python 3.4.3 and Python 3.6.0 with the same result.)

  • Custom User Avatar
    • andersk
    • commented on "Left, left! Right, right! Comp! Symmetric! Q!E!D!" kata
    • 6 years ago

    This comment is hidden because it contains spoiler information about the solution

  • Custom User Avatar
    • andersk
    • commented on "A Simple Postfix Language" haskell solution
    • 6 years ago

    This doesn’t satisfy “An invalid program should raise a type error rather than a runtime error.”

  • Custom User Avatar
    • andersk
    • commented on "A Simple Postfix Language" haskell solution
    • 6 years ago

    This doesn’t satisfy “An invalid program should raise a type error rather than a runtime error.”

  • Custom User Avatar
    • andersk
    • commented on "A Simple Postfix Language" haskell solution
    • 6 years ago

    This doesn’t satisfy “An invalid program should raise a type error rather than a runtime error.”

  • Custom User Avatar
    • andersk
    • commented on "A Simple Postfix Language" haskell solution
    • 6 years ago

    This doesn’t satisfy “An invalid program should raise a type error rather than a runtime error.”

  • Custom User Avatar
    • andersk
    • commented on "A Simple Postfix Language" haskell solution
    • 6 years ago

    This doesn’t satisfy “An invalid program should raise a type error rather than a runtime error.”

  • Custom User Avatar
    • andersk
    • commented on "A Simple Postfix Language" haskell solution
    • 6 years ago

    This doesn’t satisfy “An invalid program should raise a type error rather than a runtime error.”

  • Loading more items...
  • © 2025 Codewars
  • About
  • API
  • Blog
  • Privacy
  • Terms
  • Code of Conduct
  • Contact

Confirm

  • Cancel
  • Confirm

Collect: undefined

Loading collection data...