05:13 <GitHub189> [artiq] sbourdeauducq pushed 1 new commit to master: http://git.io/fXo-qw

05:13 <GitHub189> artiq/master c938e3f Sebastien Bourdeauducq: language/context: remove spurious argument

10:56 <GitHub41> [artiq] sbourdeauducq pushed 1 new commit to master: http://git.io/SllFGA

10:56 <GitHub41> artiq/master 891c0d1 Sebastien Bourdeauducq: refactor device/parameter management, immediate parameter updates, start introducing results

19:32 <Bertl> greetings! I was looking for the mixxeo board design files (primarily the schematics) on github, but not very successfully (probably looking in the wrong folders). Could you point me to them please?

19:41 <rjo> Bertl: http://www.ohwr.org/projects/video-fpga-hdmi-dvi-ethernet/repository

19:44 <rjo> sb0: could we move the default tcp ports? 8888 is a very busy port. Among others, IPython wants to live around there. I like 3250 etc (325 Broadway ;)

19:47 <Bertl> rjo: thanks a bunch!

20:00 <rjo> sb0: https://github.com/nist-ionstorage/artiq/compare/m-labs:master...master

20:21 <hozer> what tool was the mixxeo layed out with?

20:22 <hozer> ah, dammit altium.

20:23 <hozer> I'd rather hire someone to work on converting this stuff to Kicad than pay an altium license

21:08 <felix_> hozer: https://github.com/thesourcerer8/altium2kicad/ (haven't tried that, but that should be the program bunnie and xobs mentioned at their talk at 31c3)

21:09 <hozer> okay, let me refine my desire ;)

21:09 <hozer> I want to hire someone to fabricate a working Mixxeo after running it through altium2kicad

21:11 <hozer> cause what I want to work on is replacing one of the HDMI connectors with an Infiniband CX4 connector

21:12 <hozer> and there seems to be some potential for having Migen talk to Kicad to make it easier to route things if the two softwares can negotiate swapping pin mappings or placements in the fpga