Block or report user

Report or block bonds

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse



Popular repositories

  1. natural

    a ruby framework for answering 'naturally' worded questions

    Ruby 9 4

  2. winot

    another tool for staying connected to your wireless network(s) all the time on an OpenBSD laptop

    Haskell 5

  3. openbsd_on_a_macbookair51

    a place for me to keep track of what's working, what's not, and any workarounds I'm using


  4. illbeback

    an Apple Time Machine like backup script, based on rsync, written in Python


  5. hnweekly

    Hacker News weekly summary via RSS



    game, game. repeat.


29 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri

Contribution activity

June - August 2018

bonds has no activity yet for this period.

May 2018

Created a pull request in idris-lang/Idris-dev that received 1 comment

Created an issue in idris-lang/Idris-dev that received 4 comments

stack install doesn't install libraries

Installing idris via stack doesn't install its libraries, it just installs the binary. Steps to Reproduce # mkdir /usr/local/tmp # echo "resolver:…


Seeing something unexpected? Take a look at the GitHub profile guide.