2024-06-21 00:00:10 +0200 | bgamari_ | (~bgamari@64.223.157.161) |
2024-06-21 00:01:55 +0200 | bgamari | (~bgamari@64.223.238.64) (Ping timeout: 256 seconds) |
2024-06-21 00:13:47 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e714dc085da20c6dea9e24be.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2024-06-21 00:14:08 +0200 | <monochrom> | It will be difficult (impossible?) to tell GHC "these are static data, don't bother traversing them during GC". But GHC GC is generational, it will eventually discover that the data has been live for too long so mark them as "very old generation" and then they are traversed infrequently. |
2024-06-21 00:15:14 +0200 | <monochrom> | Likewise for the opposite, data that comes and goes fleetingly, GHC keeps them cheap. |
2024-06-21 00:16:29 +0200 | <geekosaur> | compact regions, but you need to obey their rules or they won't work |
2024-06-21 00:16:30 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 255 seconds) |
2024-06-21 00:21:36 +0200 | <EvanR> | didn't know about "very old generational" |
2024-06-21 00:21:46 +0200 | <geekosaur> | but if your data is truly static, chuck it into a compact region and GC won't traverse anything pointing into it |
2024-06-21 00:22:45 +0200 | <EvanR> | oh very old generation is just the oldest generation |
2024-06-21 00:22:50 +0200 | <geekosaur> | you can specify a number of generations (default is 1 + nursery) |
2024-06-21 00:23:21 +0200 | <geekosaur> | if you add more, GC of successive generations gets rarer and rarer |
2024-06-21 00:26:46 +0200 | <EvanR> | I'm guessing that can lead to huge memory usage? |
2024-06-21 00:27:22 +0200 | <geekosaur> | not really, you're using the same amount of memory but there's a little more overhead in GC |
2024-06-21 00:27:54 +0200 | <geekosaur> | heap is allocated in blocks, it'll only be huge if you change the default heap block size |
2024-06-21 00:27:55 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 272 seconds) |
2024-06-21 00:31:48 +0200 | phma | (phma@2001:5b0:2172:eb58:a102:8e01:4f76:63c6) (Read error: Connection reset by peer) |
2024-06-21 00:32:33 +0200 | phma | (~phma@host-67-44-208-58.hnremote.net) |
2024-06-21 00:49:14 +0200 | yin | (~yin@user/zero) |
2024-06-21 00:56:51 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
2024-06-21 00:59:58 +0200 | destituion | (~destituio@2a02:2121:306:89fe:b849:537f:4eb9:4445) (Ping timeout: 246 seconds) |
2024-06-21 01:00:46 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-06-21 01:16:12 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-06-21 01:18:30 +0200 | pavonia | (~user@user/siracusa) |
2024-06-21 01:39:49 +0200 | bontaq | (~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 256 seconds) |
2024-06-21 01:41:00 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-06-21 01:41:04 +0200 | Square | (~Square@user/square) (Quit: Leaving) |
2024-06-21 02:04:43 +0200 | dcoutts__ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) |
2024-06-21 02:10:53 +0200 | wlhn | (~wenzel@dl46fx8hbfttwvhb-h1ly-3.rev.dnainternet.fi) |
2024-06-21 02:32:05 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
2024-06-21 02:37:59 +0200 | henry40408 | (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
2024-06-21 02:38:27 +0200 | henry40408 | (~henry4040@175.182.111.183) |
2024-06-21 02:47:15 +0200 | henry40408 | (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
2024-06-21 02:47:43 +0200 | henry40408 | (~henry4040@175.182.111.183) |
2024-06-21 03:00:37 +0200 | saus | (~saus@pool-98-114-45-229.phlapa.fios.verizon.net) |
2024-06-21 03:11:55 +0200 | xff0x | (~xff0x@ai068022.d.east.v6connect.net) (Ping timeout: 246 seconds) |
2024-06-21 03:13:58 +0200 | danse-nr3 | (~danse-nr3@151.57.64.108) |
2024-06-21 03:17:42 +0200 | xff0x | (~xff0x@2405:6580:b080:900:2fdd:342b:c728:4b76) |
2024-06-21 03:18:18 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 255 seconds) |
2024-06-21 03:23:32 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:2412:852b:477a:286f) |
2024-06-21 03:39:47 +0200 | saus | (~saus@pool-98-114-45-229.phlapa.fios.verizon.net) (Quit: Client closed) |
2024-06-21 03:43:11 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:9777:b507:d595:41c9) |
2024-06-21 03:52:59 +0200 | dcoutts__ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Ping timeout: 256 seconds) |
2024-06-21 04:00:32 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
2024-06-21 04:01:14 +0200 | rvalue | (~rvalue@user/rvalue) |
2024-06-21 04:02:30 +0200 | dyniec | (~dyniec@dybiec.info) (Quit: WeeChat 4.2.2) |
2024-06-21 04:02:33 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-06-21 04:07:17 +0200 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |
2024-06-21 04:08:02 +0200 | iqubic | (~sophia@2601:602:9502:c70:6afe:7af5:5891:b32f) (Remote host closed the connection) |
2024-06-21 04:19:14 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-06-21 04:25:27 +0200 | xff0x | (~xff0x@2405:6580:b080:900:2fdd:342b:c728:4b76) (Ping timeout: 264 seconds) |
2024-06-21 04:29:16 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2024-06-21 04:43:31 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
2024-06-21 04:45:03 +0200 | rosco | (~rosco@175.136.155.137) |
2024-06-21 04:46:23 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
2024-06-21 04:54:11 +0200 | xdminsy | (~xdminsy@117.147.70.231) (Quit: Konversation terminated!) |
2024-06-21 04:54:41 +0200 | td_ | (~td@i5387090C.versanet.de) (Ping timeout: 268 seconds) |
2024-06-21 04:56:28 +0200 | td_ | (~td@i53870921.versanet.de) |
2024-06-21 05:01:24 +0200 | xdminsy | (~xdminsy@117.147.70.231) |
2024-06-21 05:09:53 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer) |
2024-06-21 05:12:10 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
2024-06-21 05:16:05 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 272 seconds) |
2024-06-21 05:17:28 +0200 | andrewboltachev | (~andrey@178.141.121.180) (Quit: Leaving.) |
2024-06-21 05:19:34 +0200 | sp1ff | (~user@c-24-21-45-157.hsd1.wa.comcast.net) (Remote host closed the connection) |
2024-06-21 05:21:50 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2024-06-21 05:32:39 +0200 | danse-nr3 | (~danse-nr3@151.57.64.108) (Ping timeout: 264 seconds) |
2024-06-21 05:43:03 +0200 | aforemny | (~aforemny@2001:9e8:6cc8:d500:4601:9954:5a57:3fa8) |
2024-06-21 05:43:17 +0200 | aforemny_ | (~aforemny@i59F516D3.versanet.de) (Ping timeout: 240 seconds) |
2024-06-21 05:44:22 +0200 | danse-nr3 | (~danse-nr3@151.57.64.108) |
2024-06-21 05:46:07 +0200 | danse-nr3 | (~danse-nr3@151.57.64.108) (Read error: Connection reset by peer) |
2024-06-21 05:47:11 +0200 | danse-nr3 | (~danse-nr3@151.43.70.19) |
2024-06-21 05:52:14 +0200 | <cheater> | i have a problem |
2024-06-21 05:52:37 +0200 | <cheater> | my local hackage can index private dependencies no problem but it can't actually index what's on my disk |
2024-06-21 05:52:48 +0200 | <cheater> | so my packages that are on the disk |
2024-06-21 05:52:50 +0200 | <cheater> | how do i do that? |
2024-06-21 06:00:15 +0200 | <danse-nr3> | those are also called "local" dependencies |
2024-06-21 06:00:43 +0200 | <danse-nr3> | there is a way through cabal.project i think but i always forget the details |
2024-06-21 06:01:26 +0200 | <danse-nr3> | oh sorry, overlooked that was about hackage |
2024-06-21 06:06:42 +0200 | <cheater> | yup |
2024-06-21 06:13:33 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-06-21 06:19:07 +0200 | iza4k5 | (~iza4k5@2806:2f0:5321:fd27:bbca:24ba:4ae6:58b2) |
2024-06-21 06:19:07 +0200 | <cheater> | sorry i'm stupid i meant hoogle |
2024-06-21 06:19:20 +0200 | <cheater> | my local >>hoogle<< does not index my local packages |
2024-06-21 06:19:47 +0200 | kyborg2011 | (~kyborg201@host-176-36-215-61.b024.la.net.ua) (Ping timeout: 264 seconds) |
2024-06-21 06:21:44 +0200 | kyborg2011 | (~kyborg201@host-176-36-215-61.b024.la.net.ua) |
2024-06-21 06:23:54 +0200 | iza4k5 | (~iza4k5@2806:2f0:5321:fd27:bbca:24ba:4ae6:58b2) (Remote host closed the connection) |
2024-06-21 06:24:04 +0200 | iza4k5 | (~iza4k5@2806:2f0:5321:fd27:bbca:24ba:4ae6:58b2) |
2024-06-21 06:27:49 +0200 | <danse-nr3> | oh |
2024-06-21 06:28:23 +0200 | <cheater> | ok so digging more into this it comes from iohk's haskell.nix, and specifically its 'withHoogle' directive |
2024-06-21 06:29:17 +0200 | <danse-nr3> | you are adding layers now. Well i use `hoogle generate` with stack |
2024-06-21 06:29:47 +0200 | <danse-nr3> | and then `hoogle server` with the same --database |
2024-06-21 06:30:07 +0200 | <cheater> | i don't use stack,i t's a cabal project |
2024-06-21 06:30:08 +0200 | <cheater> | however |
2024-06-21 06:30:25 +0200 | <cheater> | i've noticed on github there's kokobd/cabal-hoogle |
2024-06-21 06:30:35 +0200 | <cheater> | that can create a hoogle database for a cabal project. |
2024-06-21 06:30:48 +0200 | <cheater> | ok but |
2024-06-21 06:31:01 +0200 | <cheater> | i don't really understand what a hoogle database is. can multiple programs populate the same database? |
2024-06-21 06:31:12 +0200 | <danse-nr3> | the point is to produce a database with `hoogle generate`, the stack part is just about having hoogle as a binary |
2024-06-21 06:31:23 +0200 | iza4k5 | (~iza4k5@2806:2f0:5321:fd27:bbca:24ba:4ae6:58b2) (Remote host closed the connection) |
2024-06-21 06:31:33 +0200 | iza4k5 | (~iza4k5@2806:2f0:5321:fd27:bbca:24ba:4ae6:58b2) |
2024-06-21 06:31:38 +0200 | dev2 | (~dev@2405:201:c062:801d:7892:988f:5a47:991b) |
2024-06-21 06:31:52 +0200 | <danse-nr3> | i don't think so. Why would you need that? Anyways, the database is how one would expect an index to be structured |
2024-06-21 06:32:10 +0200 | <danse-nr3> | it's a bit funny, at times it seems to get corrupted when i kill the hoogle server |
2024-06-21 06:32:16 +0200 | <danse-nr3> | and i have to regenerate it |
2024-06-21 06:32:46 +0200 | <cheater> | what's the default path for it? it's not in my git checkout... hmm... |
2024-06-21 06:33:11 +0200 | <danse-nr3> | there is --database to use with `hoogle generate` and `hoogle server`, getting into docs area |
2024-06-21 06:33:42 +0200 | <cheater> | yeah i've seen this. but i don't use --database, i just run it directly, and it's already populated, meaning the database is somewhere else |
2024-06-21 06:33:44 +0200 | <danse-nr3> | not sure about the default nor whether one exists |
2024-06-21 06:33:50 +0200 | iza4k5 | (~iza4k5@2806:2f0:5321:fd27:bbca:24ba:4ae6:58b2) (Remote host closed the connection) |
2024-06-21 06:33:53 +0200 | <danse-nr3> | hmm i see |
2024-06-21 06:34:00 +0200 | iza4k5 | (~iza4k5@2806:2f0:5321:fd27:bbca:24ba:4ae6:58b2) |
2024-06-21 06:34:27 +0200 | <cheater> | can hoogle run without a database at all? |
2024-06-21 06:34:30 +0200 | <cheater> | or is that impossible |
2024-06-21 06:35:11 +0200 | iza4k5 | (~iza4k5@2806:2f0:5321:fd27:bbca:24ba:4ae6:58b2) (Remote host closed the connection) |
2024-06-21 06:35:14 +0200 | <danse-nr3> | nah i don't think so |
2024-06-21 06:36:03 +0200 | <danse-nr3> | but hackage can if you can content yourself with that |
2024-06-21 06:36:28 +0200 | <cheater> | no my objective is to get hoogle going |
2024-06-21 06:36:31 +0200 | <danse-nr3> | huh i meant haddock sorry |
2024-06-21 06:37:30 +0200 | <cheater> | nah need that hoogle |
2024-06-21 06:37:36 +0200 | <cheater> | it's so confusing because all of them start with h |
2024-06-21 06:38:35 +0200 | <danse-nr3> | i don't think it's difficult to generate a database, no matter whether one uses stack or cabal, but not sure about the nix file you mentioned |
2024-06-21 06:40:27 +0200 | dev2 | (~dev@2405:201:c062:801d:7892:988f:5a47:991b) (Quit: WeeChat 4.3.2) |
2024-06-21 06:41:01 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-06-21 06:41:17 +0200 | madhavanmiui | (~madhavanm@2409:40f4:2001:b884:8000::) |
2024-06-21 06:48:32 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-06-21 06:53:03 +0200 | michalz | (~michalz@185.246.207.221) |
2024-06-21 06:58:57 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-06-21 07:02:55 +0200 | <cheater> | so there's a bunch of default.hoo files under my nix store |
2024-06-21 07:03:17 +0200 | <cheater> | each one's like /nix/store/(hash)-hoogle-with-packages/share/doc/hoogle/default.hoo |
2024-06-21 07:05:29 +0200 | <cheater> | one of them is the hoogle that `which hoogle` resolves to |
2024-06-21 07:11:16 +0200 | amjoseph | (~amjoseph@static-198-44-128-146.cust.tzulo.com) (Ping timeout: 268 seconds) |
2024-06-21 07:11:59 +0200 | kyborg2011 | (~kyborg201@host-176-36-215-61.b024.la.net.ua) (Ping timeout: 264 seconds) |
2024-06-21 07:13:43 +0200 | <cheater> | aha so there's hoogle combine |
2024-06-21 07:14:12 +0200 | <cheater> | that merges two databases |
2024-06-21 07:14:30 +0200 | <cheater> | that command does NOT show up in hoogle -h |
2024-06-21 07:14:48 +0200 | <cheater> | and also... doesn't seem to be a thing. |
2024-06-21 07:14:51 +0200 | <cheater> | so the wiki is wrong ? |
2024-06-21 07:15:55 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b960:a570:a53a:e862:a200) (Ping timeout: 260 seconds) |
2024-06-21 07:16:40 +0200 | michalz | (~michalz@185.246.207.221) (Quit: ZNC 1.9.0 - https://znc.in) |
2024-06-21 07:17:06 +0200 | <cheater> | combine was deleted 8 years ago |
2024-06-21 07:17:29 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b960:5cec:72b5:6b96:2c4d) |
2024-06-21 07:19:27 +0200 | michalz | (~michalz@185.246.207.222) |
2024-06-21 07:19:56 +0200 | rosco | (~rosco@175.136.155.137) (Quit: Lost terminal) |
2024-06-21 07:21:34 +0200 | madhavanmiui | (~madhavanm@2409:40f4:2001:b884:8000::) (Read error: Connection reset by peer) |
2024-06-21 07:21:47 +0200 | madhavanmiui | (~madhavanm@152.58.247.212) |
2024-06-21 07:21:49 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b960:5cec:72b5:6b96:2c4d) (Ping timeout: 246 seconds) |
2024-06-21 07:23:56 +0200 | wenzel_ | (~wenzel@dl46fx8hbfttwvhb-h1ly-3.rev.dnainternet.fi) |
2024-06-21 07:23:59 +0200 | jcarpenter2 | (~lol@96.78.87.197) |
2024-06-21 07:24:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-06-21 07:25:09 +0200 | danse-nr3 | (~danse-nr3@151.43.70.19) (Ping timeout: 268 seconds) |
2024-06-21 07:27:00 +0200 | wlhn | (~wenzel@dl46fx8hbfttwvhb-h1ly-3.rev.dnainternet.fi) (Ping timeout: 268 seconds) |
2024-06-21 07:30:07 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-06-21 07:30:50 +0200 | amjoseph | (~amjoseph@static-198-44-128-146.cust.tzulo.com) |
2024-06-21 07:31:20 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-06-21 07:31:49 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-06-21 07:32:17 +0200 | euphores | (~SASL_euph@user/euphores) (Client Quit) |
2024-06-21 07:32:42 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-06-21 07:34:39 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-06-21 07:39:19 +0200 | danse-nr3 | (~danse-nr3@151.43.70.19) |
2024-06-21 07:42:42 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e714dc0755a3999fc5d750b0.dip0.t-ipconnect.de) |
2024-06-21 07:43:31 +0200 | madhavanmiui | (~madhavanm@152.58.247.212) (Remote host closed the connection) |
2024-06-21 07:43:41 +0200 | madhavanmiui | (~madhavanm@2409:40f4:2001:b884:8000::) |
2024-06-21 07:45:08 +0200 | madhavanmiui | (~madhavanm@2409:40f4:2001:b884:8000::) (Read error: Connection reset by peer) |
2024-06-21 07:45:20 +0200 | madhavanmiui | (~madhavanm@152.58.247.212) |
2024-06-21 07:45:33 +0200 | madhavanmiui | (~madhavanm@152.58.247.212) (Client Quit) |
2024-06-21 07:47:59 +0200 | <cheater> | what if i created a single package that depends on all my local packages but also on all their dependencies, and then ran hoogle generate on that |
2024-06-21 07:55:17 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 240 seconds) |
2024-06-21 08:00:44 +0200 | JamesMowery5 | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) |
2024-06-21 08:02:35 +0200 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Ping timeout: 260 seconds) |
2024-06-21 08:02:35 +0200 | JamesMowery5 | JamesMowery |
2024-06-21 08:04:36 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-06-21 08:10:24 +0200 | xdminsy | (~xdminsy@117.147.70.231) (Read error: Connection reset by peer) |
2024-06-21 08:11:36 +0200 | xdminsy | (~xdminsy@117.147.70.231) |
2024-06-21 08:13:24 +0200 | <danse-nr3> | yes usually one would run hoogle generate after an haddock build, so that would be from a cabal or stack root package |
2024-06-21 08:26:33 +0200 | xdminsy | (~xdminsy@117.147.70.231) (Ping timeout: 255 seconds) |
2024-06-21 08:27:07 +0200 | danse-nr3 | (~danse-nr3@151.43.70.19) (Ping timeout: 268 seconds) |
2024-06-21 08:28:27 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 264 seconds) |
2024-06-21 08:29:30 +0200 | dcoutts__ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) |
2024-06-21 08:30:02 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
2024-06-21 08:36:50 +0200 | ridcully | (~ridcully@p508ac2b4.dip0.t-ipconnect.de) (Quit: WeeChat 4.3.1) |
2024-06-21 08:42:19 +0200 | rosco | (~rosco@175.136.155.137) |
2024-06-21 08:44:55 +0200 | johnw_ | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
2024-06-21 08:46:08 +0200 | xdminsy | (~xdminsy@117.147.70.231) |
2024-06-21 08:48:04 +0200 | madhavanmiui | (~madhavanm@2409:40f4:2001:b884:8000::) |
2024-06-21 08:54:19 +0200 | madhavanmiui | (~madhavanm@2409:40f4:2001:b884:8000::) (Quit: Quit) |
2024-06-21 08:54:53 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2024-06-21 08:56:29 +0200 | danse-nr3 | (~danse-nr3@151.43.226.38) |
2024-06-21 08:58:27 +0200 | kuribas | (~user@ptr-17d51emfywuvjswcfv8.18120a2.ip6.access.telenet.be) (Ping timeout: 264 seconds) |
2024-06-21 09:06:19 +0200 | dcoutts__ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Remote host closed the connection) |
2024-06-21 09:06:41 +0200 | dcoutts__ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) |
2024-06-21 09:10:02 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2024-06-21 09:10:24 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-06-21 09:10:26 +0200 | wenzel_ | (~wenzel@dl46fx8hbfttwvhb-h1ly-3.rev.dnainternet.fi) (Quit: Leaving) |
2024-06-21 09:10:44 +0200 | wlhn | (~wlhn@dl46fx8hbfttwvhb-h1ly-3.rev.dnainternet.fi) |
2024-06-21 09:14:51 +0200 | danse-nr3 | (~danse-nr3@151.43.226.38) (Ping timeout: 272 seconds) |
2024-06-21 09:15:39 +0200 | cfricke | (~cfricke@user/cfricke) |
2024-06-21 09:16:31 +0200 | kyborg2011 | (~kyborg201@host-176-36-215-61.b024.la.net.ua) |
2024-06-21 09:18:42 +0200 | danse-nr3 | (~danse-nr3@151.43.226.38) |
2024-06-21 09:21:39 +0200 | kyborg2011 | (~kyborg201@host-176-36-215-61.b024.la.net.ua) (Ping timeout: 256 seconds) |
2024-06-21 09:24:30 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-06-21 09:24:37 +0200 | euleritian | (~euleritia@dynamic-176-007-160-062.176.7.pool.telefonica.de) |
2024-06-21 09:24:57 +0200 | euleritian | (~euleritia@dynamic-176-007-160-062.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-06-21 09:25:17 +0200 | ridcully | (~ridcully@p508ac2b4.dip0.t-ipconnect.de) |
2024-06-21 09:25:20 +0200 | euleritian | (~euleritia@dynamic-176-007-160-062.176.7.pool.telefonica.de) |
2024-06-21 09:26:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-06-21 09:34:03 +0200 | dcoutts__ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Ping timeout: 260 seconds) |
2024-06-21 09:40:45 +0200 | kuribas | (~user@2a02:1808:3:d3f2:a38d:1908:36ff:1384) |
2024-06-21 09:43:45 +0200 | danse-nr3 | (~danse-nr3@151.43.226.38) (Ping timeout: 256 seconds) |
2024-06-21 09:44:16 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
2024-06-21 09:44:34 +0200 | rosco | (~rosco@175.136.155.137) (Quit: Lost terminal) |
2024-06-21 09:46:59 +0200 | kuribas | (~user@2a02:1808:3:d3f2:a38d:1908:36ff:1384) (Remote host closed the connection) |
2024-06-21 09:47:13 +0200 | kuribas | (~user@2a02:1808:3:d3f2:a38d:1908:36ff:1384) |
2024-06-21 09:49:18 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:9777:b507:d595:41c9) (Quit: Leaving) |
2024-06-21 09:51:41 +0200 | PHO` | (~pho@akari.cielonegro.org) (Ping timeout: 256 seconds) |
2024-06-21 09:51:59 +0200 | PHO` | (~pho@akari.cielonegro.org) |
2024-06-21 09:53:09 +0200 | riatre | (~quassel@2001:310:6000:f::5198:1) (Ping timeout: 268 seconds) |
2024-06-21 09:53:44 +0200 | riatre | (~quassel@2001:310:6000:f::5198:1) |
2024-06-21 09:54:31 +0200 | euleritian | (~euleritia@dynamic-176-007-160-062.176.7.pool.telefonica.de) (Ping timeout: 256 seconds) |
2024-06-21 10:00:14 +0200 | notzmv | (~daniel@user/notzmv) (Ping timeout: 268 seconds) |
2024-06-21 10:02:33 +0200 | andrei_n | (~andrei_n@2001:6a8:3081:6f02:8532:f95b:ea49:a4ed) |
2024-06-21 10:02:33 +0200 | andrei_n | (~andrei_n@2001:6a8:3081:6f02:8532:f95b:ea49:a4ed) (Changing host) |
2024-06-21 10:02:33 +0200 | andrei_n | (~andrei_n@user/andrei-n:62396) |
2024-06-21 10:08:15 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
2024-06-21 10:09:47 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-06-21 10:11:31 +0200 | rosco | (~rosco@175.136.155.137) |
2024-06-21 10:14:10 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-06-21 10:14:27 +0200 | siw5ohs0 | (~aiw5ohs0@user/aiw5ohs0) |
2024-06-21 10:14:45 +0200 | siw5ohs0 | (~aiw5ohs0@user/aiw5ohs0) (Leaving) |
2024-06-21 10:16:49 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:eb7f:c05a:96e8:9d17) |
2024-06-21 10:18:27 +0200 | kuribas | (~user@2a02:1808:3:d3f2:a38d:1908:36ff:1384) (Ping timeout: 256 seconds) |
2024-06-21 10:20:09 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 256 seconds) |
2024-06-21 10:25:51 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
2024-06-21 10:30:17 +0200 | euleritian | (~euleritia@dynamic-176-007-160-062.176.7.pool.telefonica.de) |
2024-06-21 10:30:58 +0200 | kuribas | (~user@2a02:1808:3:d3f2:7437:7632:ac15:7460) |
2024-06-21 10:35:52 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
2024-06-21 10:37:21 +0200 | kuribas` | (~user@ip-188-118-57-242.reverse.destiny.be) |
2024-06-21 10:38:49 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
2024-06-21 10:39:05 +0200 | kuribas | (~user@2a02:1808:3:d3f2:7437:7632:ac15:7460) (Ping timeout: 268 seconds) |
2024-06-21 10:39:30 +0200 | cfricke | (~cfricke@user/cfricke) |
2024-06-21 10:41:19 +0200 | andrei_n | (~andrei_n@user/andrei-n:62396) (Ping timeout: 246 seconds) |
2024-06-21 10:41:53 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.3.1) |
2024-06-21 10:43:19 +0200 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) |
2024-06-21 10:46:56 +0200 | __monty__ | (~toonn@user/toonn) |
2024-06-21 10:50:24 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-06-21 10:52:50 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-06-21 10:53:04 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-06-21 10:53:27 +0200 | andrei_n | (~andrei_n@user/andrei-n:62396) |
2024-06-21 10:54:12 +0200 | danse-nr3 | (~danse-nr3@151.43.224.15) |
2024-06-21 10:55:56 +0200 | dcoutts__ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) |
2024-06-21 10:59:44 +0200 | danse-nr3 | (~danse-nr3@151.43.224.15) (Ping timeout: 252 seconds) |
2024-06-21 11:00:25 +0200 | danse-nr3 | (~danse-nr3@151.43.224.15) |
2024-06-21 11:01:01 +0200 | gehmehgeh | gmg |
2024-06-21 11:02:57 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
2024-06-21 11:23:16 +0200 | CiaoSen | (~Jura@2a05:5800:292:9200:e6b9:7aff:fe80:3d03) |
2024-06-21 11:26:10 +0200 | madhavanmiui | (~madhavanm@2409:40f4:2001:b884:8000::) |
2024-06-21 11:26:56 +0200 | madhavanmiui | (~madhavanm@2409:40f4:2001:b884:8000::) (Remote host closed the connection) |
2024-06-21 11:27:06 +0200 | madhavanmiui | (~madhavanm@2409:40f4:2001:b884:8000::) |
2024-06-21 11:39:49 +0200 | nickiminjaj | (~nickiminj@user/laxhh) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-06-21 11:40:28 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:eb7f:c05a:96e8:9d17) (Quit: ubert) |
2024-06-21 11:40:41 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:d417:404b:cadf:1257) |
2024-06-21 11:40:45 +0200 | andrei_n | (~andrei_n@user/andrei-n:62396) (Ping timeout: 268 seconds) |
2024-06-21 11:41:39 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:d417:404b:cadf:1257) (Client Quit) |
2024-06-21 11:42:22 +0200 | nickiminjaj | (~nickiminj@2001:41d0:a:24ed::1) |
2024-06-21 11:43:04 +0200 | nickiminjaj | (~nickiminj@2001:41d0:a:24ed::1) (Client Quit) |
2024-06-21 11:51:41 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
2024-06-21 11:52:22 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2024-06-21 11:53:59 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:dbeb:53a2:9c59:cc80) |
2024-06-21 11:57:48 +0200 | euleritian | (~euleritia@dynamic-176-007-160-062.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-06-21 11:58:05 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-06-21 12:01:06 +0200 | CiaoSen | (~Jura@2a05:5800:292:9200:e6b9:7aff:fe80:3d03) (Ping timeout: 268 seconds) |
2024-06-21 12:03:31 +0200 | driib3 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
2024-06-21 12:04:06 +0200 | driib3 | (~driib@vmi931078.contaboserver.net) |
2024-06-21 12:05:39 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 264 seconds) |
2024-06-21 12:13:33 +0200 | destituion | (~destituio@85.221.111.174) |
2024-06-21 12:17:52 +0200 | CodeKiwi | (~kiwi@137.184.156.191) (Quit: quite.) |
2024-06-21 12:20:46 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
2024-06-21 12:21:09 +0200 | euleritian | (~euleritia@dynamic-176-007-160-062.176.7.pool.telefonica.de) |
2024-06-21 12:24:05 +0200 | andrei_n | (~andrei_n@user/andrei-n:62396) |
2024-06-21 12:29:10 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 268 seconds) |
2024-06-21 12:34:01 +0200 | euleritian | (~euleritia@dynamic-176-007-160-062.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-06-21 12:34:13 +0200 | euleritian | (~euleritia@tmo-117-242.customers.d1-online.com) |
2024-06-21 12:38:29 +0200 | euleritian | (~euleritia@tmo-117-242.customers.d1-online.com) (Ping timeout: 240 seconds) |
2024-06-21 12:39:32 +0200 | euleritian | (~euleritia@tmo-117-242.customers.d1-online.com) |
2024-06-21 12:41:11 +0200 | andrei_n | (~andrei_n@user/andrei-n:62396) (Ping timeout: 268 seconds) |
2024-06-21 12:42:42 +0200 | danse-nr3 | (~danse-nr3@151.43.224.15) (Read error: Connection reset by peer) |
2024-06-21 12:43:08 +0200 | andrei_n | (~andrei_n@2a02:a03f:c091:a800:370f:bca0:3d6b:fb5e) |
2024-06-21 12:43:08 +0200 | andrei_n | (~andrei_n@2a02:a03f:c091:a800:370f:bca0:3d6b:fb5e) (Changing host) |
2024-06-21 12:43:08 +0200 | andrei_n | (~andrei_n@user/andrei-n:62396) |
2024-06-21 12:46:51 +0200 | danse-nr3 | (~danse-nr3@151.43.255.20) |
2024-06-21 12:47:49 +0200 | talukara | (~talukara@user/talukara) |
2024-06-21 12:48:05 +0200 | talukara | (~talukara@user/talukara) (Client Quit) |
2024-06-21 12:52:05 +0200 | euleritian | (~euleritia@tmo-117-242.customers.d1-online.com) (Ping timeout: 272 seconds) |
2024-06-21 12:53:11 +0200 | euleritian | (~euleritia@dynamic-176-007-160-062.176.7.pool.telefonica.de) |
2024-06-21 12:54:41 +0200 | rlj | (~rlj@194-218-34-180.customer.telia.com) |
2024-06-21 13:00:52 +0200 | rlj | (~rlj@194-218-34-180.customer.telia.com) (Quit: Client closed) |
2024-06-21 13:02:53 +0200 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
2024-06-21 13:04:42 +0200 | madhavanmiui | (~madhavanm@2409:40f4:2001:b884:8000::) (Quit: Quit) |
2024-06-21 13:05:01 +0200 | rachelambda | (~rachelamb@cust-95-80-25-71.csbnet.se) (Quit: β reduced) |
2024-06-21 13:06:08 +0200 | CiaoSen | (~Jura@2a05:5800:292:9200:e6b9:7aff:fe80:3d03) |
2024-06-21 13:10:25 +0200 | bontaq | (~user@ool-45779c03.dyn.optonline.net) |
2024-06-21 13:20:02 +0200 | danse-nr3 | (~danse-nr3@151.43.255.20) (Ping timeout: 268 seconds) |
2024-06-21 13:21:47 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
2024-06-21 13:22:32 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2024-06-21 13:25:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-06-21 13:31:00 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2024-06-21 13:31:31 +0200 | rvalue | (~rvalue@user/rvalue) |
2024-06-21 13:37:46 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-06-21 13:40:51 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 272 seconds) |
2024-06-21 13:43:23 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 272 seconds) |
2024-06-21 13:44:54 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-06-21 13:45:46 +0200 | CiaoSen | (~Jura@2a05:5800:292:9200:e6b9:7aff:fe80:3d03) (Ping timeout: 256 seconds) |
2024-06-21 13:46:43 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-06-21 13:47:41 +0200 | andrei_n | (~andrei_n@user/andrei-n:62396) (Ping timeout: 240 seconds) |
2024-06-21 13:47:41 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2024-06-21 13:53:28 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-06-21 13:53:42 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2024-06-21 13:55:48 +0200 | rachelambda | (~rachelamb@cust-95-80-25-71.csbnet.se) |
2024-06-21 14:07:53 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-06-21 14:08:39 +0200 | cfricke | (~cfricke@user/cfricke) |
2024-06-21 14:14:11 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
2024-06-21 14:14:40 +0200 | andrewboltachev | (~andrey@178.141.121.180) |
2024-06-21 14:16:03 +0200 | mlatys | (~mlatys@117.170.2.216) |
2024-06-21 14:26:43 +0200 | euleritian | (~euleritia@dynamic-176-007-160-062.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-06-21 14:27:03 +0200 | euleritian | (~euleritia@ip-185-104-138-28.ptr.icomera.net) |
2024-06-21 14:27:51 +0200 | xff0x | (~xff0x@2405:6580:b080:900:dc9b:52bd:4c0c:b888) |
2024-06-21 14:28:03 +0200 | andrei_n | (~andrei_n@user/andrei-n:62396) |
2024-06-21 14:32:52 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-06-21 14:33:16 +0200 | rosco | (~rosco@175.136.155.137) (Quit: Lost terminal) |
2024-06-21 14:35:37 +0200 | mlatys | (~mlatys@117.170.2.216) (Remote host closed the connection) |
2024-06-21 14:35:53 +0200 | itaipu | (~itaipu@168.121.98.114) (Ping timeout: 268 seconds) |
2024-06-21 14:36:34 +0200 | mlatys | (~mlatys@117.170.2.216) |
2024-06-21 14:37:06 +0200 | nrr_______ | (sid20938@id-20938.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-06-21 14:37:39 +0200 | JimL | (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2024-06-21 14:37:59 +0200 | JimL | (~quassel@89.162.16.26) |
2024-06-21 14:40:54 +0200 | JimL | (~quassel@89.162.16.26) (Client Quit) |
2024-06-21 14:41:11 +0200 | JimL | (~quassel@89.162.16.26) |
2024-06-21 14:42:05 +0200 | JimL | (~quassel@89.162.16.26) (Client Quit) |
2024-06-21 14:42:22 +0200 | JimL | (~quassel@89.162.16.26) |
2024-06-21 14:43:11 +0200 | JimL | (~quassel@89.162.16.26) (Client Quit) |
2024-06-21 14:43:29 +0200 | JimL | (~quassel@89.162.16.26) |
2024-06-21 14:44:23 +0200 | JimL | (~quassel@89.162.16.26) (Client Quit) |
2024-06-21 14:44:40 +0200 | JimL | (~quassel@89.162.16.26) |
2024-06-21 14:48:25 +0200 | rosco | (~rosco@175.136.155.137) |
2024-06-21 14:48:41 +0200 | itaipu | (~itaipu@168.121.98.250) |
2024-06-21 14:50:29 +0200 | andrei_n | (~andrei_n@user/andrei-n:62396) (Ping timeout: 240 seconds) |
2024-06-21 14:54:18 +0200 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
2024-06-21 14:55:55 +0200 | califax | (~califax@user/califx) |
2024-06-21 14:56:38 +0200 | andrewboltachev | (~andrey@178.141.121.180) (Read error: Connection reset by peer) |
2024-06-21 15:03:15 +0200 | andrei_n | (~andrei_n@2a02:a03f:c091:a800:ba41:cdfa:8500:6fd1) |
2024-06-21 15:03:15 +0200 | andrei_n | (~andrei_n@2a02:a03f:c091:a800:ba41:cdfa:8500:6fd1) (Changing host) |
2024-06-21 15:03:15 +0200 | andrei_n | (~andrei_n@user/andrei-n:62396) |
2024-06-21 15:06:33 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-06-21 15:11:40 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2024-06-21 15:13:58 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2024-06-21 15:14:01 +0200 | mlatys | (~mlatys@117.170.2.216) () |
2024-06-21 15:18:14 +0200 | rosco | (~rosco@175.136.155.137) (Quit: Lost terminal) |
2024-06-21 15:18:37 +0200 | rosco | (~rosco@175.136.155.137) |
2024-06-21 15:21:15 +0200 | andrei_n | (~andrei_n@user/andrei-n:62396) (Ping timeout: 264 seconds) |
2024-06-21 15:33:06 +0200 | andrei_n | (~andrei_n@user/andrei-n:62396) |
2024-06-21 15:33:25 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2024-06-21 15:33:57 +0200 | CiaoSen | (~Jura@2a05:5800:292:9200:e6b9:7aff:fe80:3d03) |
2024-06-21 15:34:37 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2024-06-21 15:34:52 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-06-21 15:38:39 +0200 | CiaoSen | (~Jura@2a05:5800:292:9200:e6b9:7aff:fe80:3d03) (Ping timeout: 272 seconds) |
2024-06-21 15:42:47 +0200 | ft | (~ft@p3e9bcb39.dip0.t-ipconnect.de) (Quit: Lost terminal) |
2024-06-21 15:45:33 +0200 | ft | (~ft@p3e9bcb39.dip0.t-ipconnect.de) |
2024-06-21 15:47:52 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
2024-06-21 15:49:34 +0200 | danse-nr3 | (~danse-nr3@151.43.255.20) |
2024-06-21 15:57:20 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-06-21 16:06:19 +0200 | polyphem | (~polyphem@ip-109-43-50-84.web.vodafone.de) |
2024-06-21 16:08:08 +0200 | poxel | (~lennart@user/poxel) |
2024-06-21 16:14:29 +0200 | andrei_n | (~andrei_n@user/andrei-n:62396) (Quit: Leaving) |
2024-06-21 16:28:58 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:dbeb:53a2:9c59:cc80) (Ping timeout: 256 seconds) |
2024-06-21 16:44:06 +0200 | danse-nr3 | (~danse-nr3@151.43.255.20) (Read error: Connection reset by peer) |
2024-06-21 16:45:03 +0200 | danse-nr3 | (~danse-nr3@151.47.234.239) |
2024-06-21 16:46:28 +0200 | igghibu | (~igghibu@178.249.211.89) |
2024-06-21 16:53:37 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-06-21 17:00:27 +0200 | destituion | (~destituio@85.221.111.174) (Ping timeout: 255 seconds) |
2024-06-21 17:01:24 +0200 | madhavanmiui | (~madhavanm@2409:40f4:1017:32e9:8000::) |
2024-06-21 17:02:23 +0200 | madhavanmiui | (~madhavanm@2409:40f4:1017:32e9:8000::) (Client Quit) |
2024-06-21 17:04:45 +0200 | ubert | (~Thunderbi@p200300ecdf0cd38d8c8c6a474d4b10c1.dip0.t-ipconnect.de) |
2024-06-21 17:07:00 +0200 | igghibu | (~igghibu@178.249.211.89) (Remote host closed the connection) |
2024-06-21 17:09:23 +0200 | xdminsy | (~xdminsy@117.147.70.231) (Read error: Connection reset by peer) |
2024-06-21 17:13:57 +0200 | kuribas` | (~user@ip-188-118-57-242.reverse.destiny.be) (Read error: Connection reset by peer) |
2024-06-21 17:14:55 +0200 | ubert | (~Thunderbi@p200300ecdf0cd38d8c8c6a474d4b10c1.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2024-06-21 17:15:08 +0200 | ubert | (~Thunderbi@p548c9c74.dip0.t-ipconnect.de) |
2024-06-21 17:15:56 +0200 | kuribas` | (~user@ip-188-118-57-242.reverse.destiny.be) |
2024-06-21 17:27:29 +0200 | euleritian | (~euleritia@ip-185-104-138-28.ptr.icomera.net) (Ping timeout: 252 seconds) |
2024-06-21 17:28:04 +0200 | euleritian | (~euleritia@dynamic-176-007-158-013.176.7.pool.telefonica.de) |
2024-06-21 17:28:46 +0200 | andrei_n | (~andrei_n@user/andrei-n:62396) |
2024-06-21 17:37:27 +0200 | danse-nr3 | (~danse-nr3@151.47.234.239) (Ping timeout: 264 seconds) |
2024-06-21 17:38:13 +0200 | danse-nr3 | (~danse-nr3@151.47.234.239) |
2024-06-21 17:38:20 +0200 | itaipu | (~itaipu@168.121.98.250) (Read error: Connection reset by peer) |
2024-06-21 17:47:54 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2024-06-21 17:48:38 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-06-21 17:48:54 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 268 seconds) |
2024-06-21 17:52:18 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
2024-06-21 17:52:48 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2024-06-21 17:54:49 +0200 | itaipu | (~itaipu@168.121.98.250) |
2024-06-21 17:57:55 +0200 | iza4k5 | (~iza4k5@2806:2f0:5321:fd27:4633:5289:a87b:1714) |
2024-06-21 17:58:40 +0200 | iza4k5 | (~iza4k5@2806:2f0:5321:fd27:4633:5289:a87b:1714) (Remote host closed the connection) |
2024-06-21 18:00:45 +0200 | andrei_n | (~andrei_n@user/andrei-n:62396) (Ping timeout: 255 seconds) |
2024-06-21 18:02:35 +0200 | andrei_n | (~andrei_n@user/andrei-n:62396) |
2024-06-21 18:07:47 +0200 | destituion | (~destituio@2a02:2121:6cb:fbc3:21bb:ad80:8df2:7677) |
2024-06-21 18:11:09 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
2024-06-21 18:11:09 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
2024-06-21 18:11:09 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Read error: Connection reset by peer) |
2024-06-21 18:11:09 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2024-06-21 18:11:09 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2024-06-21 18:11:47 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2024-06-21 18:11:54 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-06-21 18:12:05 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
2024-06-21 18:12:10 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2024-06-21 18:12:11 +0200 | gmg | (~user@user/gehmehgeh) |
2024-06-21 18:18:09 +0200 | henry40408 | (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
2024-06-21 18:22:05 +0200 | euleritian | (~euleritia@dynamic-176-007-158-013.176.7.pool.telefonica.de) (Ping timeout: 240 seconds) |
2024-06-21 18:22:26 +0200 | euleritian | (~euleritia@dynamic-176-007-158-013.176.7.pool.telefonica.de) |
2024-06-21 18:23:09 +0200 | henry40408 | (~henry4040@175.182.111.183) |
2024-06-21 18:34:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-06-21 18:41:51 +0200 | Foxxer | (~Foxxer@189.110.220.179) |
2024-06-21 18:44:37 +0200 | Foxxer | (~Foxxer@189.110.220.179) (Read error: Connection reset by peer) |
2024-06-21 18:48:56 +0200 | danse-nr3 | (~danse-nr3@151.47.234.239) (Ping timeout: 256 seconds) |
2024-06-21 18:51:23 +0200 | swamp_ | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
2024-06-21 18:54:18 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2024-06-21 18:55:41 +0200 | zmt00 | (~zmt00@user/zmt00) |
2024-06-21 18:58:54 +0200 | euleritian | (~euleritia@dynamic-176-007-158-013.176.7.pool.telefonica.de) (Ping timeout: 268 seconds) |
2024-06-21 19:03:33 +0200 | kuribas` | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
2024-06-21 19:14:01 +0200 | acontext | (~acontext@user/acontext) |
2024-06-21 19:17:45 +0200 | rosco | (~rosco@175.136.155.137) (Quit: Lost terminal) |
2024-06-21 19:19:19 +0200 | y-koj | (~yk@2404:7a81:c840:5e00:c44:429d:83d8:df96) (Quit: WeeChat 4.2.1) |
2024-06-21 19:20:25 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2024-06-21 19:22:07 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-06-21 19:24:52 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-06-21 19:39:52 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
2024-06-21 19:47:40 +0200 | madhavanmiui | (~madhavanm@2409:40f4:3015:ea4d:8000::) |
2024-06-21 19:48:57 +0200 | polyphem | (~polyphem@ip-109-43-50-84.web.vodafone.de) (Quit: CoreIRC for Android - www.coreirc.com) |
2024-06-21 19:52:33 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2024-06-21 19:53:15 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2024-06-21 19:54:51 +0200 | madhavanmiui | (~madhavanm@2409:40f4:3015:ea4d:8000::) (Remote host closed the connection) |
2024-06-21 19:54:59 +0200 | madhavanmiui | (~madhavanm@2409:40f4:3015:ea4d:8000::) |
2024-06-21 19:56:16 +0200 | madhavanmiui | (~madhavanm@2409:40f4:3015:ea4d:8000::) (Client Quit) |
2024-06-21 20:02:10 +0200 | y-koj | (~yk@2404:7a81:c840:5e00:c44:429d:83d8:df96) |
2024-06-21 20:05:10 +0200 | yin | (~yin@user/zero) |
2024-06-21 20:07:03 +0200 | Guest52 | (~Guest52@37.214.54.202) |
2024-06-21 20:08:59 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
2024-06-21 20:09:01 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
2024-06-21 20:10:23 +0200 | Lord_of_Life_ | Lord_of_Life |
2024-06-21 20:13:07 +0200 | y-koj | (~yk@2404:7a81:c840:5e00:c44:429d:83d8:df96) (Quit: WeeChat 4.2.1) |
2024-06-21 20:16:34 +0200 | Foxxer | (~Foxxer@189.110.220.179) |
2024-06-21 20:16:35 +0200 | Guest10 | (~Guest52@37.214.54.202) |
2024-06-21 20:21:15 +0200 | andrei_n | (~andrei_n@user/andrei-n:62396) (Ping timeout: 264 seconds) |
2024-06-21 20:21:51 +0200 | Foxxer | (~Foxxer@189.110.220.179) (Ping timeout: 264 seconds) |
2024-06-21 20:22:20 +0200 | Guest10 | (~Guest52@37.214.54.202) (Quit: Client closed) |
2024-06-21 20:22:34 +0200 | Guest52 | (~Guest52@37.214.54.202) (Quit: Client closed) |
2024-06-21 20:23:23 +0200 | andrei_n | (~andrei_n@user/andrei-n:62396) |
2024-06-21 20:32:51 +0200 | dcoutts__ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Ping timeout: 255 seconds) |
2024-06-21 20:37:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-06-21 20:38:15 +0200 | sprout | (~quassel@2a02-a448-3a80-0-d1d9-fee0-140e-a81b.fixed6.kpn.net) (Ping timeout: 256 seconds) |
2024-06-21 20:43:20 +0200 | simendsjo | (~user@84.209.170.3) |
2024-06-21 20:45:49 +0200 | simendsjo | (~user@84.209.170.3) (Client Quit) |
2024-06-21 20:46:10 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2024-06-21 20:46:53 +0200 | simendsjo | (~user@84.209.170.3) |
2024-06-21 20:51:45 +0200 | dcoutts__ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) |
2024-06-21 20:55:08 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
2024-06-21 21:07:25 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
2024-06-21 21:11:03 +0200 | andrei_n | (~andrei_n@user/andrei-n:62396) (Ping timeout: 264 seconds) |
2024-06-21 21:19:51 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:cbc0:563b:3363:795b) |
2024-06-21 21:21:18 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2024-06-21 21:26:25 +0200 | dcoutts__ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Ping timeout: 256 seconds) |
2024-06-21 21:28:07 +0200 | <mauke> | are free monads just functor kaleidoscopes? |
2024-06-21 21:28:53 +0200 | andrei_n | (~andrei_n@user/andrei-n:62396) |
2024-06-21 21:42:19 +0200 | dcoutts__ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) |
2024-06-21 21:45:56 +0200 | Square | (~Square@user/square) |
2024-06-21 21:48:27 +0200 | <ncf> | what's a functor kaleidoscope? |
2024-06-21 21:48:53 +0200 | <glguy> | I heard it's like a free monad |
2024-06-21 21:49:23 +0200 | <ncf> | .-. |
2024-06-21 21:49:38 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2024-06-21 21:50:33 +0200 | <darkling> | It's similar to a hall of functor mirrors, but less confusing. |
2024-06-21 21:52:02 +0200 | dcoutts__ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Ping timeout: 252 seconds) |
2024-06-21 21:57:52 +0200 | <EvanR> | burrito of mirrors |
2024-06-21 21:58:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-06-21 21:58:17 +0200 | <geekosaur> | mirror of burritos |
2024-06-21 21:58:55 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-06-21 22:01:52 +0200 | <c_wraith> | now I'm hungry |
2024-06-21 22:03:09 +0200 | xal | (~xal@mx1.xal.systems) () |
2024-06-21 22:04:58 +0200 | euleritian | (~euleritia@dynamic-176-007-158-013.176.7.pool.telefonica.de) |
2024-06-21 22:05:42 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-06-21 22:06:09 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-06-21 22:06:22 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-06-21 22:08:08 +0200 | xal | (~xal@mx1.xal.systems) |
2024-06-21 22:09:26 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-06-21 22:10:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-06-21 22:14:48 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-06-21 22:16:25 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 246 seconds) |
2024-06-21 22:23:38 +0200 | andrei_n | (~andrei_n@user/andrei-n:62396) (Ping timeout: 268 seconds) |
2024-06-21 22:25:17 +0200 | sprout | (~quassel@2a02-a448-3a80-0-3430-92e6-1565-73f9.fixed6.kpn.net) |
2024-06-21 22:28:51 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: jdvksb) |
2024-06-21 22:29:08 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2024-06-21 22:33:58 +0200 | soverysour | (~soverysou@188.27.2.34) |
2024-06-21 22:33:58 +0200 | soverysour | (~soverysou@188.27.2.34) (Changing host) |
2024-06-21 22:33:58 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-06-21 22:39:26 +0200 | andrei_n | (~andrei_n@user/andrei-n:62396) |
2024-06-21 22:43:03 +0200 | bontaq | (~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 268 seconds) |
2024-06-21 22:45:49 +0200 | <lxsameer> | hey friends, I don't understand why I'm getting this exception: https://dpaste.com/87R9JTL5P |
2024-06-21 22:45:55 +0200 | <lxsameer> | could you please help me understand |
2024-06-21 22:47:25 +0200 | <mauke> | getErrorType's signature says the caller gets to choose an 'a' |
2024-06-21 22:47:50 +0200 | <mauke> | but the implementation can't keep what the type signature promised |
2024-06-21 22:48:43 +0200 | <lxsameer> | ah ok, but if i change the type to `forall a. (Exception a) => Error -> a` it still does not fix it |
2024-06-21 22:49:28 +0200 | <mauke> | that means the same thing |
2024-06-21 22:49:42 +0200 | <lxsameer> | mauke: what would be the fix here? |
2024-06-21 22:49:42 +0200 | <mauke> | type variables are implicitly (universally) quantified at the top level |
2024-06-21 22:49:51 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 256 seconds) |
2024-06-21 22:49:59 +0200 | <mauke> | depends on what you're trying to do |
2024-06-21 22:50:08 +0200 | <lxsameer> | mauke: ow, got it |
2024-06-21 22:50:38 +0200 | <lxsameer> | mauke: I want a function that take an error and returns the err field, which is promised to implement Exception typeclass |
2024-06-21 22:50:45 +0200 | <mauke> | you could replace the whole !e thing by SomeException |
2024-06-21 22:50:50 +0200 | dcoutts__ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) |
2024-06-21 22:51:11 +0200 | <mauke> | which is really just another existential wrapper around forall e. Exceptiion e => ... e |
2024-06-21 22:51:28 +0200 | <lxsameer> | mauke: ahhhh, let me read about it |
2024-06-21 22:51:28 +0200 | <mauke> | you can't return the err field directly because you don't know what type it is |
2024-06-21 22:51:30 +0200 | <lxsameer> | thank you |
2024-06-21 22:51:53 +0200 | <lxsameer> | isn't it enough to use the type class here? |
2024-06-21 22:51:55 +0200 | <mauke> | the other option is to CPS-transform getErrorType |
2024-06-21 22:52:38 +0200 | <mauke> | getErrorType :: Error -> (forall a. (Exception a) => a -> b) -> b |
2024-06-21 22:52:59 +0200 | <lxsameer> | interesting |
2024-06-21 22:53:13 +0200 | <mauke> | but we don't have an 'exists' quantifier |
2024-06-21 22:53:29 +0200 | <lxsameer> | gotcha |
2024-06-21 22:53:34 +0200 | <mauke> | so if you want to return the value directly, you have to use an existential wrapper like Error (or SomeException) |
2024-06-21 22:53:35 +0200 | <lxsameer> | thank you, it's time to read |
2024-06-21 22:56:34 +0200 | simendsjo | (~user@84.209.170.3) (Ping timeout: 256 seconds) |
2024-06-21 22:56:59 +0200 | michalz | (~michalz@185.246.207.222) (Quit: ZNC 1.9.0 - https://znc.in) |
2024-06-21 22:57:41 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 240 seconds) |
2024-06-21 22:59:33 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 255 seconds) |
2024-06-21 23:00:51 +0200 | andrei_n | (~andrei_n@user/andrei-n:62396) (Ping timeout: 264 seconds) |
2024-06-21 23:01:52 +0200 | kimiamania | (~65804703@user/kimiamania) (Quit: PegeLinux) |
2024-06-21 23:02:05 +0200 | byorgey | (~byorgey@user/byorgey) (Quit: Lost terminal) |
2024-06-21 23:02:14 +0200 | kimiamania | (~65804703@user/kimiamania) |
2024-06-21 23:03:18 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
2024-06-21 23:03:25 +0200 | andrei_n | (~andrei_n@user/andrei-n:62396) |
2024-06-21 23:09:19 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
2024-06-21 23:15:29 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2024-06-21 23:19:19 +0200 | andrei_n | (~andrei_n@user/andrei-n:62396) (Ping timeout: 256 seconds) |
2024-06-21 23:23:11 +0200 | andrei_n | (~andrei_n@user/andrei-n:62396) |
2024-06-21 23:34:12 +0200 | andrei_n | (~andrei_n@user/andrei-n:62396) (Quit: Leaving) |
2024-06-21 23:46:46 +0200 | pavonia | (~user@user/siracusa) |
2024-06-21 23:51:08 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-06-21 23:55:48 +0200 | poxel | (~lennart@user/poxel) (Quit: WeeChat 4.3.2) |
2024-06-21 23:56:08 +0200 | poxel | (~lennart@user/poxel) |
2024-06-21 23:58:19 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2024-06-21 23:58:34 +0200 | poxel | (~lennart@user/poxel) (Client Quit) |
2024-06-21 23:59:00 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:cbc0:563b:3363:795b) (Quit: Leaving) |