StrykerKKD | 7 years ago | on: Paralleltext: Learn languages by reading
I tried out the english->hungarian and it's pretty hilarious, because hungarian version sound so german that even I can't understand what it says without the text. :D
StrykerKKD's comments
StrykerKKD | 9 years ago | on: Learn Kotlin in Y Minutes
It's interesting how many language wants to be part of the ML family or at least look like an ML language.
Kotlin has a really nice and simple syntax compared to Scala, which has way to many features.
StrykerKKD | 9 years ago | on: Why ML/OCaml are good for writing compilers (1998)
I agree that Ocaml is just extremely well suited for making new programig languages. If you are interested in Ocaml+programming languages check out the plzoo: http://plzoo.andrej.com/
I personally think that Ocaml is really good at this, because I started converting the Scheme examples from the PLAI book to Ocaml and it's just felt right(maybe because I'm not fan of the scheme syntax).
StrykerKKD | 9 years ago | on: How Python Makes Working with Data More Difficult in the Long Run
If you want better type information for Python, you could use the new typing hints and the typing module(https://docs.python.org/3/library/typing.html).
You could also use mypy(https://mypy.readthedocs.io/en/latest/index.html) which is a static type checker for Python.
StrykerKKD | 9 years ago | on: ‘Bitcoin Browser’ Brave Raises $4.5M, Readies for 1.0 Launch
I was laughing out loud, when I saw that it was based on node. They want to build a secure and fast browser and they use JS to accomplish it.
StrykerKKD | 9 years ago | on: Ask HN: What is your best advice for a developer to write better code?
You are right, I didn't think the example through.
You are right, you can use tests to prove a function if - the function has very limited arguments and - the function is pure or does very limited amount of state change(side effect)
Generally speaking tests are not the right tool for proving program correctness.
StrykerKKD | 9 years ago | on: Ask HN: What is your best advice for a developer to write better code?
Well it's possible, but how many developer would rather make a new type for using the first ten integer instead of just using int?
I think random testing is a good way to get almost exhaustively tests.
StrykerKKD | 9 years ago | on: Ask HN: What is your best advice for a developer to write better code?
I don't despair, because I know that to prove correctness of a program you need to use math.
For example proof assistants(like Coq, Agda, Idris, hol) are capable of proving correctness of a program.
StrykerKKD | 9 years ago | on: Ask HN: What is your best advice for a developer to write better code?
No, I literally mean that you can't prove correctness with tests, because you would need a lot of test cases to prove the simplest function.
For example: int addOne(int input) function would need test cases for every number in the int type, which would be 2,147,483,647 * 2 + 1 test case.
StrykerKKD | 9 years ago | on: Ask HN: What is your best advice for a developer to write better code?
I have to nitpick.
2) You can't prove correctness with tests. You can only state that it ran correctly for that test case(s).
StrykerKKD | 11 years ago | on: Jodd – The Unbearable Lightness of Java
I used Jerry at work and it's really one fine HTML parser.
I like it better than JSoup, although it works a little bit weirder. :D
StrykerKKD | 11 years ago | on: What Color Is Your Function?
But waiting is non-blocking right?
It means that we can just make one isolate's role to wait for all other isolates to complete.
For me the bad part of "red" functions is that testing is harder for it or I just suck at it.
StrykerKKD | 11 years ago | on: What Color Is Your Function?
What about isolates in Dart?
I mean isolates are isolated processes, which also can be a thread and they also can communicate with each other.
StrykerKKD | 11 years ago | on: What is special about Nim?
Nice article, although I couldn't really understand some of the examples which had template in it.
StrykerKKD | 11 years ago | on: Ask HN: What are you reading right now?
Your post. :D
Actually Eloquent Javascript and sometimes Programming -- Principles and Practice Using C++. I found the C++ book a little bit boring and maybe i wont read it trough.
StrykerKKD | 11 years ago | on: Poll: What's Your Favorite IDE for JavaScript?
I mostly use Brackets in my work and it's really good for editing JS files and has a lot of stuff like themes and plugins.
StrykerKKD | 11 years ago | on: My Isometric Voxel Engine: One Year Later
Which language did you use to make it?
StrykerKKD | 11 years ago | on: This will make some people mad (JS/Dart)
Great article to make people mad. I liked the metaphors. :D
StrykerKKD | 11 years ago | on: Ask HN: What are you building?
https://github.com/StrykerKKD/dartrocket is an open source 2D HTML5 game engine in Dart.
I started doing this, because I always liked Dart better than any other programming language and because at that time Dart didn't have any HTML5 game engines.
I also developing it, because I really like doing it and because I want to make a living out of this.
page 1