00:07
ASau has quit [Ping timeout: 250 seconds]
00:13
badkins has quit [Remote host closed the connection]
00:20
skapata has quit [Ping timeout: 240 seconds]
00:21
capfredf has joined #racket
00:27
capfredf has quit [Remote host closed the connection]
00:31
skapata has joined #racket
00:55
capfredf has joined #racket
00:58
casmajavi has quit [Ping timeout: 256 seconds]
01:01
capfredf has quit [Remote host closed the connection]
01:06
capfredf has joined #racket
01:13
monkey_ has joined #racket
01:17
s-liao has joined #racket
01:22
capfredf has quit [Remote host closed the connection]
01:23
capfredf has joined #racket
01:27
capfredf has quit [Ping timeout: 240 seconds]
01:30
johnjaye has quit [Ping timeout: 256 seconds]
01:46
s-liao has quit [Ping timeout: 256 seconds]
01:55
s-liao has joined #racket
01:55
ur5us has joined #racket
02:14
monkey_ has quit [Remote host closed the connection]
02:42
ur5us has quit [Ping timeout: 240 seconds]
03:15
ur5us has joined #racket
03:36
s-liao has quit [Ping timeout: 256 seconds]
03:44
terrorjack has joined #racket
03:48
s-liao has joined #racket
04:07
ur5us has quit [Ping timeout: 240 seconds]
04:07
s-liao has quit [Quit: Client closed]
04:19
cynomys has joined #racket
04:20
ggoes has left #racket [ERC 5.4.1 (IRC client for GNU Emacs 29.0.50)]
04:28
skapata has quit [Remote host closed the connection]
04:46
codingquark has quit [Ping timeout: 240 seconds]
04:55
capfredf has joined #racket
04:59
codingquark has joined #racket
04:59
capfredf has quit [Ping timeout: 240 seconds]
06:13
s-liao has joined #racket
06:13
s-liao has quit [Client Quit]
06:20
cynomys has quit [Quit: Lost terminal]
07:07
mdhughes has quit [Remote host closed the connection]
07:08
mdhughes has joined #racket
07:22
badkins has joined #racket
07:26
badkins has quit [Ping timeout: 240 seconds]
07:29
ur5us has joined #racket
07:33
cynomys has joined #racket
08:12
johnjaye has joined #racket
08:20
badkins has joined #racket
08:31
mon_aaraj has quit [Ping timeout: 272 seconds]
08:32
libertyprime has joined #racket
08:32
bremner has quit [Remote host closed the connection]
08:33
bremner has joined #racket
08:35
s-liao has joined #racket
08:36
badkins has quit [Remote host closed the connection]
08:37
mon_aaraj has joined #racket
08:41
rgherdt has joined #racket
08:54
codingquark has quit [Ping timeout: 272 seconds]
08:56
libertyprime has quit [Quit: leaving]
09:03
codingquark has joined #racket
09:25
capfredf has joined #racket
09:30
capfredf has quit [Ping timeout: 256 seconds]
09:31
ur5us has quit [Ping timeout: 240 seconds]
09:37
capfredf has joined #racket
09:42
capfredf has quit [Ping timeout: 256 seconds]
09:43
s-liao has quit [Quit: Client closed]
09:57
s-liao has joined #racket
10:08
codingquark has quit [Read error: Connection reset by peer]
10:08
codingquark has joined #racket
10:27
mdhughes_ has joined #racket
10:31
mdhughes has quit [Ping timeout: 272 seconds]
10:32
ermo has joined #racket
10:37
badkins has joined #racket
10:39
notzmv has quit [Ping timeout: 252 seconds]
10:41
mon_aaraj has quit [Ping timeout: 272 seconds]
10:41
badkins has quit [Ping timeout: 256 seconds]
10:43
mon_aaraj has joined #racket
10:55
s-liao92 has joined #racket
10:57
s-liao92 has quit [Client Quit]
10:58
s-liao has quit [Ping timeout: 256 seconds]
11:01
s-liao has joined #racket
11:19
s-liao has quit [Quit: Client closed]
12:25
mdhughes_ is now known as mdhughes
13:00
capfredf has joined #racket
13:00
notzmv has joined #racket
13:06
capfredf has quit [Ping timeout: 256 seconds]
13:08
gproto23 has joined #racket
13:15
cynomys has quit [Ping timeout: 256 seconds]
13:25
ermo has joined #racket
13:30
s-liao has joined #racket
13:43
skapata has joined #racket
13:43
skapata has quit [Changing host]
13:43
skapata has joined #racket
13:54
notzmv has quit [Ping timeout: 256 seconds]
14:22
gproto23 has quit [Ping timeout: 256 seconds]
14:28
s-liao has quit [Quit: Client closed]
14:42
capfredf has joined #racket
14:46
capfredf has quit [Remote host closed the connection]
14:47
capfredf has joined #racket
14:51
capfredf has quit [Ping timeout: 240 seconds]
14:55
skapata has quit [Ping timeout: 250 seconds]
14:57
skapata has joined #racket
15:41
badkins has joined #racket
15:46
badkins has quit [Ping timeout: 256 seconds]
15:46
mon_aaraj has quit [Ping timeout: 272 seconds]
15:48
mon_aaraj has joined #racket
15:49
casmajavi has joined #racket
16:04
notzmv has joined #racket
16:22
cwebber has quit [Ping timeout: 250 seconds]
17:06
badkins has joined #racket
17:08
ec has quit [Ping timeout: 240 seconds]
17:08
winny has quit [Ping timeout: 240 seconds]
17:12
winny has joined #racket
17:18
monkey_ has joined #racket
17:26
ec has joined #racket
17:39
capfredf has joined #racket
17:50
capfredf has quit [Remote host closed the connection]
17:58
paddymahoney has quit [Ping timeout: 256 seconds]
18:08
<
bremner >
I'm seeing a problem in racket 8.2 with scribble output to latex failing to compile because widebar is redefined. I didn't see any github issues that looked related in the scribble repo. If you have scribble document, you can test by pressing the "scribble PDF" button in DrRacket
18:08
<
bremner >
currently building 8.4, I'll see if the problem persists.
18:16
<
bremner >
yep, confirmed it is still a problem in 8.4. So either nobody does it, or there is something peculiar about the TeXlive setup on this debian host.
18:20
<
winny >
If you show me how to test I can test on a special snowflake gentoo install (with texlive already installed)
18:21
monkey_ has quit [Ping timeout: 272 seconds]
18:34
<
bremner >
Let me try to make a smaller test file
18:39
gproto23 has joined #racket
18:40
<
bremner >
do you prefer drracket or raco ?
18:43
<
bremner >
for drracket, just open the file and click "Scribble PDF" on the top bar. For raco, run "raco scribble --latex file.scrbl" then pdflatex file.tex
18:50
capfredf has joined #racket
18:54
capfredf has quit [Ping timeout: 240 seconds]
18:58
epony has quit [Ping timeout: 240 seconds]
18:59
paddymahoney has joined #racket
19:04
epony has joined #racket
19:06
badkins has quit [Remote host closed the connection]
19:26
<
winny >
Cool let's see here
19:30
<
winny >
ran pdflatex on it, it seemed to have generated a .pdf too
19:36
<
winny >
This is using racket 8.4 cs
19:39
casmajavi has quit [Quit: Leaving]
19:44
<
winny >
BTW have a crazy idea, idk if it's possible, but what if there's an automated tool to help devs reorganize their published packages into a pkg, pkg-doc, pkg-lib thing. I think it must be a pain to fix it manually
19:44
<
winny >
probably my largest pain point in using racket in production is the bloat caused by pulling in most of racket due to racket-doc
19:46
badkins has joined #racket
19:49
casmajavi has joined #racket
20:07
wwalker has joined #racket
20:10
raghavgururajan has quit [Ping timeout: 250 seconds]
20:11
raghavgururajan has joined #racket
20:21
sm2n has quit [Ping timeout: 250 seconds]
20:22
sm2n has joined #racket
20:27
ur5us has joined #racket
20:32
<
bremner >
winny: OK thanks, I guess that narrows it down. Probably something changed in the newer version of texlive installed here (2021.20220204)
20:35
capfredf has joined #racket
20:39
capfredf has quit [Remote host closed the connection]
20:40
capfredf has joined #racket
20:41
<
winny >
gunna test against what's in nixpkgs for fun, let's see here
20:41
<
winny >
(gives me an excuse to practice with nix)
20:44
capfredf has quit [Ping timeout: 256 seconds]
20:49
matta has quit [Ping timeout: 250 seconds]
20:49
matta has joined #racket
20:52
<
winny >
(tested in `nix-shell -p racket -p texlive.combined.scheme-full` shell)
20:54
szkl has joined #racket
21:12
cynomys has joined #racket
21:28
cynomys has quit [Quit: Lost terminal]
21:38
gproto23 has quit [Remote host closed the connection]
21:38
ermo has joined #racket
22:02
tribals has joined #racket
22:02
tribals has left #racket [#racket]
22:49
johnjaye has quit [Ping timeout: 272 seconds]
22:53
bryan has quit [Ping timeout: 245 seconds]
22:55
capfredf has joined #racket
22:55
bryan has joined #racket
23:12
rgherdt has quit [Remote host closed the connection]
23:14
casmajavi_ has joined #racket
23:17
casmajavi has quit [Ping timeout: 256 seconds]
23:24
capfredf has quit [Remote host closed the connection]
23:24
capfredf has joined #racket
23:28
capfredf has quit [Ping timeout: 240 seconds]
23:37
meinside has joined #racket
23:47
s-liao has joined #racket
23:53
capfredf has joined #racket
23:56
capfredf has quit [Remote host closed the connection]