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…]
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 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 ...
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 ...