Newest at the top
| 2024-05-13 13:19:43 +0200 | syscall1 | (~syscall@2409:40c1:500a:3a4f:edc2:acd4:e500:7824) (Ping timeout: 256 seconds) |
| 2024-05-13 13:19:37 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
| 2024-05-13 13:19:10 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2024-05-13 13:17:27 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-05-13 13:16:38 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2024-05-13 13:10:54 +0200 | hammond | (proscan@gateway02.insomnia247.nl) (Remote host closed the connection) |
| 2024-05-13 13:09:49 +0200 | <ncf> | Σ (s : String) "s parses as an Int" |
| 2024-05-13 13:09:29 +0200 | <ncf> | approximating Int as a subtype of String |
| 2024-05-13 13:08:46 +0200 | <ncf> | maybe you could achieve something like this lawfully in a dependently typed language, with dependent lenses (https://www.cse.chalmers.se/~nad/publications/danielsson-dependent-lenses.pdf) |
| 2024-05-13 13:01:59 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-05-13 13:00:35 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2024-05-13 12:59:04 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-05-13 12:58:47 +0200 | <Taneb> | Nice |
| 2024-05-13 12:57:34 +0200 | tromp | (~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 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
| 2024-05-13 12:53:46 +0200 | acidjnk_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 +0200 | danse-nr3 | (~danse-nr3@151.43.89.126) (Ping timeout: 260 seconds) |
| 2024-05-13 12:41:28 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-05-13 12:38:57 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-05-13 12:36:01 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-05-13 12:34:08 +0200 | Mach` | (~Mach@86.127.202.233) (Quit: Leaving) |
| 2024-05-13 12:32:25 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-05-13 12:32:21 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-05-13 12:30:39 +0200 | syscall1 | (~syscall@2409:40c1:500a:3a4f:edc2:acd4:e500:7824) |
| 2024-05-13 12:30:25 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-05-13 12:21:03 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
| 2024-05-13 12:02:12 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc3784e5c6ff7798483a.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-05-13 12:01:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-13 11:49:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-13 11:47:19 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2024-05-13 11:44:39 +0200 | tremon | (~tremon@83.80.159.219) |
| 2024-05-13 11:44:39 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-05-13 11:44:39 +0200 | random-jellyfish | (~developer@2a02:2f04:11e:c600:4127:3bc6:8e36:8fc3) (Changing host) |
| 2024-05-13 11:44:39 +0200 | random-jellyfish | (~developer@2a02:2f04:11e:c600:4127:3bc6:8e36:8fc3) |
| 2024-05-13 11:34:31 +0200 | robosexual | (~spaceoyst@5.167.241.127) |
| 2024-05-13 11:07:54 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
| 2024-05-13 11:07:46 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-05-13 10:51:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-13 10:45:34 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-13 10:43:02 +0200 | danse-nr3 | (~danse-nr3@151.43.89.126) |
| 2024-05-13 10:35:15 +0200 | brox66 | (~brox66@user/brox66) (Ping timeout: 250 seconds) |
| 2024-05-13 10:34:10 +0200 | syscall1 | (~syscall@2409:40c1:500a:3a4f:c203:8a4c:1ac4:3af) (Ping timeout: 256 seconds) |
| 2024-05-13 10:31:05 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-05-13 10:29:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-13 10:23:23 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2024-05-13 10:19:39 +0200 | <Hecate> | yup' |