<
Sofia>
muurkha: Was I a mis-ping or?
<
Sofia>
Few things I might have said to get the ping but whatever that may have been would have been a while ago now.
<
muurkha>
Sofia: oh, I thought it was the kind of thing you'd be interested in, and where you might know things I don't
<
Sofia>
Like, formal spec and optimized extraction tuned in this case for small size.
<
Sofia>
I mean I'm not quite following the context here.
<
Sofia>
That was just my closest guess for things I might have discussed, which could potentially result in smaller than SERV implementation.
<
Sofia>
I'm going out now. TTYL o/
tusko has quit [Remote host closed the connection]
tusko has joined #riscv
vagrantc has joined #riscv
rneese has joined #riscv
Ballerburg9005 has quit [Ping timeout: 272 seconds]
dobson has quit [K-Lined]
la_mettrie has quit [K-Lined]
teroshan9 has quit [K-Lined]
mcfrdy has quit [K-Lined]
mcfrdy has joined #riscv
la_mettrie has joined #riscv
vagrantc has quit [Quit: leaving]
dobson has joined #riscv
tusko has quit [Ping timeout: 258 seconds]
tusko has joined #riscv
jacklsw has joined #riscv
jacklsw has joined #riscv
jack_lsw has joined #riscv
jacklsw has quit [Ping timeout: 272 seconds]
Trifton has joined #riscv
peepsalot has quit [Ping timeout: 250 seconds]
gordonDrogon has quit [Ping timeout: 268 seconds]
jn has quit [Ping timeout: 250 seconds]
jn has joined #riscv
jn has joined #riscv
jn has quit [Changing host]
Starfoxxes has quit [Ping timeout: 260 seconds]
Starfoxxes has joined #riscv
peepsalot has joined #riscv
Trifton_ has joined #riscv
Trifton has quit [Ping timeout: 240 seconds]
elastic_dog has quit [Ping timeout: 250 seconds]
elastic_dog has joined #riscv
davidlt has joined #riscv
gordonDrogon has joined #riscv
freakazoid332 has joined #riscv
frkzoid has quit [Ping timeout: 272 seconds]
BootLayer has joined #riscv
raym has quit [Ping timeout: 260 seconds]
raym has joined #riscv
bauruine has joined #riscv
eroux has quit [Remote host closed the connection]
eroux has joined #riscv
prabhakarlad has joined #riscv
jack_lsw has quit [Ping timeout: 272 seconds]
jobol has joined #riscv
dor has joined #riscv
Andre_H has joined #riscv
BootLayer has quit [Ping timeout: 240 seconds]
BootLayer has joined #riscv
cronos has joined #riscv
JanC has quit [Remote host closed the connection]
JanC has joined #riscv
Andre_H has quit [Quit: Leaving.]
Ballerburg9005 has joined #riscv
Ballerburg9005 has quit [Ping timeout: 240 seconds]
fanta1 has joined #riscv
tusko has quit [Ping timeout: 258 seconds]
tusko has joined #riscv
Andre_H has joined #riscv
rneese has joined #riscv
frkzoid has joined #riscv
Andre_H has quit [Ping timeout: 240 seconds]
wingsorc has quit [Ping timeout: 246 seconds]
Ballerburg9005 has joined #riscv
freakazoid332 has quit [Ping timeout: 272 seconds]
Andre_H has joined #riscv
jmdaemon has quit [Ping timeout: 272 seconds]
Ballerburg9005 has quit [Ping timeout: 240 seconds]
Trifton_ has quit [Ping timeout: 240 seconds]
TMM_ has joined #riscv
loggervicky has joined #riscv
loggervicky has quit [Client Quit]
Ballerburg9005 has joined #riscv
loggervicky has joined #riscv
Ballerburg9005 has quit [Ping timeout: 250 seconds]
loggervicky has quit [Quit: loggervicky]
jacklsw has joined #riscv
haritz has joined #riscv
haritz has quit [Changing host]
haritz has joined #riscv
crabbedhaloablut has quit [Remote host closed the connection]
crabbedhaloablut has joined #riscv
BootLayer has quit [Quit: Leaving]
Gravis has quit [Ping timeout: 272 seconds]
vagrantc has joined #riscv
bauruine has quit [Remote host closed the connection]
wingsorc has joined #riscv
crabbedhaloablut has quit [Quit: No Ping reply in 180 seconds.]
crabbedhaloablut has joined #riscv
jobol has quit [Remote host closed the connection]
jobol has joined #riscv
BootLayer has joined #riscv
jedix has quit [Ping timeout: 260 seconds]
jedix has joined #riscv
hb9fxx has joined #riscv
nvmd has joined #riscv
GenTooMan has quit [Ping timeout: 272 seconds]
hb9fxx has quit [Quit: Client closed]
prabhakarlad has quit [Quit: Client closed]
fanta1 has quit [Quit: fanta1]
prabhakarlad has joined #riscv
Gravis has joined #riscv
crabbedhaloablut has quit [Remote host closed the connection]
crabbedhaloablut has joined #riscv
GenTooMan has joined #riscv
GenTooMan has quit [Ping timeout: 260 seconds]
skyfall2 has joined #riscv
DoubleJ4 has joined #riscv
Guest605_ has joined #riscv
justache has joined #riscv
Bluefoxicy has quit [Ping timeout: 252 seconds]
Bluefoxicy_ has joined #riscv
sjs is now known as Guest4901
Guest4901 has quit [Killed (zirconium.libera.chat (Nickname regained by services))]
ntwk has quit [Ping timeout: 252 seconds]
zv has quit [Ping timeout: 252 seconds]
Finde has quit [Ping timeout: 252 seconds]
ikke has quit [Ping timeout: 252 seconds]
nmeum has quit [Remote host closed the connection]
Xark_ has joined #riscv
Bluefoxicy_ is now known as Bluefoxicy
sjs has joined #riscv
nmeum has joined #riscv
s1b1 has quit [Ping timeout: 252 seconds]
geertu has quit [Ping timeout: 252 seconds]
kgz has quit [Ping timeout: 252 seconds]
merry has quit [Ping timeout: 252 seconds]
Xark has quit [Ping timeout: 252 seconds]
DoubleJ has quit [Ping timeout: 252 seconds]
ssb has quit [Ping timeout: 252 seconds]
mmind00 has quit [Ping timeout: 252 seconds]
DoubleJ4 is now known as DoubleJ
epony has quit [Ping timeout: 252 seconds]
koolazer has quit [Ping timeout: 252 seconds]
Guest6059 has quit [Ping timeout: 252 seconds]
skyfall has quit [Ping timeout: 252 seconds]
Maylay has quit [Ping timeout: 252 seconds]
justHaunted has quit [Ping timeout: 252 seconds]
Bigcheese has quit [Ping timeout: 252 seconds]
skyfall2 is now known as skyfall
Bigcheese has joined #riscv
merry has joined #riscv
mmind00 has joined #riscv
epony has joined #riscv
geertu has joined #riscv
zv has joined #riscv
koolazer has joined #riscv
Maylay has joined #riscv
ikke has joined #riscv
ssb has joined #riscv
jacklsw has quit [Quit: Back to the real life]
Ballerburg9005 has joined #riscv
Finde has joined #riscv
kgz has joined #riscv
ntwk has joined #riscv
s1b1 has joined #riscv
justache is now known as justHaunted
awita has joined #riscv
raym has quit [Ping timeout: 240 seconds]
raym has joined #riscv
ZipCPU has quit [Remote host closed the connection]
ZipCPU has joined #riscv
Andre_H has quit [Ping timeout: 272 seconds]
prabhakarlad has quit [Quit: Client closed]
prabhakarlad has joined #riscv
___nick___ has joined #riscv
___nick___ has quit [Client Quit]
crabbedhaloablut has quit [Ping timeout: 258 seconds]
___nick___ has joined #riscv
Andre_H has joined #riscv
crabbedhaloablut has joined #riscv
wingsorc has quit [Quit: Leaving]
GenTooMan has joined #riscv
awita has quit [Ping timeout: 255 seconds]
awita has joined #riscv
GenTooMan has quit [Remote host closed the connection]
GenTooMan has joined #riscv
pedja has joined #riscv
awita has quit [Ping timeout: 252 seconds]
prabhakarlad has quit [Ping timeout: 244 seconds]
nvmd has quit [Quit: WeeChat 3.7]
Ballerburg9005 has quit [Quit: leaving]
cwebber has quit [Remote host closed the connection]
wingsorc has joined #riscv
___nick___ has quit [Ping timeout: 276 seconds]
BootLayer has quit [Quit: Leaving]
davidlt has quit [Ping timeout: 240 seconds]
wingsorc has quit [Quit: Leaving]
qwer has quit [Ping timeout: 260 seconds]
qwer has joined #riscv
Trifton_ has joined #riscv
cwebber has joined #riscv
jjido has joined #riscv
Xark_ is now known as Xark
jjido has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
awita has joined #riscv
awita has quit [Remote host closed the connection]
wingsorc has joined #riscv
indy has joined #riscv
Trifton_ has quit [Ping timeout: 272 seconds]
epony has quit [Ping timeout: 252 seconds]
epony has joined #riscv
mmind00 has quit [Remote host closed the connection]
mmind00 has joined #riscv
cwebber has quit [Ping timeout: 272 seconds]
wingsorc has quit [Remote host closed the connection]
wingsorc has joined #riscv
Trifton_ has joined #riscv
Trifton2 has joined #riscv
Trifton has joined #riscv
Trifton_ has quit [Ping timeout: 250 seconds]
Trifton2 has quit [Ping timeout: 240 seconds]
prabhakarlad has joined #riscv
Trifton has quit [Ping timeout: 272 seconds]
aerkiaga has joined #riscv
jobol has quit [Quit: Leaving]
aerkiaga has quit [Remote host closed the connection]
Andre_H has quit [Quit: Leaving.]
jmdaemon has joined #riscv
epony has quit [Ping timeout: 252 seconds]
jljusten has quit [Ping timeout: 250 seconds]
jljusten has joined #riscv
pedja has quit [Quit: Leaving]