HN Explorer

rs86

↗ HN profile [ 83.8 ms ] full profile
Karma
186
Created
February 2, 2017 (9y ago)
Submissions
0
  1. Ask HN: Python Weekly Newsletters?

    Hi there HN, do you recommend any Weekly python Newsletter?

    1 points 2
  2. Philip Wadler talk on why people use FP (youtu.be)
    1 points 0
  3. A very simple example of verification in Idris (gist.github.com)
    1 points 0
  4. Lessons learned building a toy compiler (2017) (jaseemabid.github.io)
    1 points 0
  5. Compiling Lambda Calculus (t3x.org)
    3 points 1
  6. Ask HN: Are you using generative testing?

    Do you use a combination of fuzzing and property based testing? What tools? In what languages

    1 points 0
  7. Ask HN: Android app to read source code on GitHub?

    Hi, most apps I tried are general and slow. Is there a better way to read code in an Android phone?

    2 points 3
  8. Valuing ICOs from fundamentals – ideas?

    Hi, I am trying to come up with a theoretical justification for valuing ICOs, specially utility tokens - one that ultimately ends on cashflows. Any ideas?

    3 points 4
  9. Ask HN: Would you pay for an ad free Facebook account?

    Would you? Maybe free services financed by by products (like ads) are not so cool...

    4 points 13
  10. Ask HN: How to get acquainted with an open source​ code base?

    I am a computer scientist with solid theory but not much practice. How could I for example contribute to Neovim?

    3 points 1
  11. Ask HN: How low can Facebook stock go?

    Does anyone see this anti-facebook wave putting the company into oblivion and wiping most of its value?

    5 points 10
  12. Ask HN: Which language is best?

    Is it Haskell?

    1 points 0
  13. Ask HN: Are programmers afraid of new syntax?

    I see many developers and companies adopt Elixir because "it looks like Ruby" but the two languages could not be more different. Why do programmers car so much about syntax?

    9 points 17
  14. Ask HN: Vulnerabilities in ML frameworks

    Does anyone know of any vulnerabilities in machine learning frameworks, specially buffer overflows and arbitrary execution?

    9 points 7
  15. Ask HN: Best way to learn emacs?

    I am a vim user but it looks to me like emacs can do pretty interesting things with modes. What is the best way to learn it?

    6 points 6
  16. Why are types so cool, Part I: Result types (blue-dinosaur.github.io)
    3 points 0
  17. Ask HN: Back end analogue for Elm?

    Hi, I am finding Elm to be an amazing technology for frontend​ development: I like the functional paradigm, type-checking, algebraic datatypes, but more than that, I love the reactive architecture. The functional…

    3 points 0
  18. Set (en.wikipedia.org)
    4 points 0
  19. A quick look at self-information (medium.com)
    1 points 0
  20. Why bind has signature a → m b (medium.com)
    1 points 0