#ocaml on 2023-02-12 — irc logs at libera.irclog.whitequark.org

2022-03-30 13:11 companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.14.0 released: https://ocaml.org/releases/4.14.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/

00:20 Tuplanolla has quit [Quit: Leaving.]

00:22 spip has quit [Quit: Konversation terminated!]

00:32 count3rmeasure has quit [Read error: Connection reset by peer]

00:44 wingsorc has quit [Quit: Leaving]

00:51 wingsorc has joined #ocaml

01:06 kronicma1 has quit [Ping timeout: 252 seconds]

01:06 tjnhxmzhmqgytuwt has quit [Ping timeout: 252 seconds]

01:07 kronicma1 has joined #ocaml

01:07 John_Ivan has quit [Ping timeout: 248 seconds]

01:10 Stumpfenstiel has quit [Ping timeout: 252 seconds]

01:15 tjnhxmzhmqgytuwt has joined #ocaml

01:25 waleee has quit [Ping timeout: 265 seconds]

01:34 Haudegen has quit [Ping timeout: 264 seconds]

02:16 oriba has quit [Ping timeout: 268 seconds]

02:48 trillion_exabyte has quit [Ping timeout: 252 seconds]

02:50 trillion_exabyte has joined #ocaml

02:50 riverdc has quit [Ping timeout: 268 seconds]

02:50 riverdc has joined #ocaml

03:35 chrisz has quit [Ping timeout: 268 seconds]

03:36 chrisz has joined #ocaml

03:43 azimut has quit [Ping timeout: 255 seconds]

04:18 tizoc has quit [Quit: Coyote finally caught me]

04:25 tizoc has joined #ocaml

07:18 trillion1exabyte has joined #ocaml

07:18 trillion_exabyte has quit [Ping timeout: 268 seconds]

07:38 jao has quit [Ping timeout: 248 seconds]

08:03 olle has joined #ocaml

08:18 bartholin has joined #ocaml

08:19 Tuplanolla has joined #ocaml

08:23 azimut has joined #ocaml

09:20 Serpent7776 has joined #ocaml

09:56 jlrnick has joined #ocaml

10:32 spip has joined #ocaml

10:43 Haudegen has joined #ocaml

10:58 jlrnick has quit [Ping timeout: 252 seconds]

11:01 azimut has quit [Ping timeout: 255 seconds]

11:02 azimut has joined #ocaml

12:08 haesbaert has quit [Ping timeout: 260 seconds]

12:09 haesbaert has joined #ocaml

13:40 gwizon has joined #ocaml

13:49 wingsorc has quit [Ping timeout: 252 seconds]

14:18 trev has joined #ocaml

14:29 gwizon has quit [Quit: Lost terminal]

14:48 chrisz has quit [Ping timeout: 252 seconds]

15:00 pie_ has quit []

15:00 pie_ has joined #ocaml

15:03 bartholin has quit [Quit: Leaving]

15:05 chrisz has joined #ocaml

15:19 chrisz has quit [Ping timeout: 252 seconds]

15:19 chrisz has joined #ocaml

15:30 Serpent7776 has quit [Ping timeout: 248 seconds]

15:31 pie_ has quit []

15:32 pie_ has joined #ocaml

15:49 John_Ivan has joined #ocaml

16:04 pie_ has quit []

16:05 pie_ has joined #ocaml

16:05 sim642 has quit [K-Lined]

16:09 waleee has joined #ocaml

16:22 azimut has quit [Remote host closed the connection]

16:22 azimut has joined #ocaml

16:34 mro has joined #ocaml

16:58 neiluj has joined #ocaml

16:59 <neiluj> Hello! Do you know ocaml libraries that are actually transpiled from Coq?

17:04 jao has joined #ocaml

17:06 azimut has quit [Ping timeout: 255 seconds]

17:06 azimut has joined #ocaml

17:09 <discocaml> <mbacarella> I installed something recently that required coq but don't remember anymore. It wasn't one of the things listed as a revdep so I'm confused

17:10 <discocaml> <mbacarella> took a really long time to compile

17:14 <neiluj> compiling coq takes a long time indeed

17:27 xgqt has quit [Read error: Connection reset by peer]

17:28 xgqt has joined #ocaml

17:34 <discocaml> <NULL> Might be more fruitful to ask in the Coq Zulip/Discourse than here

17:47 mro has quit [Remote host closed the connection]

17:57 <neiluj> yep, thanks

18:09 mro has joined #ocaml

18:13 mro has quit [Ping timeout: 246 seconds]

18:26 <discocaml> <MasterBuilder> do you mean generated from Coq proofs?

18:34 mro has joined #ocaml

18:38 <neiluj> yes, with the logic extracted to ocaml

18:41 mro has quit [Remote host closed the connection]

18:47 count3rmeasure has joined #ocaml

18:49 jao has quit [Ping timeout: 252 seconds]

18:55 Anarchos has joined #ocaml

18:58 mro has joined #ocaml

18:59 mro has quit [Remote host closed the connection]

18:59 mro has joined #ocaml

19:08 <Anarchos> where is the merlin branch for ocaml 4.14 ?

19:15 Serpent7776 has joined #ocaml

19:21 trev has quit [Remote host closed the connection]

19:24 Anarchos has quit [Quit: Vision[]: i've been blurred!]

19:27 mro has quit [Remote host closed the connection]

19:29 mro has joined #ocaml

19:36 tomku has quit [Read error: Connection reset by peer]

19:36 tomku has joined #ocaml

19:43 count3rmeasure has quit [Read error: Connection reset by peer]

19:46 count3rmeasure has joined #ocaml

20:09 bartholin has joined #ocaml

20:12 Stumpfenstiel has joined #ocaml

20:34 mro has quit [Ping timeout: 248 seconds]

20:34 mro has joined #ocaml

21:07 pippijn has quit [Remote host closed the connection]

21:07 pippijn has joined #ocaml

21:11 Stumpfenstiel has quit [Quit: No Ping reply in 180 seconds.]

21:13 Stumpfenstiel has joined #ocaml

21:27 <discocaml> <darrenldl> ocaml tld contains some coq crypto code right?

21:28 <discocaml> <darrenldl> tls*

21:29 <discocaml> <darrenldl> <https://hannes.robur.coop/Posts/EC>

21:32 <discocaml> <darrenldl> or maybe only mirage-crypto is doing that hm

21:39 Serpent7776 has quit [Ping timeout: 252 seconds]

21:50 mro has quit [Remote host closed the connection]

21:54 mro has joined #ocaml

22:06 jao has joined #ocaml

22:22 bartholin has quit [Quit: Leaving]

22:34 bastienleonard has joined #ocaml

22:35 mro has quit [Quit: Leaving...]

23:04 olle has quit [Ping timeout: 252 seconds]

23:05 <neiluj> interesting blog post, thanks darrenldl

23:10 count3rmeasure has quit [Read error: Connection reset by peer]

23:11 neiluj has quit [Quit: WeeChat 3.6]

23:24 wingsorc has joined #ocaml

23:32 Stumpfenstiel has quit [Ping timeout: 248 seconds]

23:34 azimut has quit [Ping timeout: 255 seconds]

23:52 Haudegen has quit [Ping timeout: 255 seconds]