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

2023-02-19 03:13 companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 5.0 released(!!1!): https://ocaml.org/releases/5.0.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/

00:46 fweht has quit [Quit: Connection closed for inactivity]

00:55 alexherbo2 has quit [Remote host closed the connection]

00:56 alexherbo2 has joined #ocaml

01:37 alexherbo2 has quit [Remote host closed the connection]

02:46 trev has joined #ocaml

03:37 edr has quit [Quit: Leaving]

03:41 terrorjack has quit [Quit: The Lounge - https://thelounge.chat]

03:45 terrorjack has joined #ocaml

04:47 trev has quit [Quit: trev]

04:47 trev has joined #ocaml

05:45 ehrt74 has joined #ocaml

06:48 ehrt74 has quit [Ping timeout: 252 seconds]

07:14 bartholin has joined #ocaml

07:24 lobo has quit [Ping timeout: 260 seconds]

07:25 farn_ has quit [Ping timeout: 268 seconds]

07:30 rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

07:36 hsw_ has joined #ocaml

07:37 lobo has joined #ocaml

07:37 hsw has quit [Read error: Connection reset by peer]

07:38 farn_ has joined #ocaml

08:17 Serpent7776 has joined #ocaml

08:26 azimut has quit [Remote host closed the connection]

08:26 azimut has joined #ocaml

09:14 dhil has joined #ocaml

09:16 bartholin has quit [Quit: Leaving]

09:17 hannes_ is now known as hannes

10:03 dnh has joined #ocaml

10:58 waleee has joined #ocaml

11:09 pi3ce has joined #ocaml

11:16 pi3ce has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]

11:16 pi3ce has joined #ocaml

11:18 pi3ce is now known as pi3cio

11:41 <darchitect> hey guys I want to start writing a toy language for learning purposes using OCaml, do you have any good resources for beginners ?

11:50 dhil has quit [Ping timeout: 260 seconds]

12:14 <discocaml> <m1337d> https://coq.discourse.group/t/proof-of-concept-in-getting-coq-running-inside-of-llama-cpp-need-help/2126?u=jmikedupont2

12:57 trev has quit [Read error: Connection reset by peer]

12:57 tr_ev has joined #ocaml

13:02 <discocaml> <deepspacejohn> darchitect: the Real World OCaml chapter on ocamllex and Menhir is a good starting point for using those.

13:02 tr_ev is now known as trev

13:12 edr has joined #ocaml

13:21 alexherbo2 has joined #ocaml

13:24 <discocaml> <darrenldl> i think there might also be a chapter on it in the cornell cs3110 book

13:37 darchitect has quit [Ping timeout: 246 seconds]

13:39 darchitect has joined #ocaml

13:48 darchitect has quit [Ping timeout: 256 seconds]

13:49 pi3cio has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]

13:52 darchitect has joined #ocaml

14:04 azimut has quit [Ping timeout: 240 seconds]

14:07 azimut has joined #ocaml

15:32 Tuplanolla has joined #ocaml

15:56 alexherbo2 has quit [Remote host closed the connection]

16:28 <trev> why doesn't `dune runtest --release` or `--profile=release` actually run the tests (or at least show the output)?

16:29 <rage> did you try with --force?

16:29 <trev> let me check

16:29 <trev> yeah still nothing

16:31 <rage> maybe try running with --verbose to see what dune is doing

16:32 <rage> (im new to OCaml, just pointing out some basics that have tripped me up before)

16:38 rgrinberg has joined #ocaml

17:07 szkl has quit [Quit: Connection closed for inactivity]

17:16 dhil has joined #ocaml

18:27 <dnaq> darchitect: you could always do a lisp/scheme

18:27 <dnaq> there are some good resources for Haskell that should be translatable to ocaml

18:27 <dnaq> https://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours

18:38 azimut has quit [Ping timeout: 240 seconds]

18:53 alexherbo2 has joined #ocaml

18:58 Serpent7776 has quit [Ping timeout: 264 seconds]

19:04 Ella has quit [Ping timeout: 268 seconds]

19:25 alexherbo2 has quit [Ping timeout: 250 seconds]

19:28 alexherbo2 has joined #ocaml

19:34 ehrt74 has joined #ocaml

19:39 berberman_ has joined #ocaml

19:40 berberman has quit [Ping timeout: 260 seconds]

19:51 alexherbo2 has quit [Remote host closed the connection]

19:58 bartholin has joined #ocaml

20:00 bartholin has quit [Client Quit]

20:02 dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

20:03 bartholin has joined #ocaml

20:26 ehrt74 has quit [Ping timeout: 240 seconds]

20:36 <discocaml> <m1337d> i got it all working so far, llm tokens being evaluated by coq

20:36 <discocaml> <m1337d> at least parsed

20:57 trev has quit [Quit: trev]

21:04 dnh has joined #ocaml

21:11 Serpent7776 has joined #ocaml

21:13 infinity0_ has joined #ocaml

21:13 infinity0 is now known as Guest6319

21:13 infinity0_ is now known as infinity0

21:14 Guest6319 has quit [Ping timeout: 260 seconds]

22:01 dhil has quit [Ping timeout: 256 seconds]

22:03 ohperitel has quit [Quit: ZNC 1.8.2 - https://znc.in]

22:03 ohperitel has joined #ocaml

22:03 <discocaml> <darrenldl> rage: did you define what to run with the tests stanza?

22:19 azimut has joined #ocaml

22:26 Serpent7776 has quit [Ping timeout: 264 seconds]

23:00 azimut has quit [Remote host closed the connection]

23:00 azimut has joined #ocaml

23:23 alexherbo2 has joined #ocaml

23:26 bartholin has quit [Quit: Leaving]