sorear changed the topic of #riscv to: RISC-V instruction set architecture | https://riscv.org | Logs: https://libera.irclog.whitequark.org/riscv
ivii has quit [Remote host closed the connection]
pecastro has joined #riscv
riff-IRC has quit [Ping timeout: 252 seconds]
cousteau has quit [Quit: ♫ I can't forget the day I shot that network down ♫]
riff_IRC has joined #riscv
joev has quit [Ping timeout: 256 seconds]
Starfoxxes has quit [Ping timeout: 248 seconds]
winterflaw has quit [Ping timeout: 240 seconds]
joev has joined #riscv
Starfoxxes has joined #riscv
peeps[zen] has joined #riscv
peepsalot has quit [Ping timeout: 260 seconds]
freakazoid343 has joined #riscv
jacklsw has joined #riscv
freakazoid12345 has quit [Ping timeout: 240 seconds]
seninha has quit [Ping timeout: 240 seconds]
kaph has quit [Ping timeout: 268 seconds]
pecastro has quit [Ping timeout: 248 seconds]
seninha has joined #riscv
EchelonX has joined #riscv
joev has quit [Ping timeout: 272 seconds]
vagrantc has quit [Quit: leaving]
joev has joined #riscv
mahmutov has quit [Ping timeout: 248 seconds]
jacklsw has quit [Ping timeout: 256 seconds]
joev has quit [Ping timeout: 256 seconds]
joev has joined #riscv
davidlt has joined #riscv
seninha has quit [Quit: Leaving]
jacklsw has joined #riscv
freakazoid12345 has joined #riscv
freakazoid343 has quit [Ping timeout: 245 seconds]
solrize has quit [Remote host closed the connection]
prabhakarlad has joined #riscv
davidlt has quit [Ping timeout: 248 seconds]
EchelonX has quit [Quit: Leaving]
riff_IRC has quit [Remote host closed the connection]
riff-IRC has joined #riscv
freakazoid343 has joined #riscv
freakazoid12345 has quit [Ping timeout: 240 seconds]
freakazoid333 has joined #riscv
freakazoid343 has quit [Ping timeout: 260 seconds]
BOKALDO has joined #riscv
jacklsw has quit [Quit: Back to the real world]
jacklsw has joined #riscv
prabhakarlad has quit [Quit: Client closed]
prabhakarlad has joined #riscv
jacklsw has quit [Quit: Back to the real world]
jacklsw has joined #riscv
davidlt has joined #riscv
littlebobeep has quit [Remote host closed the connection]
crabbedhaloablut has quit [Remote host closed the connection]
crabbedhaloablut has joined #riscv
littlebobeep has joined #riscv
crabbedhaloablut has quit [Remote host closed the connection]
crabbedhaloablut has joined #riscv
<gordonDrogon> solrize, it's enough to run the system but marginal to run the compiler - also 16K is taken by the cache and as far as I can tell the code I upload into it's (hidden, internal) flash seems to get copied to RAM at boot time, so reducing ram even more.
<gordonDrogon> and while it doesn't have to be RV I do not want it to be ARM for personal reasons.
<gordonDrogon> the thing I need to do to move it to a new arch. is to write the bytecode interpreter in assembler - it was almost trivial for RV compared to the 65816 ...
jjido has joined #riscv
winterflaw has joined #riscv
pecastro has joined #riscv
<[exa]> morning
<[exa]> anyone got a decent prolog running on rv?
<gordonDrogon> I imagine any Linux based Prolog might work ...
<[exa]> nah, both swipl and gprolog lacked codegen the last time I checked
<[exa]> (maybe I should recheck tho, it's been months)
littlebobeep has quit [Ping timeout: 240 seconds]
littlebobeep has joined #riscv
___nick___ has joined #riscv
Sofia has quit [Ping timeout: 240 seconds]
jjido has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
___nick___ has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
___nick___ has joined #riscv
___nick___ has quit [Client Quit]
___nick___ has joined #riscv
Sofia has joined #riscv
jjido has joined #riscv
Sofia has quit [Ping timeout: 240 seconds]
kaph has joined #riscv
ivii has joined #riscv
Sofia has joined #riscv
jjido has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
ln5 has quit [Remote host closed the connection]
raym has quit [Quit: Failed to initialize NVML: Driver/library version mismatch]
kaph_ has joined #riscv
raym has joined #riscv
kaph has quit [Ping timeout: 248 seconds]
jmdaemon has quit [Ping timeout: 272 seconds]
kaph_ has quit [Ping timeout: 268 seconds]
<gordonDrogon> it's been ... decades (like about 4) since I looked at Prolog ..
<gordonDrogon> might it be possible to bootstrap poplog? https://en.wikipedia.org/wiki/Poplog
wingsorc has quit [Quit: Leaving]
BOKALDO_ has joined #riscv
BOKALDO has quit [Read error: Connection reset by peer]
jacklsw has quit [Ping timeout: 256 seconds]
rm has left #riscv [Leaving]
Andre_H has joined #riscv
aerkiaga has joined #riscv
seninha has joined #riscv
<[exa]> poplog, wow, looks cool
<gordonDrogon> if you're into that sort of thing ;-)
<gordonDrogon> I had a few friends at edinburgh uni into all that - I shared a flat with one way back. I really didn't "get" the whole prolog/pop/lisp then then and never put much thought into it since then either ...
joev has quit [Ping timeout: 268 seconds]
joev has joined #riscv
freakazoid333 has quit [Read error: Connection reset by peer]
freakazoid333 has joined #riscv
<[exa]> i'm from the haskellish crowd but prolog does the trick usually, esp on smaller HW it's wonderful for bootstraping stuff
freakazoid343 has joined #riscv
freakazoid333 has quit [Ping timeout: 252 seconds]
joev has quit [Ping timeout: 248 seconds]
joev has joined #riscv
Sofia has quit [Remote host closed the connection]
Sofia has joined #riscv
toulene has joined #riscv
kaph_ has joined #riscv
davidlt has quit [Quit: Leaving]
jacklsw has joined #riscv
kaph_ has quit [Ping timeout: 256 seconds]
freakazoid343 has quit [Read error: Connection reset by peer]
freakazoid343 has joined #riscv
aredridel has quit [Quit: The Lounge - https://thelounge.chat]
BOKALDO_ has quit [Quit: Leaving]
aredridel has joined #riscv
freakazoid343 has quit [Remote host closed the connection]
freakazoid343 has joined #riscv
jack_lsw has joined #riscv
<gordonDrogon> I guess I've stuck with 'traditional' procedural type languages all my life - either through work or just laziness to move to something different ...
<josuah> prolog for hardware? I need to see that!
<josuah> I never tried either though
<josuah> just curiosity
jack_lsw has quit [Ping timeout: 260 seconds]
kaph has joined #riscv
freakazoid343 has quit [Read error: Connection reset by peer]
jjido has joined #riscv
freakazoid343 has joined #riscv
freakazoid343 has quit [Remote host closed the connection]
freakazoid343 has joined #riscv
freakazoid12345 has joined #riscv
freakazoid343 has quit [Ping timeout: 240 seconds]
littlebobeep has quit [Ping timeout: 240 seconds]
BOKALDO has joined #riscv
oaken-source has joined #riscv
eroux has quit [Ping timeout: 272 seconds]
freakazoid12345 has quit [Quit: Leaving]
<gordonDrogon> there have been a number of "Lisp Machines" which more or less ran lisp in (or close to) hardware. As well as some native Forth CPUs... So maybe why not ...
<palmer> not sure if any of the distro folks have opinions on https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104338
kaph has quit [Read error: Connection reset by peer]
kaph has joined #riscv
vagrantc has joined #riscv
joev has quit [Ping timeout: 246 seconds]
joev has joined #riscv
mahmutov has joined #riscv
freakazoid333 has joined #riscv
gdd has quit [Ping timeout: 250 seconds]
sobkas has joined #riscv
aerkiaga has quit [Remote host closed the connection]
gdd has joined #riscv
jacklsw has quit [Read error: Connection reset by peer]
EchelonX has joined #riscv
jjido has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
jjido has joined #riscv
duckworld has quit [*.net *.split]
duckworld has joined #riscv
duckworld has quit [Max SendQ exceeded]
duckworld has joined #riscv
jmdaemon has joined #riscv
Andre_H has quit [Ping timeout: 272 seconds]
littlebobeep has joined #riscv
oaken-source has quit [Quit: Lost terminal]
Narrat has joined #riscv
<muurkha> [exa]: what's the advantage of prolog for bootstrapping stuff?
aerkiaga has joined #riscv
joev has quit [Ping timeout: 268 seconds]
joev has joined #riscv
BOKALDO has quit [Quit: Leaving]
oaken-source has joined #riscv
___nick___ has quit [Ping timeout: 272 seconds]
jjido has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
Narrat has quit [Quit: They say a little knowledge is a dangerous thing, but it's not one half so bad as a lot of ignorance.]
adjtm_ has quit [Read error: Connection reset by peer]
adjtm has joined #riscv
Sofia has quit [Ping timeout: 240 seconds]
Sofia has joined #riscv
dilfridge is now known as darth_fader
aerkiaga has quit [Remote host closed the connection]
darth_fader is now known as dilfridge
zjason has quit [Read error: Connection reset by peer]
zjason has joined #riscv
joev has quit [Ping timeout: 268 seconds]
joev has joined #riscv
wingsorc has joined #riscv
sobkas has quit [Quit: sobkas]
<lagash> Because it's logical :)
ivii has quit [Remote host closed the connection]
joev has quit [Ping timeout: 248 seconds]
joev has joined #riscv
winterflaw has quit [Ping timeout: 240 seconds]
vagrantc has quit [Quit: leaving]
seninha has quit [Ping timeout: 260 seconds]
pecastro has quit [Ping timeout: 248 seconds]
GenTooMan has quit [Quit: Leaving]