sb0 changed the topic of #m-labs to: https://m-labs.hk :: Mattermost https://chat.m-labs.hk :: Logs http://irclog.whitequark.org/m-labs
gruetzkopf has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
gruetzkopf has joined #m-labs
_whitelogger has joined #m-labs
proteusguy has quit [Ping timeout: 250 seconds]
_whitelogger has joined #m-labs
mumptai_ has joined #m-labs
mumptai has quit [Ping timeout: 252 seconds]
_whitelogger has joined #m-labs
_whitelogger has joined #m-labs
rjo has quit [Ping timeout: 250 seconds]
rjo has joined #m-labs
_whitelogger has joined #m-labs
_whitelogger has joined #m-labs
proteusguy has joined #m-labs
rohitksingh has joined #m-labs
attie has quit [Ping timeout: 244 seconds]
attie has joined #m-labs
rohitksingh has quit [Read error: Connection reset by peer]
rohitksingh has joined #m-labs
futarisIRCcloud has joined #m-labs
cedric has quit [Ping timeout: 250 seconds]
cedric has joined #m-labs
cedric has joined #m-labs
cedric has quit [Changing host]
_whitelogger has joined #m-labs
m4ssi has joined #m-labs
futarisIRCcloud has quit [Quit: Connection closed for inactivity]
futarisIRCcloud has joined #m-labs
rohitksingh has quit [Ping timeout: 268 seconds]
rohitksingh has joined #m-labs
_whitelogger has joined #m-labs
rohitksingh has quit [Ping timeout: 245 seconds]
_whitelogger has joined #m-labs
mtrbot-ml has quit [Remote host closed the connection]
mtrbot-ml has joined #m-labs
futarisIRCcloud has quit [Quit: Connection closed for inactivity]
<mtrbot-ml> [mattermost] <shuckc> shuckc joined the team.
<marble[m]> Is there a reason why transitive properties like "same diameter" and "vertical/horizontal" can only be applied to pairs of objects and not groups of objects in solvespace?
kuldeep has quit [Quit: Its never too late!]
<whitequark> no particular reason other than no one implementing it yet
kuldeep has joined #m-labs
<marble[m]> ok
rohitksingh has joined #m-labs
m4ssi has quit [Remote host closed the connection]
mumptai_ has quit [Quit: Verlassend]
cedric has quit [Ping timeout: 264 seconds]
<_whitenotifier-1> [nmigen] Wren6991 synchronize pull request #40: WIP: Expand and document lib.cdc - https://git.io/fhxap
cedric has joined #m-labs
cedric has quit [Changing host]
cedric has joined #m-labs
<_whitenotifier-1> [nmigen] Wren6991 commented on pull request #40: WIP: Expand and document lib.cdc - https://git.io/fjtqa
<_whitenotifier-1> [nmigen] Wren6991 closed issue #37: Please consider an optional reset on MultiReg - https://git.io/fhNKq
<_whitenotifier-1> [nmigen] Success. The Travis CI build passed - https://travis-ci.org/m-labs/nmigen/builds/516958616?utm_source=github_status&utm_medium=notification
futarisIRCcloud has joined #m-labs