| 2024-02-17 00:02:25 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2024-02-17 00:03:27 +0100 | yoo | (~yo0O0o@130.105.162.42) |
| 2024-02-17 00:05:55 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-02-17 00:09:07 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-02-17 00:14:33 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 260 seconds) |
| 2024-02-17 00:15:34 +0100 | mizlan | (~mizlan@2607:f010:2e9:b:5564:6974:cc47:1879) (Remote host closed the connection) |
| 2024-02-17 00:16:14 +0100 | mizlan | (~mizlan@wifi-131-179-20-68.host.ucla.edu) |
| 2024-02-17 00:16:15 +0100 | yoo | (~yo0O0o@130.105.162.42) (Read error: Connection reset by peer) |
| 2024-02-17 00:20:25 +0100 | mizlan | (~mizlan@wifi-131-179-20-68.host.ucla.edu) (Ping timeout: 255 seconds) |
| 2024-02-17 00:28:42 +0100 | dodoyada | (~dodoyada@pool-71-178-11-160.washdc.fios.verizon.net) (Quit: Client closed) |
| 2024-02-17 00:30:14 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-02-17 00:30:20 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2024-02-17 00:32:24 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-02-17 00:34:08 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Read error: Connection reset by peer) |
| 2024-02-17 00:34:35 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2024-02-17 00:35:47 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
| 2024-02-17 00:36:02 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-02-17 00:36:52 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2024-02-17 00:38:30 +0100 | ph88 | (~ph88@ip5b403f30.dynamic.kabel-deutschland.de) |
| 2024-02-17 00:40:04 +0100 | dodoyada | (~dodoyada@pool-71-178-11-160.washdc.fios.verizon.net) |
| 2024-02-17 00:41:38 +0100 | son0p | (~ff@167.0.172.211) |
| 2024-02-17 00:41:54 +0100 | hc | (~hc@mail.hce.li) (Read error: Connection reset by peer) |
| 2024-02-17 00:42:07 +0100 | hc | (~hc@mail.hce.li) |
| 2024-02-17 00:42:29 +0100 | dminuoso | (~dminuoso@user/dminuoso) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-17 00:42:29 +0100 | fiddlerwoaroof | (~fiddlerwo@user/fiddlerwoaroof) (Quit: Gone.) |
| 2024-02-17 00:42:49 +0100 | fiddlerwoaroof | (~fiddlerwo@user/fiddlerwoaroof) |
| 2024-02-17 00:42:49 +0100 | dminuoso | (~dminuoso@user/dminuoso) |
| 2024-02-17 00:43:23 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 255 seconds) |
| 2024-02-17 00:45:18 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-02-17 00:51:14 +0100 | xerox | (~edi@user/edi) (Ping timeout: 256 seconds) |
| 2024-02-17 00:52:47 +0100 | xerox | (~edi@user/edi) |
| 2024-02-17 00:58:57 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2024-02-17 00:59:01 +0100 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 246 seconds) |
| 2024-02-17 01:03:20 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2024-02-17 01:03:44 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2024-02-17 01:12:46 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Remote host closed the connection) |
| 2024-02-17 01:13:00 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-02-17 01:19:56 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-95.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-02-17 01:21:17 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2024-02-17 01:21:30 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-17 01:22:15 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
| 2024-02-17 01:23:24 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2024-02-17 01:25:22 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
| 2024-02-17 01:26:41 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2024-02-17 01:30:50 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds) |
| 2024-02-17 01:35:26 +0100 | notzmv | (~daniel@user/notzmv) |
| 2024-02-17 01:44:15 +0100 | mizlan | (~mizlan@2607:f010:2a7:14:d00b:d88b:dbc3:104f) |
| 2024-02-17 01:45:31 +0100 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2024-02-17 01:46:36 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2024-02-17 01:49:07 +0100 | mizlan | (~mizlan@2607:f010:2a7:14:d00b:d88b:dbc3:104f) (Ping timeout: 268 seconds) |
| 2024-02-17 01:50:03 +0100 | Angelz | (Angelz@Angelz.oddprotocol.org) (Ping timeout: 260 seconds) |
| 2024-02-17 01:52:01 +0100 | acidjnk | (~acidjnk@p200300d6e737e768eca59ab302ca347d.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-02-17 02:06:43 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2024-02-17 02:14:12 +0100 | mizlan | (~mizlan@2607:f010:2a7:1026:d9c8:772:1406:8412) |
| 2024-02-17 02:17:29 +0100 | sroso | (~sroso@user/SrOso) |
| 2024-02-17 02:20:59 +0100 | p3n | (~p3n@217.198.124.246) (Ping timeout: 264 seconds) |
| 2024-02-17 02:23:39 +0100 | CiaoSen | (~Jura@2a05:5800:2c6:8e00:e6b9:7aff:fe80:3d03) (Ping timeout: 268 seconds) |
| 2024-02-17 02:27:44 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2024-02-17 02:35:01 +0100 | azr4e1 | (~azr4e1@137.220.68.193) (Ping timeout: 260 seconds) |
| 2024-02-17 02:41:42 +0100 | shapr` | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Ping timeout: 255 seconds) |
| 2024-02-17 02:44:49 +0100 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) |
| 2024-02-17 02:45:16 +0100 | bilegeek | (~bilegeek@2600:1008:b04b:c091:e5fd:2c05:e855:2866) |
| 2024-02-17 02:48:59 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-02-17 02:49:47 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2024-02-17 02:50:21 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2024-02-17 02:53:15 +0100 | pavonia | (~user@user/siracusa) |
| 2024-02-17 02:57:15 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 272 seconds) |
| 2024-02-17 03:00:23 +0100 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 244 seconds) |
| 2024-02-17 03:01:31 +0100 | Axman6 | (~Axman6@user/axman6) |
| 2024-02-17 03:05:57 +0100 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2024-02-17 03:06:11 +0100 | Axman6 | (~Axman6@user/axman6) |
| 2024-02-17 03:09:11 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-02-17 03:11:49 +0100 | otto_s | (~user@p5de2f7db.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-02-17 03:13:17 +0100 | otto_s | (~user@p4ff27ba6.dip0.t-ipconnect.de) |
| 2024-02-17 03:15:01 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-02-17 03:20:27 +0100 | ph88 | (~ph88@ip5b403f30.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-02-17 03:22:09 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-02-17 03:28:59 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) (Ping timeout: 255 seconds) |
| 2024-02-17 03:29:33 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 272 seconds) |
| 2024-02-17 03:35:58 +0100 | cptaffe` | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2024-02-17 03:36:53 +0100 | cptaffe | (~cptaffe@user/cptaffe) (Ping timeout: 240 seconds) |
| 2024-02-17 03:42:01 +0100 | bilegeek | (~bilegeek@2600:1008:b04b:c091:e5fd:2c05:e855:2866) (Quit: Leaving) |
| 2024-02-17 03:52:39 +0100 | yoo | (~yo0O0o@130.105.162.42) |
| 2024-02-17 03:54:26 +0100 | bilegeek | (~bilegeek@2600:1008:b04b:c091:e5fd:2c05:e855:2866) |
| 2024-02-17 04:01:13 +0100 | gorignak | (~gorignak@user/gorignak) |
| 2024-02-17 04:02:44 +0100 | gorignak | (~gorignak@user/gorignak) (Client Quit) |
| 2024-02-17 04:03:52 +0100 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 268 seconds) |
| 2024-02-17 04:11:21 +0100 | yoo | (~yo0O0o@130.105.162.42) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
| 2024-02-17 04:12:53 +0100 | yoo | (~yo0O0o@130.105.162.42) |
| 2024-02-17 04:15:48 +0100 | dodoyada | (~dodoyada@pool-71-178-11-160.washdc.fios.verizon.net) (Quit: Client closed) |
| 2024-02-17 04:16:12 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
| 2024-02-17 04:24:18 +0100 | yoo | (~yo0O0o@130.105.162.42) (Changing host) |
| 2024-02-17 04:24:18 +0100 | yoo | (~yo0O0o@user/mobivme) |
| 2024-02-17 04:24:32 +0100 | mizlan | (~mizlan@2607:f010:2a7:1026:d9c8:772:1406:8412) (Remote host closed the connection) |
| 2024-02-17 04:26:22 +0100 | td_ | (~td@i5387091D.versanet.de) (Ping timeout: 264 seconds) |
| 2024-02-17 04:27:08 +0100 | mizlan | (~mizlan@2607:f010:2a7:14:219b:a6cf:c391:53ae) |
| 2024-02-17 04:27:43 +0100 | td_ | (~td@i53870918.versanet.de) |
| 2024-02-17 04:31:28 +0100 | mizlan | (~mizlan@2607:f010:2a7:14:219b:a6cf:c391:53ae) (Ping timeout: 246 seconds) |
| 2024-02-17 04:47:19 +0100 | mizlan | (~mizlan@2607:f010:2a7:14:219b:a6cf:c391:53ae) |
| 2024-02-17 04:48:08 +0100 | average | (uid473595@user/average) |
| 2024-02-17 04:51:53 +0100 | mizlan | (~mizlan@2607:f010:2a7:14:219b:a6cf:c391:53ae) (Ping timeout: 272 seconds) |
| 2024-02-17 04:53:36 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-02-17 04:54:00 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-02-17 05:08:56 +0100 | yooo | (~yo0O0o@104.28.226.106) |
| 2024-02-17 05:09:45 +0100 | yoo | (~yo0O0o@user/mobivme) (Ping timeout: 255 seconds) |
| 2024-02-17 05:14:15 +0100 | existence_ | (~existence@176.254.244.83) (Ping timeout: 256 seconds) |
| 2024-02-17 05:23:33 +0100 | _3xistence | (~existence@176.254.244.83) |
| 2024-02-17 05:25:44 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) (Quit: λ) |
| 2024-02-17 05:31:30 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2024-02-17 05:33:57 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2024-02-17 05:34:58 +0100 | mizlan | (~mizlan@2607:f010:2a7:1026:9098:fc4d:567f:1059) |
| 2024-02-17 05:35:35 +0100 | _3xistence | (~existence@176.254.244.83) (Ping timeout: 252 seconds) |
| 2024-02-17 05:37:57 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 260 seconds) |
| 2024-02-17 05:41:55 +0100 | aforemny | (~aforemny@i59F516E9.versanet.de) (Ping timeout: 272 seconds) |
| 2024-02-17 05:42:15 +0100 | aforemny | (~aforemny@2001:9e8:6cfd:5700:198a:9ad3:4852:3314) |
| 2024-02-17 05:44:17 +0100 | yooo | (~yo0O0o@104.28.226.106) (Ping timeout: 256 seconds) |
| 2024-02-17 05:45:11 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-17 05:57:29 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2024-02-17 05:58:40 +0100 | mizlan_ | (~mizlan@131.179.94.114) |
| 2024-02-17 06:00:43 +0100 | mizlan | (~mizlan@2607:f010:2a7:1026:9098:fc4d:567f:1059) (Ping timeout: 268 seconds) |
| 2024-02-17 06:01:15 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-02-17 06:05:25 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-02-17 06:06:46 +0100 | rosco | (~rosco@175.136.156.77) |
| 2024-02-17 06:07:19 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2024-02-17 06:10:56 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-02-17 06:15:15 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-02-17 06:16:07 +0100 | bontaq | (~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2024-02-17 06:17:38 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 256 seconds) |
| 2024-02-17 06:19:30 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2024-02-17 06:24:52 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-02-17 06:33:39 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-02-17 06:47:31 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-02-17 07:07:53 +0100 | average | (uid473595@user/average) (Quit: Connection closed for inactivity) |
| 2024-02-17 07:14:32 +0100 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-02-17 07:16:13 +0100 | _3xistence | (~existence@176.254.244.83) |
| 2024-02-17 07:22:14 +0100 | Square | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2024-02-17 07:23:46 +0100 | falafel | (~falafel@141.156.241.57) |
| 2024-02-17 07:24:58 +0100 | sefidel | (~sefidel@user/sefidel) (Remote host closed the connection) |
| 2024-02-17 07:26:04 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-02-17 07:26:17 +0100 | sefidel | (~sefidel@user/sefidel) |
| 2024-02-17 07:32:13 +0100 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 264 seconds) |
| 2024-02-17 07:45:27 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-02-17 07:48:38 +0100 | falafel | (~falafel@141.156.241.57) (Ping timeout: 268 seconds) |
| 2024-02-17 08:22:56 +0100 | harveypwca | (~harveypwc@2601:246:c201:d680:59a0:7761:1557:ead5) |
| 2024-02-17 08:26:19 +0100 | rosco | (~rosco@175.136.156.77) (Quit: Lost terminal) |
| 2024-02-17 08:33:48 +0100 | tabaqui | (~root@94.203.206.27) |
| 2024-02-17 08:36:22 +0100 | mizlan_ | (~mizlan@131.179.94.114) (Remote host closed the connection) |
| 2024-02-17 08:37:30 +0100 | mizlan | (~mizlan@131.179.94.114) |
| 2024-02-17 08:39:33 +0100 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-02-17 08:40:43 +0100 | <Lycurgus> | I wonder about the relation, if any, between the Alloy hs pkg and the specification lang of that name |
| 2024-02-17 08:43:35 +0100 | <Lycurgus> | insofar as there is a semantic overlap between generic programming and executable/model checking specifications |
| 2024-02-17 08:44:14 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-17 08:47:58 +0100 | yoo | (~yo0O0o@104.28.226.104) |
| 2024-02-17 08:53:00 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-02-17 08:57:26 +0100 | mizlan | (~mizlan@131.179.94.114) (Ping timeout: 252 seconds) |
| 2024-02-17 08:58:47 +0100 | johnw | (~johnw@69.62.242.138) |
| 2024-02-17 09:03:25 +0100 | <Lycurgus> | to be clear, not referring to call-alloy which is a binding for the spec lang |
| 2024-02-17 09:03:25 +0100 | tabaqui | (~root@94.203.206.27) (Read error: Connection reset by peer) |
| 2024-02-17 09:06:13 +0100 | yoo | (~yo0O0o@104.28.226.104) (Ping timeout: 246 seconds) |
| 2024-02-17 09:08:45 +0100 | tabaqui | (~root@94.203.206.27) |
| 2024-02-17 09:08:51 +0100 | yoo | (~yo0O0o@104.28.226.106) |
| 2024-02-17 09:13:07 +0100 | <Lycurgus> | convergent name evolution i presume on the basis of the alloy conceit, a merger of logic/models and code |
| 2024-02-17 09:13:51 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2024-02-17 09:14:17 +0100 | acidjnk | (~acidjnk@p200300d6e737e749cd206dd0173e2368.dip0.t-ipconnect.de) |
| 2024-02-17 09:14:29 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-02-17 09:21:42 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.2.1) |
| 2024-02-17 09:23:34 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 2024-02-17 09:26:45 +0100 | yoo | (~yo0O0o@104.28.226.106) (Ping timeout: 272 seconds) |
| 2024-02-17 09:27:37 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2024-02-17 09:28:08 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-17 09:29:33 +0100 | img | (~img@user/img) |
| 2024-02-17 09:31:55 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-02-17 09:33:13 +0100 | AlexNoo_ | (~AlexNoo@178.34.161.13) |
| 2024-02-17 09:33:13 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-02-17 09:35:15 +0100 | AlexZenon | (~alzenon@5.139.232.186) (Ping timeout: 255 seconds) |
| 2024-02-17 09:36:53 +0100 | AlexNoo | (~AlexNoo@5.139.232.186) (Ping timeout: 260 seconds) |
| 2024-02-17 09:38:30 +0100 | yoo | (~yo0O0o@104.28.194.104) |
| 2024-02-17 09:38:40 +0100 | danza | (~francesco@151.47.248.38) |
| 2024-02-17 09:42:13 +0100 | tabaqui | (~root@94.203.206.27) (Read error: Connection reset by peer) |
| 2024-02-17 09:43:02 +0100 | AlexZenon | (~alzenon@178.34.161.13) |
| 2024-02-17 09:44:17 +0100 | danza | (~francesco@151.47.248.38) (Leaving) |
| 2024-02-17 09:44:38 +0100 | danza | (~francesco@151.47.248.38) |
| 2024-02-17 09:47:14 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-02-17 09:48:22 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2024-02-17 09:49:47 +0100 | bilegeek | (~bilegeek@2600:1008:b04b:c091:e5fd:2c05:e855:2866) (Quit: Leaving) |
| 2024-02-17 09:51:02 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 255 seconds) |
| 2024-02-17 09:51:46 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-02-17 09:55:45 +0100 | rosco | (~rosco@175.136.156.77) |
| 2024-02-17 09:56:29 +0100 | yoo | (~yo0O0o@104.28.194.104) (Ping timeout: 260 seconds) |
| 2024-02-17 09:58:50 +0100 | willsewell | (~willsewel@185.195.232.133) |
| 2024-02-17 10:00:16 +0100 | willsewell | (~willsewel@185.195.232.133) (Client Quit) |
| 2024-02-17 10:02:36 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-02-17 10:02:54 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-02-17 10:03:34 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2024-02-17 10:04:33 +0100 | danza | (~francesco@151.47.248.38) (Remote host closed the connection) |
| 2024-02-17 10:07:00 +0100 | danza | (~francesco@151.47.248.38) |
| 2024-02-17 10:07:37 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
| 2024-02-17 10:09:58 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-02-17 10:10:12 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-02-17 10:15:54 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-02-17 10:20:10 +0100 | yoo | (~yo0O0o@104.28.226.106) |
| 2024-02-17 10:24:03 +0100 | harveypwca | (~harveypwc@2601:246:c201:d680:59a0:7761:1557:ead5) (Quit: Leaving) |
| 2024-02-17 10:26:36 +0100 | yoo | (~yo0O0o@104.28.226.106) (Max SendQ exceeded) |
| 2024-02-17 10:29:48 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-02-17 10:30:10 +0100 | yoo | (~yo0O0o@104.28.226.106) |
| 2024-02-17 10:30:51 +0100 | CiaoSen | (~Jura@2a05:5800:2d7:4600:e6b9:7aff:fe80:3d03) |
| 2024-02-17 10:41:26 +0100 | yoo | (~yo0O0o@104.28.226.106) (Changing host) |
| 2024-02-17 10:41:26 +0100 | yoo | (~yo0O0o@user/mobivme) |
| 2024-02-17 10:42:07 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-02-17 10:43:50 +0100 | danza_ | (~francesco@151.37.255.211) |
| 2024-02-17 10:45:27 +0100 | euleritian | (~euleritia@dynamic-176-005-158-137.176.5.pool.telefonica.de) |
| 2024-02-17 10:45:51 +0100 | danza | (~francesco@151.47.248.38) (Read error: Connection reset by peer) |
| 2024-02-17 10:49:13 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-02-17 10:51:19 +0100 | mulk | (~mulk@p5b2dc13b.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2024-02-17 10:51:31 +0100 | benkard | (~mulk@p5b112fd0.dip0.t-ipconnect.de) |
| 2024-02-17 10:51:33 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-95.elisa-laajakaista.fi) |
| 2024-02-17 10:51:56 +0100 | benkard | mulk |
| 2024-02-17 10:52:15 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2024-02-17 10:55:23 +0100 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) (Remote host closed the connection) |
| 2024-02-17 10:57:41 +0100 | yooo | (~yo0O0o@104.28.194.106) |
| 2024-02-17 10:57:57 +0100 | yoo | (~yo0O0o@user/mobivme) (Ping timeout: 272 seconds) |
| 2024-02-17 11:04:56 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-02-17 11:13:04 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2024-02-17 11:28:47 +0100 | CiaoSen | (~Jura@2a05:5800:2d7:4600:e6b9:7aff:fe80:3d03) (Ping timeout: 268 seconds) |
| 2024-02-17 11:30:11 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-02-17 11:34:34 +0100 | yooo | (~yo0O0o@104.28.194.106) (Changing host) |
| 2024-02-17 11:34:34 +0100 | yooo | (~yo0O0o@user/mobivme) |
| 2024-02-17 11:40:30 +0100 | yooo | (~yo0O0o@user/mobivme) (Ping timeout: 268 seconds) |
| 2024-02-17 11:41:18 +0100 | yoo | (~yo0O0o@104.28.194.104) |
| 2024-02-17 11:44:49 +0100 | kwii | (~kwii@94.156.54.252) |
| 2024-02-17 11:45:05 +0100 | kwii | (~kwii@94.156.54.252) (Remote host closed the connection) |
| 2024-02-17 11:54:37 +0100 | zer0bitz- | zer0bitz |
| 2024-02-17 11:58:07 +0100 | yoo | (~yo0O0o@104.28.194.104) (Ping timeout: 260 seconds) |
| 2024-02-17 12:01:37 +0100 | boukenshaou | (~Boukensha@223.178.86.127) |
| 2024-02-17 12:02:59 +0100 | danza_ | (~francesco@151.37.255.211) (Ping timeout: 264 seconds) |
| 2024-02-17 12:05:48 +0100 | evocatus | (~evocatus@2a02:a210:20c6:1f00:d2c0:b982:94f0:fc66) |
| 2024-02-17 12:12:17 +0100 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) |
| 2024-02-17 12:16:16 +0100 | yoo | (~yo0O0o@104.28.226.106) |
| 2024-02-17 12:18:40 +0100 | evocatus | (~evocatus@2a02:a210:20c6:1f00:d2c0:b982:94f0:fc66) (Quit: Leaving) |
| 2024-02-17 12:20:49 +0100 | sudden | (~cat@user/sudden) (Ping timeout: 264 seconds) |
| 2024-02-17 12:21:11 +0100 | rscastilho2024 | (~rscastilh@189.61.140.215) |
| 2024-02-17 12:21:22 +0100 | rscastilho2024 | (~rscastilh@189.61.140.215) (Remote host closed the connection) |
| 2024-02-17 12:21:29 +0100 | sudden | (~cat@user/sudden) |
| 2024-02-17 12:30:48 +0100 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
| 2024-02-17 13:32:21 +0100 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 2024-02-17 13:48:34 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3141-632e-bda8-9531-066e-6b4b.rev.sfr.net) |
| 2024-02-17 13:53:16 +0100 | average | (uid473595@user/average) |
| 2024-02-17 13:59:59 +0100 | anon1123 | (~anon1123@catv-176-63-0-119.catv.fixed.vodafone.hu) (Ping timeout: 264 seconds) |
| 2024-02-17 14:00:18 +0100 | anon1123 | (~anon1123@2a02:ab88:282:b00:da3a:ddff:fe3a:947c) |
| 2024-02-17 14:04:01 +0100 | euleritian | (~euleritia@dynamic-176-005-158-137.176.5.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2024-02-17 14:04:31 +0100 | euleritian | (~euleritia@dynamic-176-005-158-137.176.5.pool.telefonica.de) |
| 2024-02-17 14:07:39 +0100 | azr4e1 | (~azr4e1@137.220.68.193) |
| 2024-02-17 14:09:15 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 2024-02-17 14:14:44 +0100 | azr4e1 | (~azr4e1@137.220.68.193) (Quit: azr4e1) |
| 2024-02-17 14:16:25 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-02-17 14:17:25 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-02-17 14:17:36 +0100 | yoo | (~yo0O0o@104.28.226.106) (Ping timeout: 256 seconds) |
| 2024-02-17 14:17:56 +0100 | azr4e1 | (~azr4e1@137.220.68.193) |
| 2024-02-17 14:18:15 +0100 | yoo | (~yo0O0o@130.105.162.42) |
| 2024-02-17 14:19:36 +0100 | AlexNoo_ | (~AlexNoo@178.34.161.13) (Read error: Connection reset by peer) |
| 2024-02-17 14:20:21 +0100 | AlexNoo | (~AlexNoo@178.34.161.13) |
| 2024-02-17 14:20:43 +0100 | AlexNoo | (~AlexNoo@178.34.161.13) (Read error: Connection reset by peer) |
| 2024-02-17 14:21:02 +0100 | AlexNoo | (~AlexNoo@178.34.161.13) |
| 2024-02-17 14:22:39 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-02-17 14:23:14 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-02-17 14:25:16 +0100 | AlexNoo | (~AlexNoo@178.34.161.13) (Read error: Connection reset by peer) |
| 2024-02-17 14:27:26 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-02-17 14:28:10 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-02-17 14:30:44 +0100 | euleritian | (~euleritia@dynamic-176-005-158-137.176.5.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-02-17 14:31:04 +0100 | euleritian | (~euleritia@dynamic-176-005-158-137.176.5.pool.telefonica.de) |
| 2024-02-17 14:33:50 +0100 | willsewell | (~willsewel@185.195.232.133) |
| 2024-02-17 14:42:33 +0100 | yoo | (~yo0O0o@130.105.162.42) (Ping timeout: 260 seconds) |
| 2024-02-17 14:43:14 +0100 | yoo | (~yo0O0o@104.28.194.104) |
| 2024-02-17 14:45:43 +0100 | willsewell | (~willsewel@185.195.232.133) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2024-02-17 14:45:54 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-02-17 14:46:49 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-02-17 14:47:29 +0100 | willsewell | (~willsewel@185.195.232.133) |
| 2024-02-17 14:47:59 +0100 | yoo | (~yo0O0o@104.28.194.104) (Ping timeout: 264 seconds) |
| 2024-02-17 14:51:13 +0100 | yoo | (~yo0O0o@130.105.162.42) |
| 2024-02-17 14:51:17 +0100 | sprout | (~quassel@2a02-a448-3a80-0-fc36-35dd-11a2-cd35.fixed6.kpn.net) (Ping timeout: 240 seconds) |
| 2024-02-17 14:55:21 +0100 | willsewell | (~willsewel@185.195.232.133) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2024-02-17 14:56:17 +0100 | AlexNoo | (~AlexNoo@178.34.161.13) |
| 2024-02-17 14:56:18 +0100 | AlexNoo | (~AlexNoo@178.34.161.13) (Read error: Connection reset by peer) |
| 2024-02-17 14:56:37 +0100 | AlexNoo | (~AlexNoo@178.34.161.13) |
| 2024-02-17 14:58:21 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-17 15:00:05 +0100 | AlexNoo | (~AlexNoo@178.34.161.13) (Read error: Connection reset by peer) |
| 2024-02-17 15:00:25 +0100 | yoo | (~yo0O0o@130.105.162.42) (Changing host) |
| 2024-02-17 15:00:25 +0100 | yoo | (~yo0O0o@user/mobivme) |
| 2024-02-17 15:00:26 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
| 2024-02-17 15:04:47 +0100 | sprout | (~quassel@2a02-a448-3a80-0-4524-be12-990e-9595.fixed6.kpn.net) |
| 2024-02-17 15:06:59 +0100 | AlexNoo | (~AlexNoo@178.34.161.13) |
| 2024-02-17 15:07:20 +0100 | AlexNoo | (~AlexNoo@178.34.161.13) (Read error: Connection reset by peer) |
| 2024-02-17 15:09:15 +0100 | AlexNoo | (~AlexNoo@178.34.161.13) |
| 2024-02-17 15:09:23 +0100 | michalz | (~michalz@185.246.207.215) |
| 2024-02-17 15:22:14 +0100 | azr4e1 | (~azr4e1@137.220.68.193) (Remote host closed the connection) |
| 2024-02-17 15:30:57 +0100 | Lycurgus | (~georg@li1192-118.members.linode.com) |
| 2024-02-17 15:30:57 +0100 | Lycurgus | (~georg@li1192-118.members.linode.com) (Changing host) |
| 2024-02-17 15:30:57 +0100 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-02-17 15:41:58 +0100 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-02-17 16:01:19 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-17 16:02:17 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2024-02-17 16:02:54 +0100 | yoo | (~yo0O0o@user/mobivme) (Ping timeout: 268 seconds) |
| 2024-02-17 16:03:31 +0100 | willsewell | (~willsewel@185.195.232.133) |
| 2024-02-17 16:10:36 +0100 | willsewell | (~willsewel@185.195.232.133) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2024-02-17 16:19:38 +0100 | rosco | (~rosco@175.136.156.77) (Ping timeout: 252 seconds) |
| 2024-02-17 16:20:24 +0100 | rosco | (~rosco@175.136.156.77) |
| 2024-02-17 16:22:54 +0100 | jorar | (~jorge@user/jorar91) |
| 2024-02-17 16:23:59 +0100 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 264 seconds) |
| 2024-02-17 16:31:03 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-02-17 16:34:57 +0100 | ft | (~ft@p508db2e6.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-02-17 16:36:08 +0100 | dodoyada | (~dodoyada@pool-71-178-11-160.washdc.fios.verizon.net) |
| 2024-02-17 16:36:56 +0100 | ft | (~ft@p508db2e6.dip0.t-ipconnect.de) |
| 2024-02-17 16:37:36 +0100 | jespada_ | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-02-17 16:38:15 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2024-02-17 16:50:18 +0100 | yoo | (~yo0O0o@130.105.162.42) |
| 2024-02-17 16:51:54 +0100 | tabaqui | (~root@94.203.206.27) |
| 2024-02-17 16:59:25 +0100 | yoo | (~yo0O0o@130.105.162.42) (Ping timeout: 255 seconds) |
| 2024-02-17 17:02:12 +0100 | Moyst_ | (~moyst@user/moyst) (Read error: Connection reset by peer) |
| 2024-02-17 17:04:41 +0100 | Moyst_ | (~moyst@user/moyst) |
| 2024-02-17 17:07:03 +0100 | euleritian | (~euleritia@dynamic-176-005-158-137.176.5.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2024-02-17 17:07:43 +0100 | euleritian | (~euleritia@dynamic-176-005-158-137.176.5.pool.telefonica.de) |
| 2024-02-17 17:12:34 +0100 | rosco | (~rosco@175.136.156.77) (Quit: Lost terminal) |
| 2024-02-17 17:14:24 +0100 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-02-17 17:16:24 +0100 | bontaq | (~user@ool-45779c03.dyn.optonline.net) |
| 2024-02-17 17:19:12 +0100 | tabaqui | (~root@94.203.206.27) (Ping timeout: 255 seconds) |
| 2024-02-17 17:25:11 +0100 | mxs | (~mxs@user/mxs) |
| 2024-02-17 17:26:54 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-02-17 17:32:48 +0100 | tabaqui | (~root@91.73.25.176) |
| 2024-02-17 17:34:49 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-02-17 17:44:31 +0100 | mjs2600 | (~mjs2600@c-174-169-225-239.hsd1.vt.comcast.net) (Ping timeout: 256 seconds) |
| 2024-02-17 17:46:39 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2024-02-17 17:49:19 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-02-17 17:49:39 +0100 | mjs2600 | (~mjs2600@c-174-169-225-239.hsd1.vt.comcast.net) |
| 2024-02-17 17:52:45 +0100 | jargon | (~jargon@157.sub-174-205-162.myvzw.com) |
| 2024-02-17 17:55:11 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 264 seconds) |
| 2024-02-17 17:59:30 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3141-632e-bda8-9531-066e-6b4b.rev.sfr.net) (Ping timeout: 250 seconds) |
| 2024-02-17 18:08:41 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-02-17 18:13:43 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-02-17 18:18:08 +0100 | tabaqui1 | (~root@94.206.152.80) |
| 2024-02-17 18:21:39 +0100 | tabaqui | (~root@91.73.25.176) (Ping timeout: 268 seconds) |
| 2024-02-17 18:23:26 +0100 | tabaqui | (~root@5.30.10.241) |
| 2024-02-17 18:26:59 +0100 | tabaqui1 | (~root@94.206.152.80) (Ping timeout: 264 seconds) |
| 2024-02-17 18:27:28 +0100 | Square | (~Square@user/square) |
| 2024-02-17 18:28:52 +0100 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 2024-02-17 18:49:40 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 246 seconds) |
| 2024-02-17 18:54:00 +0100 | infinity0 | (~infinity0@pwned.gg) |
| 2024-02-17 18:58:00 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 2024-02-17 18:58:47 +0100 | euleritian | (~euleritia@dynamic-176-005-158-137.176.5.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2024-02-17 18:58:50 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
| 2024-02-17 18:59:06 +0100 | tabaqui | (~root@5.30.10.241) (Ping timeout: 255 seconds) |
| 2024-02-17 19:06:17 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-02-17 19:07:13 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2024-02-17 19:08:09 +0100 | tabaqui | (~root@94.200.250.55) |
| 2024-02-17 19:11:56 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-17 19:12:28 +0100 | tabaqui1 | (~root@94.203.204.146) |
| 2024-02-17 19:13:03 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-02-17 19:13:13 +0100 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 272 seconds) |
| 2024-02-17 19:15:37 +0100 | tabaqui | (~root@94.200.250.55) (Ping timeout: 256 seconds) |
| 2024-02-17 19:17:46 +0100 | tabaqui | (~root@80.227.200.53) |
| 2024-02-17 19:20:02 +0100 | shapr` | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 2024-02-17 19:20:43 +0100 | tabaqui1 | (~root@94.203.204.146) (Ping timeout: 256 seconds) |
| 2024-02-17 19:22:46 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-02-17 19:23:05 +0100 | tabaqui1 | (~root@87.201.184.2) |
| 2024-02-17 19:26:17 +0100 | mizlan | (~mizlan@131.179.94.114) |
| 2024-02-17 19:26:23 +0100 | tabaqui | (~root@80.227.200.53) (Ping timeout: 256 seconds) |
| 2024-02-17 19:31:57 +0100 | tabaqui1 | (~root@87.201.184.2) (Ping timeout: 268 seconds) |
| 2024-02-17 19:39:27 +0100 | euleritian | (~euleritia@dynamic-176-003-001-212.176.3.pool.telefonica.de) |
| 2024-02-17 19:39:59 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2024-02-17 19:44:00 +0100 | euleritian | (~euleritia@dynamic-176-003-001-212.176.3.pool.telefonica.de) (Ping timeout: 256 seconds) |
| 2024-02-17 19:45:17 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3341-a5e0-f04d-3c85-4f61-e5fc.rev.sfr.net) |
| 2024-02-17 19:45:28 +0100 | tabaqui | (~root@91.73.33.14) |
| 2024-02-17 19:46:59 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2024-02-17 19:47:33 +0100 | mizlan | (~mizlan@131.179.94.114) (Quit: mizlan) |
| 2024-02-17 19:49:28 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-02-17 19:53:47 +0100 | euleritian | (~euleritia@dynamic-176-006-185-145.176.6.pool.telefonica.de) |
| 2024-02-17 19:55:20 +0100 | mizlan | (~mizlan@131.179.94.114) |
| 2024-02-17 19:55:49 +0100 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 246 seconds) |
| 2024-02-17 19:56:09 +0100 | mizlan | (~mizlan@131.179.94.114) (Client Quit) |
| 2024-02-17 19:58:37 +0100 | euleritian | (~euleritia@dynamic-176-006-185-145.176.6.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2024-02-17 20:05:31 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-02-17 20:07:37 +0100 | target_i | (~target_i@217.175.14.39) |
| 2024-02-17 20:15:49 +0100 | yoo | (~yo0O0o@130.105.162.42) |
| 2024-02-17 20:16:14 +0100 | arthurvl | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) |
| 2024-02-17 20:16:33 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-17 20:16:46 +0100 | arthurvl | earthy |
| 2024-02-17 20:21:42 +0100 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2024-02-17 20:26:02 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 252 seconds) |
| 2024-02-17 20:45:13 +0100 | boukenshaou | (~Boukensha@223.178.86.127) (Remote host closed the connection) |
| 2024-02-17 20:53:34 +0100 | cptaffe` | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2024-02-17 20:53:39 +0100 | ursa-major | (~ursa-majo@c-174-63-24-92.hsd1.co.comcast.net) |
| 2024-02-17 21:04:40 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-17 21:04:54 +0100 | shapr` | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Quit: ERC 5.5 (IRC client for GNU Emacs 29.2)) |
| 2024-02-17 21:10:12 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2024-02-17 21:15:18 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-02-17 21:21:43 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 268 seconds) |
| 2024-02-17 21:25:12 +0100 | hackyhacker | (~hackyhack@83-217-143-218.access.telenet.be) |
| 2024-02-17 21:28:48 +0100 | cptaffe | (~cptaffe@2600:1700:f08:111f::18e7) |
| 2024-02-17 21:29:13 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-02-17 21:32:35 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2024-02-17 21:33:29 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-02-17 21:41:32 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-02-17 21:47:11 +0100 | phma | (~phma@2001:5b0:211f:7668:c06b:4bbf:a33c:c0f7) (Read error: Connection reset by peer) |
| 2024-02-17 21:47:26 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2024-02-17 21:47:55 +0100 | phma | (~phma@host-67-44-208-180.hnremote.net) |
| 2024-02-17 21:50:52 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-02-17 21:55:14 +0100 | <ncf> | ski, irregularsphere: i'm silly, of course the converse implication doesn't hold: Maybe is idempotent in ski's sense, but is not an idempotent monad (Maybe (Maybe a) is not isomorphic to Maybe a in general) |
| 2024-02-17 21:57:23 +0100 | <ncf> | i've also seen edwardk use "idempotent monad" to mean "idempotent applicative" here https://www.reddit.com/r/haskell/comments/b7xsp1/comment/ejv1n88/ , so i guess the takeaway is that when haskellers say "idempotent monad" they mean something strictly weaker than when category theorists say it |
| 2024-02-17 21:57:45 +0100 | dut | (~dut@user/dut) |
| 2024-02-17 21:57:58 +0100 | dut | (~dut@user/dut) (Remote host closed the connection) |
| 2024-02-17 21:58:17 +0100 | ursa-major | (~ursa-majo@c-174-63-24-92.hsd1.co.comcast.net) (Quit: WeeChat 4.2.1) |
| 2024-02-17 21:58:54 +0100 | <ncf> | also this notion of idempotent applicative is annoyingly ad hoc: there are two notions of "idempotent monoid" that make sense in category theory, but if you see an applicative functor as a monoid wrt day convolution this is neither of them |
| 2024-02-17 22:00:08 +0100 | <ncf> | 1. if you take "idempotent monoid" to mean "multiplication is iso" (just like for idempotent monads), then what you get is a "strong monoidal functor" (not in the sense of having a strength, but in the sense that (f a, f b) → f (a, b) is an isomorphism) |
| 2024-02-17 22:00:20 +0100 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 2024-02-17 22:02:00 +0100 | <ncf> | 2. if you take "idempotent monoid" to mean "multiplication ∘ diagonal = id" (so, the categorical analogue of a · a = a) then you need to pick a way to define the diagonal for Day convolution; let's say you pick \a → Day a a snd, then what you get is a condition which duplode shows is different from "idempotent applicative" in this blog post |
| 2024-02-17 22:02:01 +0100 | <ncf> | https://duplode.github.io/posts/idempotent-applicatives-parametricity-and-a-puzzle.html |
| 2024-02-17 22:02:56 +0100 | ursa-major | (~ursa-majo@c-174-63-24-92.hsd1.co.comcast.net) |
| 2024-02-17 22:03:35 +0100 | ursa-major | (~ursa-majo@c-174-63-24-92.hsd1.co.comcast.net) (Client Quit) |
| 2024-02-17 22:07:37 +0100 | ursa-major | (~ursa-majo@c-174-63-24-92.hsd1.co.comcast.net) |
| 2024-02-17 22:15:14 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-02-17 22:29:16 +0100 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-02-17 22:30:37 +0100 | zetef | (~quassel@2a02:2f00:5208:300:c040:6289:5a5f:2d91) |
| 2024-02-17 22:36:34 +0100 | zetef | (~quassel@2a02:2f00:5208:300:c040:6289:5a5f:2d91) (Remote host closed the connection) |
| 2024-02-17 22:44:05 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-17 22:50:59 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-02-17 22:51:21 +0100 | euleritian | (~euleritia@dynamic-176-006-185-145.176.6.pool.telefonica.de) |
| 2024-02-17 22:54:32 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2024-02-17 22:57:32 +0100 | sroso | (~sroso@user/SrOso) |
| 2024-02-17 22:58:50 +0100 | euleritian | (~euleritia@dynamic-176-006-185-145.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-17 22:59:08 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-17 23:02:14 +0100 | <dmj`> | is there a library where a parser will simultaneously construct a pretty printer |
| 2024-02-17 23:03:21 +0100 | <davean> | Yes |
| 2024-02-17 23:03:28 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-02-17 23:03:50 +0100 | <dmj`> | davean: does it have a name? |
| 2024-02-17 23:04:08 +0100 | <davean> | THere are lots of them, its a standardish technique, bidirectionality. |
| 2024-02-17 23:05:15 +0100 | <dmj`> | davean: do you have a hackage link to one of them? |
| 2024-02-17 23:05:53 +0100 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2024-02-17 23:06:04 +0100 | <davean> | https://hackage.haskell.org/package/profunctor-monad https://hackage.haskell.org/package/unjson https://hackage.haskell.org/package/bidirectional-0.1.0.0/docs/Data-IParser.html |
| 2024-02-17 23:06:16 +0100 | <davean> | I mean I wouldn't specificly recomend those |
| 2024-02-17 23:06:27 +0100 | <davean> | I don't use these techniques myself |
| 2024-02-17 23:06:47 +0100 | <davean> | Because often I find parsers and generators are divergent |
| 2024-02-17 23:07:15 +0100 | michalz | (~michalz@185.246.207.215) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-17 23:07:52 +0100 | <davean> | https://hackage.haskell.org/package/roundtrip-0.2.0.7 that links to one of the papers that popularized it |
| 2024-02-17 23:08:26 +0100 | <dmj`> | davean: Most haskell compiler source I've read do not use this technique, even for the IRs. Curious because it seems like it would save a lot of time. |
| 2024-02-17 23:08:35 +0100 | <davean> | I tihnk iots a dumb idea |
| 2024-02-17 23:08:45 +0100 | <davean> | They're probably experienced |
| 2024-02-17 23:10:14 +0100 | <davean> | I think you'll find the idea falls appart immediately because they simply aren't the same problem |
| 2024-02-17 23:11:09 +0100 | <davean> | Think about it for a moment, what happens when you have a slightly new version? Do you want to generate the optional whitespace? Etc |
| 2024-02-17 23:11:30 +0100 | <davean> | You'll do a bad job of one of the sides |
| 2024-02-17 23:11:53 +0100 | <davean> | and it'll end up more complicated in the end because you have to deal with the other code paths than the ones you're currently working with |
| 2024-02-17 23:11:55 +0100 | <davean> | its just bad |
| 2024-02-17 23:15:29 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-17 23:16:36 +0100 | <dmj`> | davean: To your example, it depends if you lex away the whitespace up front. In theory printing is the inverse of parsing. Haskell for example becomes whitespace insensitive. In that case printing would become formatting as well. Ideally a function could be produced that takes the AST and layout options on how you'd like to pretty print. |
| 2024-02-17 23:17:20 +0100 | <dmj`> | but yes you'd lose bidirectionality |
| 2024-02-17 23:20:32 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-02-17 23:21:17 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-02-17 23:22:55 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2024-02-17 23:23:26 +0100 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-02-17 23:24:19 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-02-17 23:29:01 +0100 | dodoyada | (~dodoyada@pool-71-178-11-160.washdc.fios.verizon.net) (Quit: Client closed) |
| 2024-02-17 23:29:08 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2024-02-17 23:30:07 +0100 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2024-02-17 23:30:32 +0100 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Client Quit) |
| 2024-02-17 23:31:24 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-02-17 23:32:19 +0100 | qqq | (~qqq@92.43.167.61) |
| 2024-02-17 23:39:26 +0100 | dodoyada | (~dodoyada@pool-71-178-11-160.washdc.fios.verizon.net) |
| 2024-02-17 23:40:28 +0100 | dodoyada | (~dodoyada@pool-71-178-11-160.washdc.fios.verizon.net) (Client Quit) |
| 2024-02-17 23:42:43 +0100 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2024-02-17 23:42:46 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-02-17 23:50:36 +0100 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-02-17 23:51:34 +0100 | shapr` | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 2024-02-17 23:53:24 +0100 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Ping timeout: 255 seconds) |
| 2024-02-17 23:54:16 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |