Live data from Hacker News

Viewing profile — andreabedini

andreabedini

HN member
Joined
Tue, Oct 29, 2013, 11:07 PM UTC
HN karma
36
Public activity
15 items

About andreabedini

No profile information was provided.

Recent public activity

  1. comment
    Comment #25158662

    > entering their Google credentials outside a browser Google doesn’t fully trust FIFY As the user, I fully trust my Epiphany browser.

  2. comment
    Comment #20714248

    Yes, that’s the whole point of dependent types: types can depend on (runtime) values.

  3. comment
    Comment #17470029

    I found nix-pills more useful than the manual: https://nixos.org/nixos/nix-pills/index.html

  4. comment
    Comment #17384585

    That’s exactly what we are using jsonnet for at my company. Introducing jsonnet in our CloudFormation work has given great results with almost zero up front cost (compare with othe…

  5. comment
    Comment #10700746

    No, I don't use key pass-phrases.

  6. comment
    Comment #10695339

    Totally possible, I do this. Also I have a different key per host (using %h in IdentityFile)

  7. comment
    Comment #10551807

    I couldn't connect

  8. comment
    Comment #10197401

    Also money is easier to store than favours

  9. comment
    Comment #9802699

    Prof Graham Farr of Monash University told Tutte's personal story at my show once. http://thelaborastory.com/stories/william-thomas-tutte/

  10. comment
    Comment #9696663

    Wouldn't that give you big selection bias?

  11. comment
    Comment #9616013

    I'm curious on how you use ipcluster on top of pbs

  12. comment
    Comment #8605613

    Better still you can fork the PR and open a PR to the PR :)

  13. comment
    Comment #8564182

    Make a rust version and you are my hero

  14. comment
    Comment #7802201

    (dormant) PyTables developer here, we do have a requirements.txt file but I understand our setup.py needs an update. Please open an issue on github and tell us about your experienc…

  15. comment
    Comment #7802190

    It's Italian for "to write", the original latin is scribere.