Live data from Hacker News

Viewing profile — Dontrememberit

Dontrememberit

HN member
Joined
Sat, Dec 07, 2019, 1:46 AM UTC
HN karma
22
Public activity
16 items

About Dontrememberit

No profile information was provided.

Recent public activity

  1. comment
    Comment #22376048

    The idea of this library is exactly to not use HTML ids (or css paths etc), but use instructions you could give to an human browsing the web (enter the page, press tab, type this..…

  2. comment
    Comment #22361601

    Which VPS?

  3. comment
    Comment #22353758

    Can you tell what area is this? Is it a backend service or something like software that runs on consumer's PCs?

  4. comment
    Comment #22280703

    Just add an ENV var containing a JSON with this metadata. There's tons of env vars that get ignored by programs that don't care about each specifically.

  5. comment
    Comment #22280001

    Hey, I hope you figure a way to back up this stuff, since phones are prone to be lost or stolen (or is it backed up automatically by Google or Apple?)

  6. comment
    Comment #22253657

    There's no need to get defensive over this. One can do both.

  7. comment
    Comment #22253649

    No, but they might pirate (but I bet yify is even worse)

  8. comment
    Comment #22221080

    Dependent types prevent infinite loops at compile time because if you have nonterminating terms, your types are unsound as a logic (you can derive true and false properties altoget…

  9. comment
    Comment #22221058

    > I've been arguing lately that C++ should do something like this: Add a full-on theorem-prover to the language so that I can write my own safety rules specific to how my program w…

  10. comment
    Comment #22212974

    It appears to be offline.

  11. comment
    Comment #21961433

    Do you mean quality and quantity?

  12. comment
    Comment #21933245

    Your website layout breaks on mobile (width is too large)

  13. comment
    Comment #21882536

    What about optics?

  14. comment
    Comment #21879955

    Today an esp32 is more bang for your buck. 80mhz dual core, has wifi and bluetooth, and so on Edit: and you can program it with the arduino IDE

  15. comment
    Comment #21845153

    One practical application is DRM

  16. comment
    Comment #21727899

    If Android is "Kotlin-first", why is flutter development done in Dart?