<_whitenotifier-3>
[nmigen] andresdemski commented on issue #151: Question: How to change FIFO clock dommains? - https://git.io/fjXaB
proteusguy has quit [Ping timeout: 258 seconds]
<_whitenotifier-3>
[nmigen] sbourdeauducq commented on issue #148: Operator like .part() that returns a non-overlapping chunk of signal - https://git.io/fjXVv
futarisIRCcloud has joined #m-labs
<mtrbot-ml>
[mattermost] <sb10q> Anyone has particular 19in rack fan trays to recommend?
<mtrbot-ml>
[mattermost] <sb10q> For cooling kasli crates
<mtrbot-ml>
[mattermost] <sb10q> Joe listed one on the wiki but it's 120V only
proteusguy has joined #m-labs
_whitelogger has joined #m-labs
awygle has quit [*.net *.split]
proteusguy has quit [*.net *.split]
Gurty has quit [*.net *.split]
tpw_rules has quit [*.net *.split]
lynxis has quit [*.net *.split]
kuldeep has quit [*.net *.split]
miek has quit [*.net *.split]
reportingsjr has quit [*.net *.split]
guan has quit [*.net *.split]
attie has quit [*.net *.split]
attie has joined #m-labs
kuldeep has joined #m-labs
miek has joined #m-labs
lynxis has joined #m-labs
reportingsjr has joined #m-labs
Gurty has joined #m-labs
proteusguy has joined #m-labs
tpw_rules has joined #m-labs
guan has joined #m-labs
awygle has joined #m-labs
acathla has quit [Quit: segfault]
acathla has joined #m-labs
acathla has quit [Changing host]
acathla has joined #m-labs
proteusguy has quit [Remote host closed the connection]
Gurty has quit [*.net *.split]
tpw_rules has quit [*.net *.split]
lynxis has quit [*.net *.split]
miek has quit [*.net *.split]
kuldeep has quit [*.net *.split]
reportingsjr has quit [*.net *.split]
guan has quit [*.net *.split]
awygle has quit [*.net *.split]
tpw_rules has joined #m-labs
awygle has joined #m-labs
Gurty has joined #m-labs
reportingsjr has joined #m-labs
Gurty has quit [Changing host]
Gurty has joined #m-labs
guan has joined #m-labs
lynxis has joined #m-labs
kuldeep has joined #m-labs
miek has joined #m-labs
<mtrbot-ml>
[mattermost] <sb10q> @hartytp the thermostat seems to have a power supply problem. all LEDs are off with both PoE and the 12V barrel connector
<mtrbot-ml>
[mattermost] <sb10q> the board also doesn't fit in its enclosure, but you probably noticed
bluebugs has quit [Ping timeout: 258 seconds]
cedric has joined #m-labs
cedric has quit [Changing host]
cedric has joined #m-labs
<mtrbot-ml>
[mattermost] <hartytp> Less are #40
<mtrbot-ml>
[mattermost] <hartytp> Leds
<mtrbot-ml>
[mattermost] <hartytp> I.e. we forgot to put any on in v1
<mtrbot-ml>
[mattermost] <hartytp> Mechanics is known (you can rotate a capacitor onto its side and then squeeze it in if you want)
<mtrbot-ml>
[mattermost] <hartytp> Can’t remember if fixed yet
<mtrbot-ml>
[mattermost] <hartytp> We use the Schroff dc fans. Expensive but nice. We also have some cheaper ones from amazon. Basically fine but noisy and not great airflow uniformity
<mtrbot-ml>
[mattermost] <sb10q> Well the Ethernet LEDs were also off, but maybe the MCU is just not programmed
sb0 has joined #m-labs
<sb0>
whitequark: your irclog.whitequark.org ssl certificate expired
rohitksingh has joined #m-labs
lkcl has joined #m-labs
<mtrbot-ml>
[mattermost] <hartytp> Yes iirc that board has never been flashed
<_whitenotifier-3>
[nmigen] mithro commented on issue #98: Generated Verilog should be more readable - https://git.io/fjX1G
remote_user__ has quit [Ping timeout: 245 seconds]
remote_user__ has joined #m-labs
<whitequark>
sb0: yes, I fucked up some certbot options. fixed now
rohitksingh has quit [Ping timeout: 268 seconds]
<whitequark>
sb0: btw you should not be using #726 on real designs, it definitely generates broken logic in some edge cases
<whitequark>
verilog arithmetic rules are a major nightmare and given what i know now i think a lot of verilog omigen produced worked mostly by accident
<whitequark>
and because few if any people used signed signals
<whitequark>
migen#165 for example
<rjo>
i use signed signals extensively
<whitequark>
hm, interesting. it's possible that omigen is more defensive about signed signals than i give it credit for.
<whitequark>
bottom line is, i've been adjusting yosys' write_verilog to use less intermediate wires, and the verilog fuzzer is finding a lot of really insidious edge cases
<rjo>
yes. matches my experience in practice. intermediate wires is the most efficient way to avoid problems with signed signals.
<whitequark>
i do know how i should adjust that pass, but it requires some serious reengineering to get it always right, so i won't do it right now
mumptai has joined #m-labs
mumptai has quit [Quit: Verlassend]
mumptai has joined #m-labs
_whitelogger has joined #m-labs
mauz555 has joined #m-labs
mauz555 has quit []
mumptai has quit [Remote host closed the connection]