<hendursaga>
ams: personally, I don't like TS, but if it's between TS and JS... the former is better
<hendursaga>
if only PureScript was more popular..
rgrinberg has joined #ocaml
<d_bot>
<ams> im deciding between a C++ and TS position
<d_bot>
<ams> kinda just want to make sure i dont hate my life lol
Haudegen has quit [Ping timeout: 258 seconds]
waleee has quit [Ping timeout: 245 seconds]
mbuf has joined #ocaml
bobo has joined #ocaml
spip has quit [Ping timeout: 260 seconds]
wilfred has joined #ocaml
shawnw has quit [Remote host closed the connection]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kurfen has joined #ocaml
rgrinberg has joined #ocaml
Serpent7776 has joined #ocaml
marinelli[m] has left #ocaml [#ocaml]
hendursa1 has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
hendursaga has quit [Ping timeout: 276 seconds]
salkin has joined #ocaml
bartholin has joined #ocaml
wilfred has quit [Quit: Connection closed for inactivity]
cedric has joined #ocaml
olle has joined #ocaml
<d_bot>
<Continuation Calculus> thanks 🙂
<d_bot>
<Continuation Calculus> Is there a library for parsing with recovery in OCaml that is not Menhir?
Serpent7776 has quit [Read error: Connection reset by peer]
quernd4 is now known as quernd
shawnw has joined #ocaml
kurfen has quit [Quit: WeeChat 2.3]
kurfen_ has joined #ocaml
kurfen_ has quit [Client Quit]
kurfen has joined #ocaml
kurfen has quit [Client Quit]
kurfen has joined #ocaml
kurfen has quit [Client Quit]
kurfen has joined #ocaml
kurfen has quit [Client Quit]
kurfen has joined #ocaml
kurfen has quit [Quit: WeeChat 2.3]
kurfen has joined #ocaml
bartholin has quit [Ping timeout: 244 seconds]
micro_ has joined #ocaml
bartholin has joined #ocaml
bartholin_ has joined #ocaml
Haudegen has joined #ocaml
bartholin has quit [Ping timeout: 244 seconds]
hyphen has quit [Ping timeout: 252 seconds]
hyphen has joined #ocaml
<d_bot>
<yanoux> hey everyone
<d_bot>
<yanoux> i'm doing a dpll sat solver in ocaml
<d_bot>
<yanoux> and i struggle with the function that determine if a clause is pur or not
bartholin_ has quit [Ping timeout: 258 seconds]
bartholin_ has joined #ocaml
<d_bot>
<Alistair> I have a background in logic. Are you trying to determine whether a clause contains a pure literal?
<d_bot>
<yanoux> yeah exactly
<d_bot>
<Alistair> What data structure are you using to model clauses? Lists? or Sets?
mbuf has quit [Quit: Leaving]
<d_bot>
<yanoux> I’m using lists
<d_bot>
<yanoux> Like for exemple
<d_bot>
<yanoux> let exemple_7_8 = [[1;-2;3];[1;-3];[2;3];[1;-2]]
<d_bot>
<yanoux> Here the function pur should return 1
<d_bot>
<Alistair> A naive approach would be to flatten the list of lists, and then iterate through the flattened list, checking the existences of a negative literal for the current literal
<d_bot>
<Alistair> What is `pur` supposed to return? Also lets move this to #beginners
<d_bot>
<yanoux> Ok ok
bartholin_ has quit [Ping timeout: 264 seconds]
olle has quit [Ping timeout: 258 seconds]
bartholin_ has joined #ocaml
shawnw has quit [Ping timeout: 258 seconds]
bartholin_ has quit [Quit: Leaving]
<ski>
-!- #ocaml-beginners: No such channel
<d_bot>
<andreypopp> It is on discord
<dmbaturin>
Yes, because open-source software is best discussed using proprietary walleg-garden services. ;)
<dmbaturin>
* walled
<reynir>
would be nicer if matrix was chosen over discord
Serpent7776 has joined #ocaml
Anarchos has joined #ocaml
olle has joined #ocaml
<companion_cube>
Matrix is bridged here, too
rgrinberg has joined #ocaml
bobo has quit [Quit: Konversation terminated!]
<dmbaturin>
companion_cube: The point here is that some (most?) channels are not bridged.
<d_bot>
<Et7f3> When you read this documentation:
<d_bot>
<Et7f3> ```
<d_bot>
<Et7f3> -pp <command> Pipe sources through preprocessor <command>
<d_bot>
<Et7f3> -ppx <command> Pipe abstract syntax trees through preprocessor <command>``` What value can command take (I read source code just want to get exception)
<d_bot>
<andreypopp> to be honest I'd rather see ocaml on zulip, I think it works so well for PL communities (Julia, Coq, ...)
<companion_cube>
There's discuss already
<d_bot>
<andreypopp> @Et7f3 `<command>` is a some executable + arguments, e.g. `-pp refmt`
<dmbaturin>
My friend is asking why the camel from the logo has no butt. Now that I think of it, really, why doesn't it? ;)
<rgrinberg>
reynir is the matrix client usable yet? it is by far the worst chat client I've ever used
<dmbaturin>
Last I tried, matrix was unusable.
<dmbaturin>
Earlier this year.
<reynir>
rgrinberg: I'm using it daily since about half a year ago. It works okay for me
<reynir>
I think it could be improved
<reynir>
the bridge with libera.chat works quite well I think
<rgrinberg>
yeah no kidding it can be improved. I think they kind of given up improving it
<rgrinberg>
it's still buggy and horribly slow for me
<reynir>
heh
<rgrinberg>
I'm talking about the electron based client. Perhaps you're using another client
<reynir>
what client are you using?
<rgrinberg>
elements
<reynir>
Ah yea, I'm using it in the browser and element on my android phone
<reynir>
I mostly use it for a one-on-one chat and a low activity channel
vb has quit [Ping timeout: 260 seconds]
<rgrinberg>
@Et7f3 you would los the ability to provide arguments in the command. E.g. -ppx "./foo.exe -bar"
jonasbits_ has quit [Quit: No Ping reply in 180 seconds.]
<rgrinberg>
reynir yeah it's such a shame really. if there's one thing that open source doesn't lack are good chat clients
<d_bot>
<Et7f3> If you want we can add -ppx_opt like -ccopt or create a wrapper script
jonasbits has joined #ocaml
<rgrinberg>
i still don't understand how they managed to achieve so little with so much resources
<reynir>
Yea, I'm disappointed in the options for desktop matrix clients tbh, but the browser client works well enough for me
<rgrinberg>
Et7f3 good luck convincing the team to break the public interface to shave off a shell invocation
<d_bot>
<Et7f3> 😅 I might try to ask another compiler flag then
<rgrinberg>
reynir probably weechat + plugin is the best option on the desktop. Unfortunately, I don't have the spare time to configure it anymore
<reynir>
I used a weechat plugin for xmpp I think several years ago, and IIRC it made weechat unstable or leak memory or something oops
olle has quit [Ping timeout: 260 seconds]
<rgrinberg>
yeah many plugins don't get much love. the matrix one is being rewritten in rust though. that's a good hint people are caring about resource usage
waleee has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]
shawnw has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rond_ has joined #ocaml
<companion_cube>
That might be a good option indeed
<companion_cube>
Python plug-ins are not the best...
elge has left #ocaml [#ocaml]
bartholin has joined #ocaml
spip has joined #ocaml
Anarchos has joined #ocaml
bartholin has quit [Ping timeout: 252 seconds]
olle has joined #ocaml
Anarchos has quit [Ping timeout: 260 seconds]
mro has joined #ocaml
bartholin has joined #ocaml
mro has quit [Quit: Leaving...]
Anarchos has joined #ocaml
Anarchos has quit [Client Quit]
shawnw has quit [Quit: Leaving]
<d_bot>
<Anurag> @rgrinberg on mac i've tried <https://github.com/Nheko-Reborn/nheko> which felt nicer than using the electron based element app for matrix. It at-least felt more responsive. That said, i can't say i've been too happy with any of the matrix client options on the desktop.
rgrinberg has joined #ocaml
rond_ has quit [Quit: Client closed]
bartholin has quit [Ping timeout: 244 seconds]
Anarchos has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]
<d_bot>
<Jektrix> It's frustrating that the spec keeps changing so they have all these weird occurrences where rooms stop working or weird things happen when different people update their servers
<d_bot>
<Jektrix> I had to leave one and rejoin because someone accidentally did something to the room or something. And this was an official matrix room on their homeserver
klu has quit [Ping timeout: 245 seconds]
olle has quit [Ping timeout: 252 seconds]
Tuplanolla has quit [Quit: Leaving.]
<rgrinberg>
That too. Tbh, it feels like matrix will go the way of xmpp. Yet another open standard for the historical dumpster
<rgrinberg>
At least xmpp gave us some fairly usable clients
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]