Live data from Hacker News

Viewing profile — fenollp

fenollp

HN member
Joined
Mon, Nov 04, 2013, 11:54 AM UTC
HN karma
294
Public activity
180 items

About fenollp

Géo Trouvetou

Creator of https://fuzzymonkey.co

https://fenollp.github.io/

Maintainer of https://erldocs.com/

Traveling through https://github.com/voidstarHQ/voidstar

Look, I've merged Fuzzing and Property-Based testing: https://github.com/fenollp/coverage_targeted_property_testing#prop_03_coverage_targeted

Recent public activity

  1. comment
    Comment #42250583

    > The asteroid mass needed to support one astronaut for one year is between 160 000 metric tons and 5000 metric tons. Even these orders of magnitude are correct, this is still 14t-…

  2. comment
    Comment #41318401

    Yes! I'm on this route myself, trying various things out at https://github.com/fenollp/reMarkable-tools Handwriting (in and out) support is very important IMO. Also being able to d…

  3. comment
    Comment #40483347

    What do you mean by "adding rootless"?

  4. comment
    Comment #37596132

    From the article: > Nothing in this diatribe argues that encryption at rest is creating a net negative, outside of it being represented as a be-all and end-all security measure. Wh…

  5. comment
    Comment #37233149

    I love seeing work in this space! I made a collaborative whiteboard app for the reMarkable a while ago: https://github.com/fenollp/reMarkable-tools It is packaged in the homebrew T…

  6. story
  7. comment
    Comment #30809905

    https://github.com/moby/buildkit

  8. comment
    Comment #30408713

    ESC freezes it on Chrome on Linux.

  9. comment
    Comment #29806549

    We use K-Sortable Globally Unique IDs: https://github.com/segmentio/ksuid Some differences: 128 bit strongly generated payload (instead of 80 bits for ULIDs). Only 32 bit time prec…

  10. comment
    Comment #28233660

    > I needed something that would manage all the containers without me having to ever log into the machine. Not saying this would at all replace Harbormaster, but with DOCKER_HOST or…

  11. comment
    Comment #26676710

    Here's the video with timestamp https://youtu.be/kIFjDV_zHaQ?t=1168 You mention different goals (from GA) and a will to open source (RK). The parent user seems to have found a way …

  12. comment
    Comment #26507492

    Then you'd be interested by https://github.com/denzp/cargo-wharf And DOCKER_HOST, and BuildKit! And if any of this makes sense: https://fenollp.github.io/faster-rust-builds-docker_…

  13. comment
    Comment #24712799

    While this seems good to have a more efficient transport, I can't make sense of this > Since the subsequent IETF drafts 30 and 31 do not have compatibility-breaking changes, we cur…

  14. comment
    Comment #24491511

    If you want to upgrade your Bazel dependencies using pinned semver constraints and a lockfile I've made this [0] for you. It superseeds http_archive and falls back to git_repositor…

  15. story
  16. comment
    Comment #22348228

    From a quick look this looks like a subset of what https://repl.it/ provides (which is fine!). Any features / wild ideas you feel deserve more attention than a quick look?

  17. comment
    Comment #22298112

    Acoustics is such a high dimensional medium yet one humans can readily manipulate... This reminds me of [1] (2016), where they optimize a 3D series of conduits so that they produce…

  18. comment
    Comment #20190708

    Maybe going a bit off tangent here but really let's all agree that Dockerfile.s are just not good enough for building any kind of software through time. There's no lockfile system …

  19. comment
    Comment #19948670

    Were any thoughts given to a process dictionary implementation? One (maybe supervised) process per instance of the pd_ordset type. The process would only ever have one client so no…

  20. comment
    Comment #19553164

    Could we see a comparison with both `-ldflags '-s -w'` and `CGO_ENABLED=0`? I feel like this would solve: > the Go standard library is not well modularized; importing just one func…

  21. comment
    Comment #19123275

    Points for helping against monopolies. I have been following the project for some years and am very happy to see it grow and on top of a functional front end at that! Now where is …

  22. comment
    Comment #17905369

    IMO Erlang needs Elixir’s `|>` and `with` pipes. I voiced my opinion on the ML and kind of started working on it! I need https://bugs.erlang.org/plugins/servlet/mobile#issue/ERL-63…

  23. comment
    Comment #17772619

    > Some crypto funcs now randomly read an extra byte Can someone explain how this is a feature?

  24. comment
    Comment #17764268

    Soooo any way this can help run OS X in docker?

  25. comment
    Comment #17753422

    I wonder what this can mean for fuzzing, optimization, learning or any kind of task that has to do with tip-toeing into potentially high dimensional spaces?