sorear changed the topic of #riscv to: RISC-V instruction set architecture | https://riscv.org | Logs: https://libera.irclog.whitequark.org/riscv
stikonas has quit [Remote host closed the connection]
mahmutov has quit [Ping timeout: 252 seconds]
freakazoid12345 has joined #riscv
freakazoid343 has quit [Ping timeout: 252 seconds]
jacklsw has joined #riscv
___nick___ has joined #riscv
GenTooMan has quit [Ping timeout: 260 seconds]
GenTooMan has joined #riscv
alexfanqi has quit [Quit: Changing server]
alexfanqi has joined #riscv
frost has joined #riscv
compscipunk has quit [Quit: WeeChat 3.2.1]
BOKALDO has joined #riscv
hendursaga has joined #riscv
vagrantc has quit [Quit: leaving]
riff-IRC has quit [Remote host closed the connection]
riff-IRC has joined #riscv
jack_lsw has joined #riscv
Doraemon has joined #riscv
jacklsw has quit [Ping timeout: 265 seconds]
NeoCron has quit [Ping timeout: 252 seconds]
jacklsw has joined #riscv
jack_lsw has quit [Ping timeout: 265 seconds]
winterflaw has joined #riscv
BOKALDO has quit [Quit: Leaving]
mahmutov has joined #riscv
jamtorus is now known as jellydonut
Doraemon has quit [Ping timeout: 252 seconds]
hendursa1 has joined #riscv
BOKALDO has joined #riscv
hendursaga has quit [Ping timeout: 276 seconds]
dlan has quit [Remote host closed the connection]
gordonDrogon has quit [Ping timeout: 252 seconds]
gordonDrogon has joined #riscv
dlan has joined #riscv
PyroPeter has joined #riscv
BOKALDO has quit [Quit: Leaving]
wgrant has quit [Quit: WeeChat 2.8]
wgrant has joined #riscv
mahmutov has quit [Ping timeout: 252 seconds]
BOKALDO has joined #riscv
jjido has joined #riscv
mahmutov has joined #riscv
hendursa1 has quit [Quit: hendursa1]
hendursaga has joined #riscv
elastic_dog has quit [Ping timeout: 260 seconds]
jjido has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
elastic_dog has joined #riscv
<hendursaga> How's the progress on Lisps on RISC-V going?
<hendursaga> I remember spending some time six months or so ago trying to compile SBCL on RISC-V Debian & Fedora but not succeeding, sadly
TMM_ has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
TMM_ has joined #riscv
jwillikers has joined #riscv
frost has quit [Quit: Connection closed]
pecastro has joined #riscv
jjido has joined #riscv
pierce_ has joined #riscv
pierce_ has quit [Client Quit]
GenTooMan has quit [Ping timeout: 260 seconds]
GenTooMan has joined #riscv
freakazoid12345 has quit [Ping timeout: 245 seconds]
freakazoid333 has joined #riscv
freakazoid333 has quit [Read error: Connection reset by peer]
freakazoid333 has joined #riscv
freakazoid333 has quit [Remote host closed the connection]
freakazoid333 has joined #riscv
freakazoid333 has quit [Remote host closed the connection]
freakazoid333 has joined #riscv
freakazoid333 has quit [Read error: Connection reset by peer]
freakazoid333 has joined #riscv
freakazoid333 has quit [Read error: Connection reset by peer]
freakazoid333 has joined #riscv
freakazoid333 has quit [Read error: Connection reset by peer]
freakazoid333 has joined #riscv
freakazoid333 has quit [Read error: Connection reset by peer]
freakazoid333 has joined #riscv
mahmutov has quit [Ping timeout: 252 seconds]
freakazoid333 has quit [Remote host closed the connection]
jjido has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
jjido has joined #riscv
mahmutov has joined #riscv
jacklsw has quit [Quit: Back to the real life]
jellydonut has quit [Quit: jellydonut]
jellydonut has joined #riscv
GenTooMan has quit [Ping timeout: 252 seconds]
<xentrac> hendursaga: I'm guessing Clisp works fine?
GenTooMan has joined #riscv
cousteau has joined #riscv
vagrantc has joined #riscv
<hendursaga> xentrac: I tried bootstrapping SBCL but it didn't work as expected, I can't remember if I tried Clisp
cousteau has quit [Quit: ♫ I can't forget the day I shot that network down ♫]
<xentrac> SBCL/CMUCL is historically kind of a bear to port to new platforms, often requiring bugfixes to the OS kernel
<xentrac> Clisp is much more forgiving, though that matters less now than it did in 01987
jjido has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
BOKALDO has quit [Quit: Leaving]
<xentrac> just because there aren't as many new platforms these days
<dh`> my recollection was that sbcl mostly required fixes to itself
<xentrac> heh, probably true too ;)
<xentrac> but it's not uncommon that there's some kind of bug in sigsegv handling in a kernel that no other programs care about
<seds> it is correct to say the RV32I base ISA has four instruction formats (R/S/I/U) and two variants (B/J) based on the handling of immediates?
<seds> I know some literatures mention six base format (such as the atlas), so I am a bit confused right now
<dh`> it's not the only interpreter with a generational garbage collector
<sorear> seds: formats/variants are didactic devices, not real parts of the ISA, so it's valid to explain it in different ways
<seds> sorear: got it, thanks
cousteau has joined #riscv
jimbzy has joined #riscv
jimbzy has joined #riscv
jimbzy has quit [Changing host]
<xentrac> dh`: sure, lots of things use generational gc, but most of them don't use the virtual memory hardware for their write barriers
<xentrac> (CLISP, as it happens, does!)
cousteau has quit [Quit: Dinner time!]
<dh`> I think a fair number do
<sorear> .oO( guarded storage facility )
mahmutov has quit [Ping timeout: 265 seconds]
jwillikers has quit [Remote host closed the connection]
jimwilson has quit [Quit: Leaving]
GenTooMan has quit [Ping timeout: 260 seconds]
GenTooMan has joined #riscv
foton has quit [Quit: %Bye, bye, ...%]
foton has joined #riscv
___nick___ has quit [Ping timeout: 260 seconds]
NeoCron has joined #riscv
GenTooMan has quit [Ping timeout: 245 seconds]
NeoCron has quit [Remote host closed the connection]
pecastro has quit [Ping timeout: 265 seconds]
GenTooMan has joined #riscv
geertu has quit [Ping timeout: 260 seconds]
GenTooMan has quit [Ping timeout: 260 seconds]
winterflaw has quit [Ping timeout: 276 seconds]
geertu has joined #riscv