HN Explorer

dgan

↗ HN profile [ 3819 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Dinstinguishing between coroutines and fibers [pdf] (open-std.org)
    2 points 0
  2. The mice moving challenge (2017) (jobjo.github.io)
    2 points 0
  3. Electric recumbent bikes are 80 more efficient than EV (2018) (lowtechmagazine.com)
    56 points 145
  4. Ask HN: Best value computer science book?

    I have a book gift card for a 100€, on Amazon. Looking for inspiration? Circle of interest : Programming languages, [Symbolic] Logic, algorithms in general sense Circle of non-interest : AI & machine learning, video…

    60 points 49
  5. Stackoverflow Offline (kiwix.org)
    4 points 0
  6. France legalizes remote camera and microphone activation in smartphones (francetvinfo.fr)
    134 points 121
  7. Ask HN: Any sensible usage of TLA+/Alloy for mere mortals?

    Not everyone is working on highly concurrent systems with tens of thousands users simultaneously... I am a back-end web developer, and am totally sold to ideas using formal methods to ensure better quality for delivered…

    3 points 1
  8. I cant even say the word Lisp without cementing my reputation as a crazy lunatic (flownet.com)
    3 points 0

  9. Sabotage by UK

    1 points 0 pollopt

  10. Sabotage by Ukraine

    1 points 0 pollopt

  11. Sabotage by Poland

    1 points 0 pollopt

  12. This is not a sabotage, but an accident

    1 points 0 pollopt

  13. Sabotage by other European Country

    1 points 0 pollopt

  14. Sabotage by Russia, anti-Putin dissidents

    1 points 0 pollopt

  15. Sabotage by Latvia/Estonia/Lithuania

    1 points 0 pollopt

  16. Sabotage by Russia, on Putin's order

    4 points 0 pollopt

  17. Sabotage by USA

    2 points 0 pollopt
  18. 2 points 0 poll
  19. Ask HN: Any reason why TUI aren't more used as internal tools?

    I see no point in developing Web interfaces for internal company needs. TUI are cross platform, are obviously interactive, update-able in real time if needed, just like a web application. I am proposing this because in…

    4 points 4
  20. I feel dumb(er) when typing, and smart(er) when writing

    I have noticed many times, writing down a problem and work on it on a paper is much more productive than staring at my screen and/or jumping right to code. Last time it happened, I spent a day on a Coq exercise, when I…

    100 points 56
  21. I feel dumb(er) when typing, and smart(er) when writing

    The number of times I was unable to find a solution to a problem when simply st Is this something common? Has this been (dis)proved scientifically?

    2 points 1
  22. Red Hat to hire less experienced engineers (lunduke.substack.com)
    20 points 2
  23. On transgender athletes and performance advantages (sportsscientists.com)
    2 points 0