pezo1919

25 ms·

1. 211.▲
   by pezo1919 7y ago

   You might want to join here (copied from another thread) https://futureofcoding.org/slack-readme
2. 212.▲
   by pezo1919 7y ago

   It feels so weird. Earlier F# seemed to me a really interesting choice, but after knowing about Agda/Idris I don't feel the same anymore.
3. 213.▲
   by pezo1919 7y ago

   Ah I have just realized it might be "just a classic typed language IDE" experience and Dependent Types seems just way above. Am I missing something?
4. 214.▲
   by pezo1919 7y ago

   Yes it is true, but you might accidentally skip cases which a proof assistant will tell you about. There is much information you can specify than later extract from the already given piece of code eg. with dependent types.
5. 215.▲
   by pezo1919 7y ago

   Did not know about it, ty.
6. 216.▲
   by pezo1919 7y ago

   Thanks!
7. 217.▲
   by pezo1919 7y ago

   Yes, this is a good example of a "smart IDE", however I am looking for something more holistic.
8. 218.▲
   by pezo1919 7y ago

   Awesome story, thanks! Keep it up! Is there any slack channel/group you are part of? What did you find?
9. 219.▲
   by pezo1919 7y ago

   Yes sure! I did not mean the tool should exist independently, I meant some kind of extra IDE "layer" beside a "regular"/widespread (C,Java,C#) compiler/language. But ofc there is no such thing like "regula
10. 220.▲
    by pezo1919 7y ago

    Yes sure! I did not mean the tool should exist independently, I meant some kind of extra IDE "layer" beside a "regular"/widespread (C,Java,C#) compiler/language. But ofc there is no such thing like "regula
11. 221.▲
    by pezo1919 7y ago

    That is really cool as a high-schooler! How did study those things? Did you have any support? I have multiple programmers in my family but no one is aware of things, lol.
12. 222.▲
    by pezo1919 7y ago

    Ah, I did not know that! The Purescript integration seems definitely interesting! Do you use these tools for work?
13. 223.▲
    by pezo1919 7y ago

    Seems interesting, thanks!
14. 224.▲
    by pezo1919 7y ago

    Yes this is one main feature what I am looking for. I have just replied to another comment where I mention holes but ask a more concrete question about focusing different parts of the system when you have multiple holes. Can you please exam
15. 225.▲
    by pezo1919 7y ago

    By tool I mean something more than a language. Something like a proof assistant, but more visual: it would show the different "views" (parts) of the already provided code, let the user to focus on just arbitrary parts, but at any
16. 226.▲
    by pezo1919 7y ago

    Thanks, dependent typed languages seem something to consider. Coq, Agda and Idris seem the most useful to me.
17. 227.▲
    by pezo1919 7y ago

    Happened to me as well. But you have to realize there are so many things are going on you might not be aware of eg. relations, background, even luck! Instead, try to exploit your recognition of their success and ask/learn about their s
18. 228.▲
    by pezo1919 7y ago

    Yes, thanks for mentioning. It has been on my radar as well, but as I have seen its less universal and more focused on the verification of concurrent processes - which is not the whole picture. But I will give a shot if there is nothing els
19. 229.▲
    Ask HN: Any logic based software dev tool which helps building code gradually?

    46 points by pezo1919 7y ago|59 comments
20. 230.▲
    by pezo1919 7y ago

    I thought myself the same. However if players do expose each others weaknesses fast enough it could lead to a chip gain which might be hard to overcome right? Just in theory ofc. :)
21. 231.▲
    by pezo1919 7y ago

    Idris lang seems awesome with the atom plugin. :) Did not use it yet but I hope it will get more attention. https://youtu.be/mOtKD7ml0NU
22. 232.▲
    by pezo1919 7y ago

    Happened the same to me. I felt really overwhelmed. The only solution I have is doing less. Furthermore I pick things which do require no/low maintainence/time/energy. Now I feel much more satisfied. The real question to me i
23. 233.▲
    by pezo1919 7y ago

    OOP for GUI is getting old fashioned I think. I am thinking about the class-based imperative frameworks in Java/C#. Just look at the functional components and hooks in react. They have just abandoned the class based syntax.
24. 234.▲
    by pezo1919 7y ago

    OOP is too vague, let's talk about related features which are clear. (To me the 2 most important are inheritance and mutability, I won't mention that "protected" magic at all.) Inheritance has too easy syntax to avoid &q
25. 235.▲
    by pezo1919 7y ago

    The only thing prevents me using prolog for proper tasks is not getting its IO: reading/writing files: csv, json. Any cool (video) tuts on it? I searched a lot but did not find anything "easy".
26. 236.▲
    by pezo1919 7y ago

    Let me add visual diffing constraint to the discussion, otherwise I need the same as OP. percy.io is a cool visual diffing tool I used and liked a lot. Last time when I used it it supported only chrome/firefox, but both mobile and desk
27. 237.▲
    by pezo1919 7y ago

    I am so happy I'm not alone with this. I'm totally with you. This is insane and REALLY scary... Now I'm wondering why to be surprised if bigcorps don't care about others future when the individuals don't really care
28. 238.▲
    by pezo1919 7y ago

    Except the unknown? This is the main reason for me as well. It's like a stranger coming to you with a pill: eat that. I'm sure I won't "just because" its unknown and there is a real chance it might go wrong. If I ca
29. 239.▲
    by pezo1919 7y ago

    Yeah. But dopamine injections seem quite random. Maybe I just want to roll a dice.
30. 240.▲
    by pezo1919 7y ago

    Yes same here. I easily get annoyed because it really is a rabbit hole. Why do I want anything? Because I want to be happy and successful, lol. Is it broad enough now?