Live data from Hacker News

Viewing profile — vzaliva

vzaliva

HN member
Joined
Sat, Jun 27, 2015, 3:37 PM UTC
HN karma
1,778
Public activity
566 items

About vzaliva

Technologist. Researcher in programming languages and formal verification. https://zaliva.org/

Recent public activity

  1. comment
    Comment #49224390

    I do not know any EU-only, but ProtonMail is in Switzerland.

  2. comment
    Comment #49027445

    The intention is good. I like the reviews idea. Since the author has hit the limitations of ATProto, could ActivityPub be an answer?

  3. comment
    Comment #49008400

    The missing integration point is reading progress. The killer feature (for me) of Kindle is that I can have several devices and continue reading on any of them with my position in …

  4. comment
    Comment #48795532

    This is a good example of a poor web site design. If you, like me, do not know what Phosh is and go to their website, it will tell you not much beyond "A user interface for your mo…

  5. comment
    Comment #48725718

    Comcast + Netflix. My personal experience few years ago: switched to 8.8.8.8 DNS at home and my Netflix streaming become extrelemly slow.

  6. comment
    Comment #48703780

    unfortunately many DNS resolvers are integrated with CDNs. I do want privacy of an independent non-tracking DNS but I also want my video streaming work fast. :(

  7. comment
    Comment #48653363

    what languages it support? They only mention "language-agnostic".

  8. comment
  9. comment
  10. comment
    Comment #48248661

    Kudos for beatiful formulae rendering.

  11. comment
    Comment #48117205

    Reading reports of people objecting datacenters build in their states I wonder how Florida residents feel about the Spaceport ? It will certainly be more distruptive than datacente…

  12. comment
    Comment #48101519

    We may be entering the age of "disposable software" (some people politely call it "on-demand software"). Until recently, coding was a highly specialised skill and was relatively ex…

  13. comment
    Comment #48054272

    There are formally compilers (e.g. CompCert https://en.wikipedia.org/wiki/CompCert ) which are formally proven correct. I think eventually all production compilers will be formally…

  14. comment
    Comment #47992844

    He should publish a "bring Tesla to small court" kit, with all documents other people in the similar situation can use to sue them.

  15. comment
    Comment #47987359

    It should be a benefit of TSA Precheck program that TSA Pre members would not need an extra step of applying for Gate Explorer.

  16. comment
    Comment #47980725

    I do not use KDE and wanted just command-line version of it without any Qt dependencies, so I've burned some tokens and produced just that: https://github.com/vzaliva/whatcable-lin…

  17. comment
    Comment #47838751

    I think it is fantastic to have more compiler implementations. It was probably also a fun project to code. What I find lacking in web pages is a motivation. What makes it different…

  18. comment
    Comment #47825127

    Hardware-supported capability-based architectures like CHERI are great. I am lilttle skeptical about adpotion prospects of software-only implementation of fat pointers for language…

  19. comment
    Comment #47811514

    This is yet another variant of the "fat pointers" technique, which has been implemented and rejected many times due to either insufficient security guarantees, inability to cross n…

  20. comment
    Comment #47743773

    > Russians are essentially the only truly literate people left. The vast majority of Russians read regularly, more than anywhere else in the world. Not really. According to Nielsen…

  21. comment
    Comment #47696477

    What would it show? If he logged in to Santoshi's email account and sent an email to his personal account, the metadata would be in order, and we would learn little from it.

  22. comment
    Comment #47518801

    I've installed from snap store

  23. comment
    Comment #47504184

    So, I started it and was doing something but there is no obvious way to exit. I tried Q,q, Ecc, :q. I tried `man lnav` in separate terminal - but no man page is provided. `ps` show…

  24. comment
    Comment #47478571

    I've tried to type in non-ASCII (Ukrainian) and preview shows it correctly. Does it guarantee it would print it properly?

  25. comment
    Comment #47462414

    There's a non-obvious fact that people with good sight might not realise. You need decent eyesight (or spectacles) to actually use smartwatch functions beyond just telling the time…