• 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
  • Career
  • Opportunities
    Find your next career challenge – powered by Qualified Jobs
  • 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
  • Log In
  • Sign Up
andersk Avatar
Name:Anders Kaseorg
Clan:@zulip
Member Since:Apr 2019
Last Seen:May 2022
Profiles:
Following:0
Followers:18
Allies:0
View Profile Badges
Ad
Promoted
  • Stats
  • Kata
  • Collections
  • Kumite
  • Social
  • Discourse
  • Conversations (30)
  • Replies
  • Authored
  • Needs Resolution
  • Custom User Avatar
    • JohanWiltink
    • commented on "A Simple Postfix Language" haskell solution

    But that was for bonus points.

    For the ranking, that should not have been optional really.

  • Custom User Avatar
    • ice1000
    • commented on "Left, left! Right, right! Comp! Symmetric! Q!E!D!" kata

    No, it's fixed in the final test.

  • Custom User Avatar
    • tonyxty
    • commented on "Left, left! Right, right! Comp! Symmetric! Q!E!D!" kata

    I think the problem is still not fixed. You might want to import a definition of ≡ in the test code.

  • Custom User Avatar
    • andersk
    • created an issue for "Change detection decorator" kata

    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

    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?

  • Default User Avatar
    • Reizo
    • commented on "Areas of Voronoi cells" cpp solution

    Someone explain this magic pls :o

  • Custom User Avatar
    • lwoo1999
    • resolved a suggestion on "Two paths in the forest" kata

    Thank you for suggestion.
    Fixed

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

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

  • Custom User Avatar
    • mzedeler
    • commented on "Unique In Order" haskell solution

    Can someone please explain this? (I'm mostly curious about the last line.)

  • Custom User Avatar
    • ice1000
    • resolved an issue on "Simply typed lambda calculus type checker" kata

    Fixed

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

    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.

  • Default User Avatar
    • solitude
    • resolved an issue on "Cardinality of N and N x N" kata

    Thanks for the info. Changed the description and tests.

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

    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

    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

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

  • Loading more items...
  • © 2022 Codewars
  • About
  • API
  • Announcements
  • Privacy
  • Terms
  • Contact
  • powered by

Confirm

  • Cancel
  • Confirm

Collect: kata

Loading collection data...

Add To My Collections
    • View
      Remove Add
    You have not created any collections yet.

    Collections are a way for you to organize kata so that you can create your own training routines. Every collection you create is public and automatically sharable with other warriors. After you have added a few kata to a collection you and others can train on the kata contained within the collection.

    Get started now by creating a new collection.

    You must wait until you have earned at least 20 honor before you can create new collections.

Set the name for your new collection. Remember, this is going to be visible by everyone so think of something that others will understand.

Create & Add New Collection