HN Explorer

dgan

↗ HN profile [ 154 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Ask HN: Can't input "double quotes" in Gmail web?

    It's been a while now, I can't input double quotes "" into email's body? This only happens on my laptop (Framework/Fedora) with Firefox. The Android app is fine

    1 points 0
  2. Dinstinguishing between coroutines and fibers [pdf] (open-std.org)
    2 points 0
  3. The mice moving challenge (2017) (jobjo.github.io)
    2 points 0
  4. Electric recumbent bikes are 80 more efficient than EV (2018) (lowtechmagazine.com)
    56 points 141
  5. 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
  6. Stackoverflow Offline (kiwix.org)
    4 points 0
  7. France legalizes remote camera and microphone activation in smartphones (francetvinfo.fr)
    134 points 119
  8. 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
  9. I cant even say the word Lisp without cementing my reputation as a crazy lunatic (flownet.com)
    3 points 0

  10. Sabotage by UK

    1 points 0 pollopt

  11. Sabotage by Ukraine

    1 points 0 pollopt

  12. Sabotage by Poland

    1 points 0 pollopt

  13. This is not a sabotage, but an accident

    1 points 0 pollopt

  14. Sabotage by other European Country

    1 points 0 pollopt

  15. Sabotage by Russia, anti-Putin dissidents

    1 points 0 pollopt

  16. Sabotage by Latvia/Estonia/Lithuania

    1 points 0 pollopt

  17. Sabotage by Russia, on Putin's order

    4 points 0 pollopt

  18. Sabotage by USA

    2 points 0 pollopt
  19. 2 points 0 poll
  20. 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
  21. 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 54
  22. 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
  23. Red Hat to hire less experienced engineers (lunduke.substack.com)
    20 points 2
  24. On transgender athletes and performance advantages (sportsscientists.com)
    2 points 0