Vosporos

12 ms·

1. 121.▲
   by Vosporos 4y ago

   Full support to the truckers!
2. 122.▲
   by Vosporos 4y ago

   On the contrary, very much needed.
3. 123.▲
   by Vosporos 4y ago

   How do you reform this?
4. 124.▲
   by Vosporos 4y ago

   Exact same reason I take HN breaks
5. 125.▲
   by Vosporos 4y ago

   The Devil.
6. 126.▲
   by Vosporos 4y ago

   Hi, Servant user here: Haskell's type system is sound, which means that you can have type safety. TypeScript's type system is unsound, so every guarantee that you may think you have wrt. type safety go out of the window at the mom
7. 127.▲
   by Vosporos 4y ago

   you can't have type-safety with an unsound type system, silly.
8. 128.▲
   by Vosporos 4y ago

   Fantastic to see that you haven't read nor understood what this headline is about, and constructed a whole paragraph based on your misconception of one (1) headline on Hacker News. Do better.
9. 129.▲
   by Vosporos 4y ago

   At work we modelled our role-based access control logic in prolog. Once you realise that your authorization is logic programming, you gain access to better tools, more formal ways to think about it, and a treasure trove of literature. :)
10. 130.▲
    by Vosporos 5y ago

    To think that companies exist out of the political sphere is at best naive, at worst utterly delusional.
11. 131.▲
    by Vosporos 5y ago

    Finally some good news
12. 132.▲
    by Vosporos 5y ago

    Fired for using a keep-alive message???
13. 133.▲
    by Vosporos 5y ago

    *making it illegal to use Google Analytics because GA moves identifying data to the US. Tracking with an account doesn't solve this. Let's not be reductive.
14. 134.▲
    by Vosporos 5y ago

    nul n'est censé ignorer la loi.
15. 135.▲
    by Vosporos 5y ago

    Finally some good news
16. 136.▲
    by Vosporos 5y ago

    Not necessarily, Switzerland & Finland also have high gun ownership rates. What needs to be done a real education in terms of firearm handling, more restrictions when it comes to ammunition and get out of the culture that firearms are f
17. 137.▲
    by Vosporos 5y ago

    Yeah that's more likely
18. 138.▲
    by Vosporos 5y ago

    Je suis française et cet humour était vraiment merdique
19. 139.▲
    by Vosporos 5y ago

    Well I was consulting my RSS feeds this morning so I guess the feeling isn't shared
20. 140.▲
    by Vosporos 5y ago

    Yep, we use Shake at my work. :)
21. 141.▲
    by Vosporos 5y ago

    Yep, well-preserved vellum
22. 142.▲
    by Vosporos 5y ago

    Nobody is surprised. :/
23. 143.▲
    by Vosporos 5y ago

    I've seen adverts more subtle than this one
24. 144.▲
    by Vosporos 5y ago

    hahahaha
25. 145.▲
    Unresolved challenges of scoped effects, and what that means for the Eff system(twitch.tv)

    2 points by Vosporos 5y ago|0 comments
26. 146.▲
    by Vosporos 5y ago

    Then you should read the article ;)
27. 147.▲
    by Vosporos 5y ago

    The head of state is not the head of government, but you may be interested in this recent judgement to overturn a ban of some sexual acts in porn https://uk.news.yahoo.com/violent-porn-including-bdsm-no-lon...
28. 148.▲
    Cultivating an Engineering Dialect (George Wilson, YOW Lambda Jam 2021)(youtube.com)

    2 points by Vosporos 5y ago|0 comments
29. 149.▲
    by Vosporos 5y ago

    Selda, Blaze & WAI are far from being esoteric, don't mistake the boundaries of your knowledge for an objective line in the sand between what is esoteric and what is not.
30. 150.▲
    by Vosporos 5y ago

    What does this bring over validation-selective?