<d1b2>
<edbordin> proposal: a linter that complains unless you do that with every usage of Cat()
<DX-MON>
oh that's awesome Lofty!
<hell__>
lol
<d1b2>
<esden> @Lofty 😻
<Lofty>
Yeah, if you git blame it, and note that whitequark was just porting my patch
<Lofty>
Yeah, I was the one who added that :P
<awygle>
sorear: in discussing the possibility of needing to change the name of nmigen those are the two I came up with. Then Yosys HQ' launched and called their suite Tabby CAD
<awygle>
I felt very prescient
<d1b2>
<Darius> Tabby CAD? <groooooann> 😅
<awygle>
(to be clear those names were jokes and not serious suggestions)
<d1b2>
<Darius> still amusing though 🙂
<DX-MON>
I love the term `nyanmigen`
<DX-MON>
having my HDL meowing at me is cute I think
<awygle>
I kinda like it too in the abstract (fun to say) but it would be a bad choice for a number of reasons, not least of which being too close to nmigen
<d1b2>
<esden> nayangen?
<d1b2>
<esden> It feels easier to pronounce
<d1b2>
<esden> myangen?
<d1b2>
<esden> anyways, don't mind me 😛
<sorear>
you can censor it to nya******
<awygle>
Nah mean gen
revolve has quit [Ping timeout: 240 seconds]
<d1b2>
<DX-MON> I find it incredibly interesting, on a slightly different topic, how many people are pronouncing 'glasgow' as if the end hurts instead of a long o (long o is the intended pronounciation)
<agg>
the former like 'cow'?
revolve has joined #nmigen
<d1b2>
<DX-MON> yeah
<agg>
haha i hadn't heard that, my scottish partner would be extremely upset
<agg>
at least it wasn't named after edinburgh i guess :p
futarisIRCcloud has joined #nmigen
<d1b2>
<DX-MON> LOL
<d1b2>
<DX-MON> or.. heaven help us.. maralynbone..
<agg>
oh nooo
<awygle>
I know it's glas-go but I will probably keep pronouncing it glas-gow
<awygle>
just like I'll keep saying en mee gen
<d1b2>
<DX-MON> XD
<agg>
to be fair I still say 'k-eye-cad'
<agg>
the french can't take that 'i' sound from me >:|
<d1b2>
<dub_dub_11> I was surprised hearing that on your stream buit thinking about it it does make sense, jen as in generate
<d1b2>
<dub_dub_11> oh I say Keyecad yeah
<agg>
I guess I say en-m-eye-gen as well so at least i'm consistent
<awygle>
I say key-cad but I think that's mostly laziness
<agg>
i think key-cad is correct, as far as it goes?
<d1b2>
<dub_dub_11> enmeyegen sounds funny
<d1b2>
<dub_dub_11> but then me saying en-mig-en probably makes the least sense soo
<agg>
i called the predecessor 'my-gen' so 'en-my-gen'
<agg>
(but not sure that was correct for the 'my' part? given milkymist and the same french leaning... idk)
danderson has joined #nmigen
tannewt has quit [Read error: Connection reset by peer]
esden has quit [Ping timeout: 258 seconds]
daveshah has quit [Read error: Connection reset by peer]
yuriks has quit [Read error: Connection reset by peer]
ktemkin has quit [Read error: Connection reset by peer]
futarisIRCcloud has quit [Read error: Connection reset by peer]
tannewt has joined #nmigen
daveshah has joined #nmigen
yuriks has joined #nmigen
futarisIRCcloud has joined #nmigen
esden has joined #nmigen
ktemkin has joined #nmigen
electronic_eel has quit [Ping timeout: 240 seconds]
electronic_eel has joined #nmigen
Degi_ has joined #nmigen
Degi_ is now known as Degi
Degi has quit [Ping timeout: 264 seconds]
futarisIRCcloud has quit [Quit: Connection closed for inactivity]
Bertl_oO is now known as Bertl_zZ
PyroPeter_ has joined #nmigen
PyroPeter has quit [Ping timeout: 246 seconds]
PyroPeter_ is now known as PyroPeter
<_whitenotifier>
[nmigen-boards] cr1901 commented on pull request #136: TinyFPGA AX2: Set internal oscillator as default - https://git.io/JtwXC
_whitelogger has joined #nmigen
emeb_mac has quit [Quit: Leaving.]
pftbest has joined #nmigen
chipmuenk has joined #nmigen
lkcl has quit [Ping timeout: 246 seconds]
lkcl has joined #nmigen
daveshah has quit [Quit: Updating details, brb]
daveshah has joined #nmigen
revolve has quit [Read error: Connection reset by peer]
revolve has joined #nmigen
cr1901_modern has quit [Ping timeout: 240 seconds]
cr1901_modern has joined #nmigen
l0bara has quit []
chipmuenk has quit [Quit: chipmuenk]
futarisIRCcloud has joined #nmigen
Bertl_zZ is now known as Bertl
carlomaragno has quit [Read error: Connection reset by peer]
carlomaragno has joined #nmigen
rohitksingh has quit [Read error: Connection reset by peer]
lsneff has quit [Read error: Connection reset by peer]
davidlattimore has quit [Read error: Connection reset by peer]
lsneff has joined #nmigen
rohitksingh has joined #nmigen
davidlattimore has joined #nmigen
tannewt has quit [Read error: Connection reset by peer]
tannewt has joined #nmigen
chipmuenk has joined #nmigen
chipmuenk has quit [Client Quit]
tannewt has quit [Read error: Connection reset by peer]
futarisIRCcloud has quit [Ping timeout: 258 seconds]
lsneff has quit [Read error: Connection reset by peer]
davidlattimore has quit [Read error: Connection reset by peer]
daveshah has quit [Read error: Connection reset by peer]
carlomaragno has quit [Read error: Connection reset by peer]
tannewt has joined #nmigen
lsneff has joined #nmigen
daveshah has joined #nmigen
carlomaragno has joined #nmigen
futarisIRCcloud has joined #nmigen
rohitksingh has quit [Ping timeout: 260 seconds]
davidlattimore has joined #nmigen
rohitksingh has joined #nmigen
bvernoux has joined #nmigen
futarisIRCcloud has quit [Quit: Connection closed for inactivity]
daveshah has quit [Ping timeout: 256 seconds]
ktemkin has quit [Read error: Connection reset by peer]
daveshah has joined #nmigen
ktemkin has joined #nmigen
revolve has quit [Read error: Connection reset by peer]
revolve has joined #nmigen
<modwizcode>
I've been trying to figure out how nmigen is pronunce lol
<d1b2>
<DX-MON> best I've been able to figure out is as nmīgen (long i)
<tpw_rules>
now how do you say the g
<d1b2>
<Attie> j - like generator / jennifer
<d1b2>
<Attie> en-my-jen (is how i pronounce it at least...)
<d1b2>
<DX-MON> I took the view that it's a portmanteau of two words anyway, with n tacked on the front, so.. the breaks are n | mi | gen - pronounce as appropriate
<d1b2>
<DX-MON> I think Attie's pronunciation take is also very valid here as it's a different and possibly more correct way to treat the 'mi' sound
<hell__>
in-me-gen
<modwizcode>
n-meg-hen
<awygle>
Somebody authoritative told me it rhymed with "pigeon"
<d1b2>
<DX-MON> that makes me think it's 'mi' as in the Japanese short-i way which makes it closer to 'me' in pronounciation.
emeb_mac has joined #nmigen
mwk has quit [Ping timeout: 272 seconds]
mwk_ has joined #nmigen
mwk_ is now known as mwk
Bertl is now known as Bertl_oO
<_whitenotifier>
[nmigen] jfng opened pull request #591: lib.fifo: fix reset handling of asynchronous FIFOs. - https://git.io/Jtra5
<_whitenotifier>
[nmigen] codecov[bot] commented on pull request #591: lib.fifo: fix reset handling of asynchronous FIFOs. - https://git.io/Jtraj
<_whitenotifier>
[nmigen] codecov[bot] edited a comment on pull request #591: lib.fifo: fix reset handling of asynchronous FIFOs. - https://git.io/Jtraj
<_whitenotifier>
[nmigen] codecov[bot] edited a comment on pull request #591: lib.fifo: fix reset handling of asynchronous FIFOs. - https://git.io/Jtraj
<_whitenotifier>
[nmigen] codecov[bot] edited a comment on pull request #591: lib.fifo: fix reset handling of asynchronous FIFOs. - https://git.io/Jtraj
pftbest has quit [Quit: Leaving...]
<awygle>
I really gotta write that multiclock formal for the async FIFO...
<vup>
awygle: pretty sure you don't even need multiclock formal for that bug
<vup>
I think I hit that bug in formal even when using the same clock domain for read and write
Degi_ has joined #nmigen
Degi has quit [Ping timeout: 246 seconds]
Degi_ is now known as Degi
pftbest has joined #nmigen
pftbest has quit [Remote host closed the connection]
pftbest has joined #nmigen
revolve has quit [Read error: Connection reset by peer]
electronic_eel_ has joined #nmigen
electronic_eel has quit [Ping timeout: 256 seconds]
chipmuenk has joined #nmigen
chipmuenk has quit [Client Quit]
samlittlewood has quit [Ping timeout: 256 seconds]