neatonk[m] has quit [Remote host closed the connection]
regnat[m] has quit [Read error: Connection reset by peer]
h11[m] has quit [Read error: Connection reset by peer]
Haudegen[m] has quit [Read error: Connection reset by peer]
copy[m] has quit [Read error: Connection reset by peer]
spectrumgomas[m] has quit [Write error: Connection reset by peer]
nkhodyunya[m] has quit [Remote host closed the connection]
smondet[m] has quit [Remote host closed the connection]
sven[m] has quit [Remote host closed the connection]
flux[m] has quit [Remote host closed the connection]
Bluddy[m] has quit [Remote host closed the connection]
isaachodes[m] has quit [Remote host closed the connection]
martinklepsch[m] has quit [Remote host closed the connection]
caseypme[m] has quit [Remote host closed the connection]
bglm[m] has quit [Remote host closed the connection]
equalunique[m] has quit [Read error: Connection reset by peer]
multiocracy[m] has quit [Read error: Connection reset by peer]
remix2000[m] has quit [Read error: Connection reset by peer]
rgr[m] has quit [Remote host closed the connection]
peddie[m] has quit [Read error: Connection reset by peer]
jimt[m] has quit [Read error: Connection reset by peer]
dl3br[m] has quit [Read error: Connection reset by peer]
srenatus[m] has quit [Read error: Connection reset by peer]
drsmkl[m] has quit [Read error: Connection reset by peer]
rassouly[m] has quit [Read error: Connection reset by peer]
orbifx[m] has quit [Remote host closed the connection]
Walter[m] has quit [Remote host closed the connection]
hdurer[m] has quit [Remote host closed the connection]
yetanotherion[m] has quit [Remote host closed the connection]
aspiwack[m] has quit [Remote host closed the connection]
jaar has quit [Remote host closed the connection]
jaar has joined #ocaml
malina has joined #ocaml
BitPuffin has quit [Ping timeout: 260 seconds]
wickedshell has joined #ocaml
sven[m] has joined #ocaml
mcspud has joined #ocaml
malina has quit [Ping timeout: 256 seconds]
rgr[m] has joined #ocaml
rassouly[m] has joined #ocaml
aspiwack[m] has joined #ocaml
srenatus[m] has joined #ocaml
remix2000[m] has joined #ocaml
jimt[m] has joined #ocaml
drsmkl[m] has joined #ocaml
martinklepsch[m] has joined #ocaml
copy[m] has joined #ocaml
equalunique[m] has joined #ocaml
peddie[m] has joined #ocaml
bglm[m] has joined #ocaml
smondet[m] has joined #ocaml
hdurer[m] has joined #ocaml
isaachodes[m] has joined #ocaml
caseypme[m] has joined #ocaml
regnat[m] has joined #ocaml
h11[m] has joined #ocaml
Walter[m] has joined #ocaml
spectrumgomas[m] has joined #ocaml
neatonk[m] has joined #ocaml
orbifx[m] has joined #ocaml
nkhodyunya[m] has joined #ocaml
multiocracy[m] has joined #ocaml
dl3br[m] has joined #ocaml
flux[m] has joined #ocaml
yetanotherion[m] has joined #ocaml
Bluddy[m] has joined #ocaml
Haudegen[m] has joined #ocaml
sagotch has joined #ocaml
FreeBirdLjj has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
FreeBirdLjj has quit [Ping timeout: 260 seconds]
sagotch has quit [Ping timeout: 260 seconds]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
gtrak has joined #ocaml
octarin has quit [Ping timeout: 245 seconds]
mahem1 has joined #ocaml
octarin has joined #ocaml
octarin has joined #ocaml
octarin has quit [Changing host]
jao has joined #ocaml
Fare has joined #ocaml
<mahem1>
Hey all, so I wanted to write a little text-based ncurses-esque program that'll run on both Linux an Windows. Does OCaml have any cross-platform curses-like libraries?
TheRuralJuror has quit [Remote host closed the connection]
spew has joined #ocaml
BitPuffin has joined #ocaml
sagotch has joined #ocaml
<Drup>
mahem1: do you want to write an text-based UI, or a "full-terminal" visualisation (like ASCII-art animations, etc) ?
<discord>
<Perry> There are OCaml ncurses bindings etc.
<Drup>
I would personally recommend lambda-term, as cross-compat is explicitly tested.
<dmbaturin>
ncurses doesn't work on windows though, unless we count cygwin as such. :)
<Drup>
Perry: ncurse is shit, the binding are unsound, don't use it
<dmbaturin>
lambda-term is cross-platform AFAIR.
<dmbaturin>
How's opam on windows doing?
<dmbaturin>
(It would also be nice to be able to cross-compile for windows on UNIX machines)
dhil has quit [Ping timeout: 276 seconds]
octarin has quit [Ping timeout: 240 seconds]
octarin has joined #ocaml
octarin has joined #ocaml
octarin has quit [Changing host]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
silver has joined #ocaml
FreeBirdLjj has joined #ocaml
<mahem1>
Drup: just a more simplistic program. No real animation that I wouldn't be willing to rewrite myself.
pierpal has quit [Client Quit]
<mahem1>
I'll take a look at lambda-term then, see how far I can get with it.
<Drup>
lambda-term is very comprehensive and powerful
<Drup>
it handles unicode well, it has a notion of widget which you can compose, and so on
<Drup>
and it's cross-plateform
<Drup>
It's a nice library
<mahem1>
That's super great then. I want to be able compile on both. (You can't cross compile in with OCaml, right?)
<Drup>
Eh, I'm not competent, but I know some people are working on it
<Drup>
can't help more than that :(
<discord>
<Perry> Lambda Term then. (See how much I know, which is nothing. 😃 )
* hannes
also likes notty - https://github.com/pqwy/notty (not sure about cross-platform though, I only ever used it on Linux/FreeBSD/OpenBSD/MacOSX)
<Drup>
Perry: ocp-brower is written with lambda-term :3
<Drup>
hannes: notty doesn't make any effort to be cross-plateform, which means, in the context of terminals, that it isn't
<Drup>
(also, notty is not as good as lambda-term to make rich UIs, no widget library)
<Drup>
(it's very good for what I tend to call "full-terminal animations")
<mahem1>
Is ocp-browser just a quick what to find function and module signatures?
<Drup>
mahem1: yeah
<Enjolras>
"just"
<Enjolras>
mahem1: after you try it you will stop thinking about it as "just" :)
<Enjolras>
it's cool
<mahem1>
Haha, sorry, I guess I'm just used to finding things pretty quickly using top or Google. :P
<Enjolras>
np, i'm just saying, try it it's cool
<hannes>
Drup: my experience with lambda-term (which i used before for an xmpp-client (now notty) https://github.com/hannesm/jackline) is that it is very hard/hackish to extend it with custom key combinations
<Drup>
hannes: Really ? I didn't had that problem
pierpal has joined #ocaml
<Drup>
I mean, I have lot's of shortcuts in ocp-browser, it was not difficult
<mahem1>
Enjolras: Yeah, I suppose I should really top spending 2 minutes on Google just to remember parameter order of fold_left vs fold_right...
<hannes>
but maybe it is working for you guys better these days
<Enjolras>
mahem1: oh, but you don't even need ocp-browser for that : if you know the name, type it into your editor, use merlin to show the type and you're done :)
<discord>
<Perry> The thing I keep being irritated about not existing is a good-looking portable GUI package.
<mahem1>
Enjolras: Man, I must be living in the dark ages... Since when have people stopped manually reading the official documentation for everything?!
<discord>
<Perry> I had some hopes that https://github.com/andlabs/libui would be an interesting thing to add bindings to, but it doesn't seem to be very active now.
<Enjolras>
mahem1: hahah :) you are not alone but come to the future it's cool
<Drup>
hannes: I think you could have pushed the thing forward if you really wanted to. I mean, I understand, notty has a "cool" API and you are close friend with the author (who has a a huge nerd-snipe/NIH syndrom). It also has, like, less than 10% of lambda-term's features.
mal``` has quit [Quit: Leaving]
neatonk has quit [Ping timeout: 260 seconds]
<hannes>
Drup: aha. well, I just reported from my experience, I also couldn't get lambda-term widgets to work (unclear how you measure "10% of the features"). but as said above, maybe this is all fixed by now...
<Drup>
Well, you have to use OCaml objects
<Drup>
(Some people consider that worse than selling their souls)
<mahem1>
Enjolras: Old habits die hard. After using SML academically as a mostly "theoretical" language you get used to writing code on something as low-tech as a piece of paper...
FreeBirdLjj has quit [Ping timeout: 240 seconds]
<mahem1>
What else does the future have these days? GNU Make is still how I am suppose to build my projects, right?!
mal`` has joined #ocaml
<Armael>
:D well
<Drup>
*cough*
<Drup>
It never was
<Enjolras>
mahem1: please tell me you're not serious :)
<mahem1>
lol. I heard something something about ocamlfind or whatever that is. But never even tried... So what's the "right" way? :P
<mahem1>
Enjolras already mentioned merlin, looks really snazzy. I have been using opam as well. I try to stay away from objects when possible, but got to use them with qt in OCaml.
<Enjolras>
Drup: DIE
<mahem1>
Never used ocamlforge doh
<discord>
<Perry> Is it possible to use the Qt bindings if you're not already quite familiar with Qt?
<mahem1>
Yes, I was just doing some simple input forms and buttons though.
<mahem1>
But I had used qt in Python before that though. So had some experience.
Haudegen has joined #ocaml
dhil has joined #ocaml
Fare has quit [Ping timeout: 260 seconds]
mk9 has joined #ocaml
malina has joined #ocaml
Fare has joined #ocaml
<Leonidas>
you guys know the case of email delivery failing when sending an email further than 400 miles? I seem to have run into the OPAM2 equivalent of it: https://github.com/ocaml/opam/issues/3471
<Leonidas>
opam2 fails to install an unrelated depenency when dune-project files in my own repo exist
<Leonidas>
Armael: yes, I do the same. `all: dune build`, because old habits die hard and `make` types faster than `dune build`
<Enjolras>
this is because dune prevents you to see 400 miles away.
<Enjolras>
Unless you are on the top of the highest one of course
neatonk has quit [Ping timeout: 260 seconds]
<Leonidas>
I felt really silly writing this bug report because if somebody wrote me a report like this I would label them a lunatic
Guest55067 is now known as lynn
lynn has quit [Changing host]
lynn has joined #ocaml
lynn has joined #ocaml
<Drup>
yay Heisenbug
<Enjolras>
Leonidas: my theory about crazy bugs : they are almost always true
<Enjolras>
because programmers are not imaginative enough to invent them without some goog grounds :)
<Leonidas>
I asked my coworker to reproduce it. Oddly it is only msgpck and never any other package. So first I thought mgspck was faulty, but it doesn't seem to be. Maybe because it uses jbuilder and jbuilder reads dune-project and ???? happens and then the sandbox breaks
<discord>
<rgrinberg> I always wondered why Sys_error is always so opaque
<discord>
<rgrinberg> which operation? for what reason?
<discord>
<rgrinberg> luckily, we have stack trace here
<Leonidas>
Enjolras: Yeah, can't imagine myself coming up with something so abstruse
<discord>
<Perry> The worst Heisenbug I ever hit was probably either a SunOS or a Sparc hardware bug. It took our team months to isolate the circumstances. The bug always showed up when the executing instruction was on a page boundary.
<discord>
<Perry> We never actually found the cause.
<Leonidas>
rgrinberg: it seems to pick up _build in the project folder
<Leonidas>
so, in the one of the repo. Which is really weird, because I checked the values of PWD and POL and $@ in the sandbox.sh script and they seem to point to the right place
<discord>
<rgrinberg> Somehow it fails to open the log file for writing
<discord>
<rgrinberg> and this is from opam executing dune?
<discord>
<Perry> The pentium fdiv bug was a fun one. I remember that well.
<discord>
<Perry> Before the FDIV bug, they'd been using formal methods (ACL2 I think) to verify their FPUs. They stopped. Then after the FDIV bug, they started doing it again. 😃
<Leonidas>
rgrinberg: yes. If if weren't then there would be no sandbox and I assume it would succeed (since it does so on our opam1 images which don't use sandboxing)
<Leonidas>
I also realized the bug is filed in the wrong place, should be filed with dune :(
dhil has quit [Ping timeout: 276 seconds]
Fare has quit [Ping timeout: 240 seconds]
Fare has joined #ocaml
mk9 has quit [Quit: mk9]
FreeBirdLjj has quit [Ping timeout: 276 seconds]
mk9 has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
Fare has quit [Ping timeout: 244 seconds]
freyr69 has quit [Remote host closed the connection]
mk9 has quit [Ping timeout: 240 seconds]
picolino has quit [Ping timeout: 245 seconds]
jaar has quit [Quit: Leaving]
mahem1 has quit [Ping timeout: 252 seconds]
Fare has joined #ocaml
FreeBirdLjj has joined #ocaml
al-damiri has joined #ocaml
Haudegen has quit [Remote host closed the connection]
silver has quit [Read error: Connection reset by peer]
Fare has quit [Ping timeout: 276 seconds]
dhil has joined #ocaml
bobry has joined #ocaml
sagotch has quit [Ping timeout: 240 seconds]
mk9 has joined #ocaml
mk9 has quit [Quit: mk9]
silver has joined #ocaml
mbuf has quit [Quit: Leaving]
mahem1 has joined #ocaml
<sspi__>
Leonidas: "webasm is coming?" - I'm trying :-)
ziyourenxiang has quit [Ping timeout: 256 seconds]
shinnya has quit [Ping timeout: 260 seconds]
mk9 has joined #ocaml
dakk has quit [Remote host closed the connection]
dedgrant has joined #ocaml
mk9 has quit [Client Quit]
dhil has quit [Ping timeout: 248 seconds]
neatonk has joined #ocaml
Fare has joined #ocaml
Haudegen has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
jnavila has joined #ocaml
<ianconnolly>
does anyone know how to ask cohttp to deny new connections and drain existing ones?
<ianconnolly>
seems to be dying fast in response to SIGTERM
FreeBirdLjj has quit [Remote host closed the connection]
tarptaeya has quit [Quit: Konversation terminated!]
jack5638 has joined #ocaml
spew has quit [Quit: going home]
TC01 has quit [Ping timeout: 248 seconds]
Fare has quit [Ping timeout: 240 seconds]
Fare has joined #ocaml
pierpa has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
shinnya has joined #ocaml
shw has quit [Quit: shw]
shw has joined #ocaml
Fare has quit [Ping timeout: 268 seconds]
TheLemonMan has joined #ocaml
jnavila has quit [Remote host closed the connection]
yurichev has quit [Quit: leaving]
dedgrant has quit [Quit: Leaving]
BitPuffin has quit [Remote host closed the connection]
malina has quit [Ping timeout: 276 seconds]
multiocracy[m] has quit [Ping timeout: 240 seconds]
srenatus[m] has quit [Ping timeout: 240 seconds]
bglm[m] has quit [Ping timeout: 240 seconds]
yetanotherion[m] has quit [Ping timeout: 255 seconds]
Bluddy[m] has quit [Ping timeout: 255 seconds]
neatonk[m] has quit [Ping timeout: 255 seconds]
dl3br[m] has quit [Ping timeout: 240 seconds]
regnat[m] has quit [Ping timeout: 240 seconds]
flux[m] has quit [Ping timeout: 245 seconds]
h11[m] has quit [Ping timeout: 245 seconds]
caseypme[m] has quit [Ping timeout: 245 seconds]
rgr[m] has quit [Ping timeout: 245 seconds]
hdurer[m] has quit [Ping timeout: 245 seconds]
rassouly[m] has quit [Ping timeout: 245 seconds]
nkhodyunya[m] has quit [Ping timeout: 256 seconds]
remix2000[m] has quit [Ping timeout: 260 seconds]
peddie[m] has quit [Ping timeout: 256 seconds]
sven[m] has quit [Ping timeout: 256 seconds]
orbifx[m] has quit [Ping timeout: 260 seconds]
Walter[m] has quit [Ping timeout: 260 seconds]
jimt[m] has quit [Ping timeout: 260 seconds]
martinklepsch[m] has quit [Ping timeout: 260 seconds]
isaachodes[m] has quit [Ping timeout: 276 seconds]
Haudegen[m] has quit [Ping timeout: 276 seconds]
spectrumgomas[m] has quit [Ping timeout: 276 seconds]
drsmkl[m] has quit [Ping timeout: 276 seconds]
smondet[m] has quit [Ping timeout: 276 seconds]
equalunique[m] has quit [Ping timeout: 276 seconds]
aspiwack[m] has quit [Ping timeout: 276 seconds]
copy[m] has quit [Ping timeout: 276 seconds]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
dedgrant has joined #ocaml
unyu has quit [Quit: The end of the world is nigh. Bring as much popcorn as you can!]
unyu has joined #ocaml
mk9 has joined #ocaml
<discord>
<struktured> ianconolly: if it was core/async, maybe something like this?Signal.handle [Signal.term;Signal.terminating] ~f:(fun _ -> Cohttp_async.Server.close)
_andre has quit [Quit: leaving]
zolk3ri has quit [Quit: leaving]
zolk3ri has joined #ocaml
pierpal has quit [Ping timeout: 244 seconds]
sven[m] has joined #ocaml
mk9 has quit [Quit: mk9]
pierpal has joined #ocaml
rassouly[m] has joined #ocaml
multiocracy[m] has joined #ocaml
rgr[m] has joined #ocaml
aspiwack[m] has joined #ocaml
spectrumgomas[m] has joined #ocaml
martinklepsch[m] has joined #ocaml
jimt[m] has joined #ocaml
drsmkl[m] has joined #ocaml
remix2000[m] has joined #ocaml
equalunique[m] has joined #ocaml
copy[m] has joined #ocaml
srenatus[m] has joined #ocaml
peddie[m] has joined #ocaml
bglm[m] has joined #ocaml
smondet[m] has joined #ocaml
hdurer[m] has joined #ocaml
h11[m] has joined #ocaml
isaachodes[m] has joined #ocaml
caseypme[m] has joined #ocaml
Walter[m] has joined #ocaml
Bluddy[m] has joined #ocaml
neatonk[m] has joined #ocaml
regnat[m] has joined #ocaml
yetanotherion[m] has joined #ocaml
orbifx[m] has joined #ocaml
nkhodyunya[m] has joined #ocaml
dl3br[m] has joined #ocaml
flux[m] has joined #ocaml
Haudegen[m] has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
kakadu has quit [Remote host closed the connection]
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
aegray has joined #ocaml
octarin has quit [Quit: leaving]
aegray_ has quit [Ping timeout: 240 seconds]
talyian has joined #ocaml
malina has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 276 seconds]
al-damiri has quit [Quit: Connection closed for inactivity]
Fare has joined #ocaml
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]