<avsm[m]>
rwmjones: are you putting 4.12 into Fedora? I've not been able to run a bulk test for riscv as the small HiFive boards keep crashing (and still waiting for the new bigger ones to ship)
catt has joined #ocaml
bjorkintosh has quit [Remote host closed the connection]
bjorkintosh has joined #ocaml
rdivyanshu has joined #ocaml
mbuf has quit [Ping timeout: 264 seconds]
steenuil has joined #ocaml
Tuplanolla has joined #ocaml
shawnw has joined #ocaml
<rwmjones>
avsm[m]: yes we'll put it in Fedora and test it on RISC-V (on both HiFive boards) at the same time
<avsm[m]>
<rwmjones "avsm: yes we'll put it in Fedora"> great! Do you run the original HiFive boards diskless with an nfs root? It's the only setup I can find that's vaguely stable
ben__ has joined #ocaml
olle has joined #ocaml
shawnw__ has joined #ocaml
shawnw has quit [Ping timeout: 264 seconds]
vicfred has quit [Ping timeout: 246 seconds]
bartholin has joined #ocaml
chripell has quit [Remote host closed the connection]
<d_bot>
<dj charlie> guys how is it that every polynomial is a function but not every function is a polynomial?
<d_bot>
<dj charlie> OHHHHHHH I UNDERSTAND NOW HAHA
chripell has joined #ocaml
<d_bot>
<octachron> That depends on the domain: all functions on finite fields are polynomials.
<d_bot>
<dj charlie> i barely passed basic math at my high school and my friend's explaining qaps to me now
<d_bot>
<dj charlie> wild
<d_bot>
<dj charlie> learning so much
rdivyanshu has quit [Quit: Connection closed for inactivity]
<d_bot>
<dj charlie> BEWARE THE JUBJUB ELLIPTIC BIRD MY SON
vicfred has quit [Read error: Connection reset by peer]
vicfred has joined #ocaml
mxns has joined #ocaml
mmohammadi9812 has quit [Read error: Connection reset by peer]
mmohammadi9812 has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
vicfred has quit [Quit: Leaving]
mmohammadi9812 has quit [Ping timeout: 240 seconds]
steenuil_ has joined #ocaml
shawnw__ has quit [Ping timeout: 264 seconds]
steenuil has quit [Ping timeout: 240 seconds]
mmohammadi9812 has joined #ocaml
vicfred has joined #ocaml
dinosaure has quit [Quit: WeeChat 2.3]
mxns has joined #ocaml
raver has quit [Quit: Gateway shutdown]
raver has joined #ocaml
dinosaure has joined #ocaml
baltasarsed has joined #ocaml
pmetzger has joined #ocaml
catt has quit [Ping timeout: 240 seconds]
mmohammadi9812 has quit [Read error: Connection reset by peer]
mmohammadi9812 has joined #ocaml
olle has quit [Ping timeout: 258 seconds]
waleee-cl has joined #ocaml
DanC has quit [Ping timeout: 264 seconds]
<d_bot>
<cemerick> According to https://github.com/ocamllabs/vscode-ocaml-platform/issues/199, OCaml platform for vscode should recognize cppo directives in .cppo.ml files, but it stubbornly reports them as syntax errors here. What might I be doing wrong?
<d_bot>
<cemerick> (the plugin and `ocamllsp` are very up to date FWIW)
DanC has joined #ocaml
bartholin has quit [Quit: Leaving]
tane has joined #ocaml
pmetzger has quit [Remote host closed the connection]
pmetzger has joined #ocaml
pmetzger has quit [Ping timeout: 246 seconds]
baltasarsed has quit [Quit: Ping timeout (120 seconds)]
amiloradovsky has joined #ocaml
pmetzger has joined #ocaml
pmetzger has quit [Remote host closed the connection]
pmetzger has joined #ocaml
<d_bot>
<mnxn> Sorry, that PR only adds syntax highlighting, it does not add any LSP support.
pmetzger has quit [Ping timeout: 272 seconds]
amiloradovsky1 has joined #ocaml
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky1 is now known as amiloradovsky
<d_bot>
<cemerick> @mnxn oh, hah, fair enough, not sure why I conflated those things in my head this morning in the first place 😛
<d_bot>
<cemerick> I backed off of using cppo in this spot anyway since it and ppx's don't play nice
pmetzger has joined #ocaml
mmohammadi9812 has quit [Read error: Connection reset by peer]
mmohammadi9812 has joined #ocaml
neiluj has joined #ocaml
neiluj has quit [Changing host]
neiluj has joined #ocaml
catt has joined #ocaml
pmetzger has quit [Ping timeout: 265 seconds]
olle has joined #ocaml
pmetzger has joined #ocaml
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
pmetzger has quit [Ping timeout: 256 seconds]
pmetzger has joined #ocaml
pmetzger has quit [Ping timeout: 246 seconds]
olle has quit [Ping timeout: 240 seconds]
pmetzger has joined #ocaml
pmetzger has quit [Remote host closed the connection]
mmohammadi9812 has quit [Remote host closed the connection]
mmohammadi9812 has joined #ocaml
mxns has quit [Ping timeout: 258 seconds]
mengu has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
jnavila has joined #ocaml
narimiran has quit [Ping timeout: 240 seconds]
ben__ has quit [Quit: Konversation terminated!]
jnavila has quit [Quit: Konversation terminated!]
mxns has joined #ocaml
mxns has quit [Ping timeout: 272 seconds]
tane has quit [Quit: Leaving]
nicoo has quit [Changing host]
nicoo has joined #ocaml
steenuil_ has quit [Ping timeout: 258 seconds]
mengu has quit [Remote host closed the connection]
steenuil has joined #ocaml
urlandir has joined #ocaml
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
Haudegen has joined #ocaml
urlandir has quit [Quit: Leaving]
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
mxns has joined #ocaml
madroach has joined #ocaml
amiloradovsky has quit [Remote host closed the connection]