whitequark[cis] changed the topic of #amaranth-lang to: Amaranth hardware definition language · weekly meetings: Amaranth each Mon 1700 UTC, Amaranth SoC each Fri 1700 UTC · play https://amaranth-lang.org/play/ · code https://github.com/amaranth-lang · logs https://libera.catirclogs.org/amaranth-lang · Matrix #amaranth-lang:matrix.org
anubis has quit [Ping timeout: 248 seconds]
jn_ has joined #amaranth-lang
jn_ has joined #amaranth-lang
jn_ has quit [Changing host]
jn has quit [Ping timeout: 276 seconds]
_whitelogger has joined #amaranth-lang
_whitelogger has joined #amaranth-lang
anuejn_ has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
vup has quit [Quit: vup]
<_whitenotifier-8> [amaranth] Ivy-yu7 opened pull request #1619: Ivy - https://github.com/amaranth-lang/amaranth/pull/1619
anuejn has joined #amaranth-lang
vup has joined #amaranth-lang
<_whitenotifier-8> [amaranth] Ivy-yu7 closed pull request #1619: Ivy - https://github.com/amaranth-lang/amaranth/pull/1619
ydnatag[m] has quit [Quit: Idle timeout reached: 172800s]
<_whitenotifier-8> [rfcs] whitequark reviewed pull request #80 commit - https://github.com/amaranth-lang/rfcs/pull/80#discussion_r2219585043
<_whitenotifier-8> [rfcs] whitequark reviewed pull request #80 commit - https://github.com/amaranth-lang/rfcs/pull/80#discussion_r2219586005
<_whitenotifier-8> [rfcs] whitequark reviewed pull request #80 commit - https://github.com/amaranth-lang/rfcs/pull/80#discussion_r2219591695
<whitequark[cis]> today's meeting will happen, the agenda is RFC #80
<whitequark[cis]> it is time for our scheduled Monday meeting. who is attending?
zyp[m] has joined #amaranth-lang
<zyp[m]> I'm here
<whitequark[cis]> hm
<whitequark[cis]> nobody else?
AhmedCharles[m] has joined #amaranth-lang
<AhmedCharles[m]> I'm here, but I'm not sure I count? :P
<whitequark[cis]> Ahmed Charles: the meetings are open to anyone but in general i would like people with language design experience, or domain experience (ideally both) to participate
<whitequark[cis]> zyp: let's reschedule to the next monday; if there's still nobody at that time i think we can just merge it
<whitequark[cis]> and we'll probably have to rethink the strategy
<zyp[m]> fair enough
benny2366[m] has quit [Quit: Idle timeout reached: 172800s]
ALTracer[m] has joined #amaranth-lang
<ALTracer[m]> sounds like soft realtime multitasking
<whitequark[cis]> sorta? it is a concurrency mechanism, like any type of multitasking
<ALTracer[m]> Meh I don't have HDL or testbenches experience
catimor129[m] has quit [Quit: Idle timeout reached: 172800s]
<ALTracer[m]> only thing I can say that if it involves producer-consumer and nothing else, then coroutines might be good; otherwise, some uniprocessor task dispatcher (multiprocessor? GIL?)
<ALTracer[m]> yielding to each other every 8 megabytes of buffer or at 1000 hz, whatever is more applicable
<ALTracer[m]> I've read rfcs#80 again, is it intended to also test dual applets for glasgow like JTAG+UART?
<zyp[m]> the simulator API is already coroutine based and that's not what's up for discussion, the RFC is only about extending the API with equivalents to asyncio.TaskGroup and asyncio.gather()
<ALTracer[m]> do you need some quorum before merging? next monday could be better because opensauce 2025
<whitequark[cis]> we don't have formal requirements on a quorum because we don't have formal team membership
anubis has joined #amaranth-lang
anubis has quit [Remote host closed the connection]
Raito_Bezarius has quit [Ping timeout: 245 seconds]
indy has quit [Ping timeout: 276 seconds]
Raito_Bezarius has joined #amaranth-lang
indy has joined #amaranth-lang
anubis has joined #amaranth-lang
anubis has quit [Ping timeout: 248 seconds]
anubis has joined #amaranth-lang
Lord_Nightmare has quit [Quit: ZNC - http://znc.in]
Lord_Nightmare has joined #amaranth-lang
anubis has quit [Remote host closed the connection]
anubis has joined #amaranth-lang
Lord_Nightmare has quit [Quit: ZNC - http://znc.in]
Lord_Nightmare has joined #amaranth-lang