2024/05/13

Newest at the top

2024-05-13 13:00:35 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds)
2024-05-13 12:59:04 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2024-05-13 12:58:47 +0200 <Taneb> Nice
2024-05-13 12:57:34 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-13 12:56:51 +0200 <lambdabot> 423
2024-05-13 12:56:49 +0200 <ncf> > 123 & fromP' _Show . _head .~ '4'
2024-05-13 12:54:06 +0200rosco(~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal)
2024-05-13 12:53:46 +0200acidjnk_new(~acidjnk@p200300d6e714dc37b9c7c34e6fbc03d6.dip0.t-ipconnect.de)
2024-05-13 12:53:38 +0200 <ncf> treats the _Show prism as a partial Iso and turns it around
2024-05-13 12:52:52 +0200 <ncf> johnw: there isn't a lawful way to do this with lens, because you could modify the String to something that doesn't parse back as an Int. here's something i did a few days ago as a joke: https://ircbrowse.tomsmeding.com/day/lchaskell/2024/04/30?id=1266594#trid1266594
2024-05-13 12:41:48 +0200danse-nr3(~danse-nr3@151.43.89.126) (Ping timeout: 260 seconds)
2024-05-13 12:41:28 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-05-13 12:38:57 +0200euphores(~SASL_euph@user/euphores)
2024-05-13 12:36:01 +0200gehmehgeh(~user@user/gehmehgeh)
2024-05-13 12:34:08 +0200Mach`(~Mach@86.127.202.233) (Quit: Leaving)
2024-05-13 12:32:25 +0200gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2024-05-13 12:32:21 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-05-13 12:30:39 +0200syscall1(~syscall@2409:40c1:500a:3a4f:edc2:acd4:e500:7824)
2024-05-13 12:30:25 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-05-13 12:21:03 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds)
2024-05-13 12:02:12 +0200acidjnk_new(~acidjnk@p200300d6e714dc3784e5c6ff7798483a.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2024-05-13 12:01:48 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-13 11:49:38 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-13 11:47:19 +0200cyphase(~cyphase@user/cyphase)
2024-05-13 11:44:39 +0200tremon(~tremon@83.80.159.219)
2024-05-13 11:44:39 +0200random-jellyfish(~developer@user/random-jellyfish)
2024-05-13 11:44:39 +0200random-jellyfish(~developer@2a02:2f04:11e:c600:4127:3bc6:8e36:8fc3) (Changing host)
2024-05-13 11:44:39 +0200random-jellyfish(~developer@2a02:2f04:11e:c600:4127:3bc6:8e36:8fc3)
2024-05-13 11:34:31 +0200robosexual(~spaceoyst@5.167.241.127)
2024-05-13 11:07:54 +0200rosco(~rosco@yp-146-6.tm.net.my)
2024-05-13 11:07:46 +0200gehmehgeh(~user@user/gehmehgeh)
2024-05-13 10:51:11 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-13 10:45:34 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-05-13 10:43:02 +0200danse-nr3(~danse-nr3@151.43.89.126)
2024-05-13 10:35:15 +0200brox66(~brox66@user/brox66) (Ping timeout: 250 seconds)
2024-05-13 10:34:10 +0200syscall1(~syscall@2409:40c1:500a:3a4f:c203:8a4c:1ac4:3af) (Ping timeout: 256 seconds)
2024-05-13 10:31:05 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-05-13 10:29:18 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-13 10:23:23 +0200titibandit(~titibandi@user/titibandit)
2024-05-13 10:19:39 +0200 <Hecate> yup'
2024-05-13 10:19:19 +0200m5zs7k(aquares@web10.mydevil.net)
2024-05-13 10:19:13 +0200 <probie> That's a neat low-effort way to do "help"
2024-05-13 10:19:07 +0200 <Hecate> brox66: aye
2024-05-13 10:17:55 +0200m5zs7k(aquares@web10.mydevil.net) (Ping timeout: 246 seconds)
2024-05-13 10:17:20 +0200 <brox66> Hecate, big Makefile!
2024-05-13 10:17:07 +0200chele(~chele@user/chele)
2024-05-13 10:15:39 +0200xdminsy(~xdminsy@117.147.70.240)
2024-05-13 10:14:38 +0200 <Hecate> brox66: here's an example: https://github.com/flora-pm/flora-server/blob/development/Makefile#L7-L8
2024-05-13 10:14:32 +0200xdminsy(~xdminsy@117.147.70.240) (Read error: Connection reset by peer)
2024-05-13 10:01:33 +0200 <brox66> Thanks! Yes, I'll probably usa a Makefile instead.