2021-10-03 00:00:08 +0200 | ByronJohnson | (~bairyn@mail.digitalkingdom.org) |
2021-10-03 00:00:10 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
2021-10-03 00:03:51 +0200 | jinsun | (~quassel@user/jinsun) |
2021-10-03 00:14:52 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
2021-10-03 00:15:03 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2021-10-03 00:15:13 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 252 seconds) |
2021-10-03 00:28:47 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-10-03 00:28:47 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-10-03 00:28:47 +0200 | wroathe | (~wroathe@user/wroathe) |
2021-10-03 00:29:08 +0200 | max22- | (~maxime@2a01cb0883359800513140971d4ae4c5.ipv6.abo.wanadoo.fr) |
2021-10-03 00:37:49 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
2021-10-03 00:39:14 +0200 | <awpr> | `lens` speaks poniards, and every term `s t a b`s |
2021-10-03 00:58:35 +0200 | Techcable | (~Techcable@168.235.93.147) (Quit: ZNC - https://znc.in) |
2021-10-03 00:59:09 +0200 | Techcable | (~Techcable@168.235.93.147) |
2021-10-03 01:00:38 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3) |
2021-10-03 01:01:48 +0200 | norskal | (~norskal@101.175.64.73) |
2021-10-03 01:04:00 +0200 | <aegon> | [exa]: that description of lifting is great |
2021-10-03 01:05:37 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-10-03 01:06:29 +0200 | geranim0 | (~geranim0@modemcable242.171-178-173.mc.videotron.ca) |
2021-10-03 01:09:20 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) |
2021-10-03 01:10:13 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Ping timeout: 252 seconds) |
2021-10-03 01:10:50 +0200 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 252 seconds) |
2021-10-03 01:14:25 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:2435:ba7:e573:bc26) |
2021-10-03 01:15:40 +0200 | acidjnk_new3 | (~acidjnk@p200300d0c703cb484c7d47010f4c2dbe.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2021-10-03 01:15:46 +0200 | acidjnk | (~acidjnk@p200300d0c703cb484c7d47010f4c2dbe.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2021-10-03 01:17:34 +0200 | hyiltiz | (~quassel@31.220.5.250) |
2021-10-03 01:17:39 +0200 | Vajb | (~Vajb@n8vwdu04eps78g521-2.v6.elisa-mobile.fi) |
2021-10-03 01:18:19 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:2435:ba7:e573:bc26) (Remote host closed the connection) |
2021-10-03 01:20:37 +0200 | jokleinn | (~jokleinn@user/jokleinn) |
2021-10-03 01:22:23 +0200 | TranquilEcho | (~grom@user/tranquilecho) |
2021-10-03 01:22:24 +0200 | max22- | (~maxime@2a01cb0883359800513140971d4ae4c5.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
2021-10-03 01:28:14 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2021-10-03 01:34:25 +0200 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 252 seconds) |
2021-10-03 01:40:01 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
2021-10-03 01:50:23 +0200 | Vajb | (~Vajb@n8vwdu04eps78g521-2.v6.elisa-mobile.fi) (Read error: Connection reset by peer) |
2021-10-03 01:51:37 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:75c8:94d0:d9df:71f1) (Remote host closed the connection) |
2021-10-03 01:52:09 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
2021-10-03 01:54:34 +0200 | thyriaen | (~thyriaen@x4db7dca5.dyn.telefonica.de) |
2021-10-03 02:02:27 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:2435:ba7:e573:bc26) |
2021-10-03 02:04:45 +0200 | hyiltiz | (~quassel@31.220.5.250) |
2021-10-03 02:10:03 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
2021-10-03 02:12:19 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 252 seconds) |
2021-10-03 02:17:49 +0200 | chomwitt | (~chomwitt@ppp-2-85-111-14.home.otenet.gr) (Ping timeout: 252 seconds) |
2021-10-03 02:33:13 +0200 | TranquilEcho | (~grom@user/tranquilecho) (Quit: WeeChat 2.8) |
2021-10-03 02:33:55 +0200 | spruit11 | (~quassel@2a02:a467:ccd6:1:791a:e64e:ebb5:e20) (Ping timeout: 252 seconds) |
2021-10-03 02:34:55 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:75c8:94d0:d9df:71f1) |
2021-10-03 02:42:20 +0200 | hnOsmium0001 | (uid453710@id-453710.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2021-10-03 02:55:53 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2021-10-03 02:56:16 +0200 | vicfred | (~vicfred@user/vicfred) |
2021-10-03 02:59:12 +0200 | hnOsmium0001 | (uid453710@id-453710.hampstead.irccloud.com) |
2021-10-03 03:07:17 +0200 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 264 seconds) |
2021-10-03 03:12:49 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
2021-10-03 03:14:35 +0200 | dajoer | (~david@user/gvx) |
2021-10-03 03:16:10 +0200 | xff0x | (~xff0x@2001:1a81:5237:ef00:6acb:a523:9d13:873c) (Ping timeout: 252 seconds) |
2021-10-03 03:17:56 +0200 | xff0x | (~xff0x@2001:1a81:5271:d100:877a:c3e3:989c:8619) |
2021-10-03 03:18:39 +0200 | hyiltiz | (~quassel@31.220.5.250) |
2021-10-03 03:20:30 +0200 | edrx | (~Eduardo@177-131-188-194.static.sumicity.net.br) |
2021-10-03 03:21:05 +0200 | edrx | (~Eduardo@177-131-188-194.static.sumicity.net.br) () |
2021-10-03 03:27:12 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2021-10-03 03:29:25 +0200 | chisui | (~chisui@200116b868bc9f00884a12b19ab3b2f3.dip.versatel-1u1.de) (Ping timeout: 256 seconds) |
2021-10-03 03:30:28 +0200 | neurocyte01326 | (~neurocyte@212.232.80.82) |
2021-10-03 03:30:28 +0200 | neurocyte01326 | (~neurocyte@212.232.80.82) (Changing host) |
2021-10-03 03:30:28 +0200 | neurocyte01326 | (~neurocyte@user/neurocyte) |
2021-10-03 03:32:46 +0200 | neurocyte0132 | (~neurocyte@user/neurocyte) (Ping timeout: 252 seconds) |
2021-10-03 03:32:47 +0200 | neurocyte01326 | neurocyte0132 |
2021-10-03 03:36:17 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-10-03 03:45:52 +0200 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 252 seconds) |
2021-10-03 03:50:31 +0200 | alzgh | (~alzgh@user/alzgh) (Remote host closed the connection) |
2021-10-03 03:55:36 +0200 | xiongxin | (~quassel@119.123.103.10) |
2021-10-03 04:00:03 +0200 | sander | (~sander@user/sander) (Quit: So long! :)) |
2021-10-03 04:01:22 +0200 | sander | (~sander@user/sander) |
2021-10-03 04:10:34 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
2021-10-03 04:11:59 +0200 | spruit11 | (~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508) |
2021-10-03 04:17:38 +0200 | spruit11 | (~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508) (Ping timeout: 260 seconds) |
2021-10-03 04:20:03 +0200 | [_] | [itchyjunk] |
2021-10-03 04:20:29 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
2021-10-03 04:20:47 +0200 | <hololeap> | we just need to invent 10 more words for "lift", like the Inuit have for snow (or maybe that's a myth) |
2021-10-03 04:22:49 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 252 seconds) |
2021-10-03 04:24:31 +0200 | spruit11 | (~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508) |
2021-10-03 04:30:39 +0200 | yinghua | (~yinghua@181.228.40.183) (Quit: Leaving) |
2021-10-03 04:30:57 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:2435:ba7:e573:bc26) (Quit: Leaving) |
2021-10-03 04:39:01 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Remote host closed the connection) |
2021-10-03 04:39:15 +0200 | nahcetan | (~nate@2600:1010:b04d:1de2:d147:f072:8e55:eab0) |
2021-10-03 04:40:17 +0200 | n8chan | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds) |
2021-10-03 04:41:22 +0200 | spruit11 | (~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508) (Ping timeout: 265 seconds) |
2021-10-03 04:41:35 +0200 | terrorjack | (~terrorjac@static.3.200.12.49.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat) |
2021-10-03 04:42:35 +0200 | terrorjack | (~terrorjac@static.3.200.12.49.clients.your-server.de) |
2021-10-03 04:44:52 +0200 | spruit11 | (~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508) |
2021-10-03 04:49:46 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
2021-10-03 04:50:22 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-10-03 04:50:22 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-10-03 04:50:22 +0200 | wroathe | (~wroathe@user/wroathe) |
2021-10-03 04:51:49 +0200 | geranim0 | (~geranim0@modemcable242.171-178-173.mc.videotron.ca) (Ping timeout: 252 seconds) |
2021-10-03 04:54:03 +0200 | mikoto-chan | (~mikoto-ch@83.137.2.254) |
2021-10-03 04:55:59 +0200 | spruit11 | (~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508) (Ping timeout: 246 seconds) |
2021-10-03 04:58:47 +0200 | thyriaen_ | (~thyriaen@dynamic-089-012-250-165.89.12.pool.telefonica.de) |
2021-10-03 05:00:04 +0200 | td_ | (~td@94.134.91.111) (Ping timeout: 252 seconds) |
2021-10-03 05:00:11 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 252 seconds) |
2021-10-03 05:01:51 +0200 | td_ | (~td@muedsl-82-207-238-036.citykom.de) |
2021-10-03 05:01:53 +0200 | thyriaen | (~thyriaen@x4db7dca5.dyn.telefonica.de) (Ping timeout: 264 seconds) |
2021-10-03 05:02:19 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2021-10-03 05:08:00 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Quit: Leaving) |
2021-10-03 05:14:00 +0200 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 250 seconds) |
2021-10-03 05:14:56 +0200 | spruit11 | (~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508) |
2021-10-03 05:16:22 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
2021-10-03 05:20:28 +0200 | spruit11 | (~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508) (Ping timeout: 252 seconds) |
2021-10-03 05:21:44 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2021-10-03 05:26:37 +0200 | <koz> | hololeap: Elevate, ascend, raise, promote... yeah I'm out. |
2021-10-03 05:27:22 +0200 | hyiltiz | (~quassel@31.220.5.250) |
2021-10-03 05:28:09 +0200 | <koz> | Oh yeah, 'boost', 'hoist', 'hike', 'erect', 'heft'. |
2021-10-03 05:28:14 +0200 | <koz> | That's nine. |
2021-10-03 05:34:32 +0200 | Skyfire | (~pyon@user/pyon) (Quit: WeeChat 3.2) |
2021-10-03 05:39:49 +0200 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 252 seconds) |
2021-10-03 05:39:58 +0200 | spruit11 | (~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508) |
2021-10-03 05:42:34 +0200 | goepsilongo | (~goepsilon@2603-7000-ab00-62ed-3d14-a85d-f173-86d5.res6.spectrum.com) |
2021-10-03 05:43:05 +0200 | hyiltiz | (~quassel@31.220.5.250) |
2021-10-03 05:44:15 +0200 | desophos | (~desophos@2601:249:1680:a570:9495:66ea:ccc2:b869) |
2021-10-03 05:44:41 +0200 | spruit11 | (~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508) (Ping timeout: 265 seconds) |
2021-10-03 05:52:44 +0200 | trillp | (~trillp@69.233.98.238) |
2021-10-03 05:55:24 +0200 | lambdagoat | (~lambdagoa@2804:14d:ba83:4337:1b7b:5cd2:9036:4280) |
2021-10-03 05:58:31 +0200 | lambdagoat | (~lambdagoa@2804:14d:ba83:4337:1b7b:5cd2:9036:4280) (Client Quit) |
2021-10-03 06:07:03 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-10-03 06:09:54 +0200 | abrantesasf | (~abrantesa@2804:14d:b086:4b3c:2e56:dcff:fedb:62f) |
2021-10-03 06:10:42 +0200 | spruit11 | (~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508) |
2021-10-03 06:11:17 +0200 | thyriaen__ | (~thyriaen@dynamic-089-012-250-165.89.12.pool.telefonica.de) |
2021-10-03 06:12:30 +0200 | comerijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-10-03 06:12:34 +0200 | Morrow_ | (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
2021-10-03 06:12:34 +0200 | hiruji` | (~hiruji@72.74.190.75) |
2021-10-03 06:13:10 +0200 | AlexZenon_2 | (~alzenon@178.34.162.155) |
2021-10-03 06:13:46 +0200 | <hololeap> | I've seen hoist used |
2021-10-03 06:13:58 +0200 | <hololeap> | not sure about some of the others |
2021-10-03 06:14:09 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
2021-10-03 06:14:30 +0200 | glguy_ | (x@libera/staff/glguy) |
2021-10-03 06:14:36 +0200 | dunj3 | (~dunj3@kingdread.de) |
2021-10-03 06:14:50 +0200 | ikex1 | (ash@user/ikex) |
2021-10-03 06:14:55 +0200 | <hololeap> | heft? |
2021-10-03 06:15:14 +0200 | spruit11 | (~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508) (Ping timeout: 260 seconds) |
2021-10-03 06:15:16 +0200 | Alex_test_ | (~al_test@178.34.162.155) |
2021-10-03 06:15:31 +0200 | dysfigured | (~dfg@li490-89.members.linode.com) |
2021-10-03 06:15:32 +0200 | incertia_ | (~incertia@d4-50-26-103.nap.wideopenwest.com) |
2021-10-03 06:15:34 +0200 | m5zs7k_ | (aquares@web10.mydevil.net) |
2021-10-03 06:15:45 +0200 | fjmorazan | (~quassel@user/fjmorazan) |
2021-10-03 06:16:03 +0200 | NieDzejkob_ | (~quassel@195.149.98.3) |
2021-10-03 06:16:25 +0200 | skewerr | (spoonm@inaba.spoonm.org) |
2021-10-03 06:16:27 +0200 | Jonno_FT1 | (~come@api.carswap.me) |
2021-10-03 06:16:31 +0200 | matijja` | (~matijja@193.77.181.201) |
2021-10-03 06:16:33 +0200 | <hololeap> | hm, it seems a thesaurus might have been used here >:) |
2021-10-03 06:16:35 +0200 | shane_ | (~shane@ana.rch.ist) |
2021-10-03 06:16:37 +0200 | erisco_ | (~erisco@d24-57-249-233.home.cgocable.net) |
2021-10-03 06:16:42 +0200 | xsarnik8 | (xsarnik@lounge.fi.muni.cz) |
2021-10-03 06:16:56 +0200 | panda_man | (~vidar@157.146.251.23.bc.googleusercontent.com) |
2021-10-03 06:17:00 +0200 | cods_ | (~fred@82-65-232-44.subs.proxad.net) |
2021-10-03 06:17:03 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
2021-10-03 06:17:03 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (cadmium.libera.chat (Nickname regained by services))) |
2021-10-03 06:17:03 +0200 | finn_elija | FinnElija |
2021-10-03 06:17:08 +0200 | piele | (~piele@tbonesteak.creativeserver.net) |
2021-10-03 06:17:12 +0200 | Megant_ | (megant@user/megant) |
2021-10-03 06:17:19 +0200 | mjrosenb_ | (~mjrosenb@pool-108-54-97-96.nycmny.fios.verizon.net) |
2021-10-03 06:17:20 +0200 | justache0 | (~justache@user/justache) |
2021-10-03 06:17:20 +0200 | shachaf_ | (~shachaf@li227-219.members.linode.com) |
2021-10-03 06:17:27 +0200 | tchakka_ | (~tchakkazu@static-47-180-28-65.lsan.ca.frontiernet.net) |
2021-10-03 06:17:35 +0200 | akspecs__ | (~akspecs@136-24-181-20.cab.webpass.net) |
2021-10-03 06:17:35 +0200 | akspecs__ | (~akspecs@136-24-181-20.cab.webpass.net) (Changing host) |
2021-10-03 06:17:35 +0200 | akspecs__ | (~akspecs@user/akspecs) |
2021-10-03 06:17:45 +0200 | hyiltiz_ | (~quassel@31.220.5.250) |
2021-10-03 06:18:12 +0200 | monochrm | (trebla@216.138.220.146) |
2021-10-03 06:18:21 +0200 | n3t1 | (n3t@s45.mydevil.net) |
2021-10-03 06:18:34 +0200 | kjak_ | (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) |
2021-10-03 06:18:35 +0200 | jonatan_ | (~nate@h85-8-60-194.cust.a3fiber.se) |
2021-10-03 06:18:43 +0200 | qwedfg_ | (~qwedfg@user/qwedfg) |
2021-10-03 06:19:55 +0200 | neurocyte01322 | (~neurocyte@212.232.80.82) |
2021-10-03 06:19:55 +0200 | neurocyte01322 | (~neurocyte@212.232.80.82) (Changing host) |
2021-10-03 06:19:55 +0200 | neurocyte01322 | (~neurocyte@user/neurocyte) |
2021-10-03 06:20:02 +0200 | Athas_ | (athas@2a01:7c8:aaac:1cf:88c8:741d:5f54:df9c) |
2021-10-03 06:20:04 +0200 | tzh_ | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
2021-10-03 06:20:20 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (*.net *.split) |
2021-10-03 06:20:20 +0200 | hyiltiz | (~quassel@31.220.5.250) (*.net *.split) |
2021-10-03 06:20:21 +0200 | thyriaen_ | (~thyriaen@dynamic-089-012-250-165.89.12.pool.telefonica.de) (*.net *.split) |
2021-10-03 06:20:21 +0200 | Morrow | (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (*.net *.split) |
2021-10-03 06:20:21 +0200 | aegon | (~mike@174.127.249.180) (*.net *.split) |
2021-10-03 06:20:21 +0200 | alx741 | (~alx741@186.178.109.221) (*.net *.split) |
2021-10-03 06:20:21 +0200 | Alex_test | (~al_test@178.34.162.155) (*.net *.split) |
2021-10-03 06:20:21 +0200 | AlexZenon | (~alzenon@178.34.162.155) (*.net *.split) |
2021-10-03 06:20:21 +0200 | pfurla_ | (~pfurla@ool-182ed2e2.dyn.optonline.net) (*.net *.split) |
2021-10-03 06:20:21 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (*.net *.split) |
2021-10-03 06:20:21 +0200 | son0p | (~ff@181.136.122.143) (*.net *.split) |
2021-10-03 06:20:21 +0200 | justache | (~justache@user/justache) (*.net *.split) |
2021-10-03 06:20:21 +0200 | clever | (~clever@99.192.114.98) (*.net *.split) |
2021-10-03 06:20:21 +0200 | dunj3_ | (~dunj3@kingdread.de) (*.net *.split) |
2021-10-03 06:20:21 +0200 | Neuromancer | (~Neuromanc@user/neuromancer) (*.net *.split) |
2021-10-03 06:20:21 +0200 | incertia | (~incertia@d4-50-26-103.nap.wideopenwest.com) (*.net *.split) |
2021-10-03 06:20:21 +0200 | piele_ | (~piele@tbonesteak.creativeserver.net) (*.net *.split) |
2021-10-03 06:20:21 +0200 | fjmorazan_ | (~quassel@user/fjmorazan) (*.net *.split) |
2021-10-03 06:20:21 +0200 | ghoulguy | (x@libera/staff/glguy) (*.net *.split) |
2021-10-03 06:20:21 +0200 | motherfsck | (~motherfsc@user/motherfsck) (*.net *.split) |
2021-10-03 06:20:21 +0200 | erisco | (~erisco@d24-57-249-233.home.cgocable.net) (*.net *.split) |
2021-10-03 06:20:21 +0200 | hiruji | (~hiruji@user/hiruji) (*.net *.split) |
2021-10-03 06:20:21 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (*.net *.split) |
2021-10-03 06:20:21 +0200 | NieDzejkob | (~quassel@195.149.98.3) (*.net *.split) |
2021-10-03 06:20:21 +0200 | mjrosenb | (~mjrosenb@pool-108-54-97-96.nycmny.fios.verizon.net) (*.net *.split) |
2021-10-03 06:20:21 +0200 | rookie101 | (~rookie@207.154.204.166) (*.net *.split) |
2021-10-03 06:20:21 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) (*.net *.split) |
2021-10-03 06:20:21 +0200 | monochrom | (trebla@216.138.220.146) (*.net *.split) |
2021-10-03 06:20:21 +0200 | xsarnik | (xsarnik@lounge.fi.muni.cz) (*.net *.split) |
2021-10-03 06:20:21 +0200 | tchakka | (~tchakkazu@static-47-180-28-65.lsan.ca.frontiernet.net) (*.net *.split) |
2021-10-03 06:20:21 +0200 | Megant | (megant@user/megant) (*.net *.split) |
2021-10-03 06:20:21 +0200 | qwedfg | (~qwedfg@user/qwedfg) (*.net *.split) |
2021-10-03 06:20:21 +0200 | kjak | (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (*.net *.split) |
2021-10-03 06:20:21 +0200 | _ak_ | (~akspecs@user/akspecs) (*.net *.split) |
2021-10-03 06:20:21 +0200 | NotIndonesian | (znc@Indonesians.are.sick.bnc.HUNTERS.thats.bad.mn) (*.net *.split) |
2021-10-03 06:20:22 +0200 | n3t | (n3t@user/n3t) (*.net *.split) |
2021-10-03 06:20:22 +0200 | m5zs7k | (aquares@web10.mydevil.net) (*.net *.split) |
2021-10-03 06:20:22 +0200 | matijja | (~matijja@193.77.181.201) (*.net *.split) |
2021-10-03 06:20:22 +0200 | shachaf | (~shachaf@user/shachaf) (*.net *.split) |
2021-10-03 06:20:22 +0200 | ikex | (~ash@user/ikex) (*.net *.split) |
2021-10-03 06:20:22 +0200 | jonatan | (~nate@h85-8-60-194.cust.a3fiber.se) (*.net *.split) |
2021-10-03 06:20:22 +0200 | Guest372 | (~xxx@47.245.54.240) (*.net *.split) |
2021-10-03 06:20:22 +0200 | dfg | (~dfg@user/dfg) (*.net *.split) |
2021-10-03 06:20:22 +0200 | spoonm | (spoonm@inaba.spoonm.org) (*.net *.split) |
2021-10-03 06:20:22 +0200 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) (*.net *.split) |
2021-10-03 06:20:22 +0200 | stefan-_ | (~cri@42dots.de) (*.net *.split) |
2021-10-03 06:20:22 +0200 | marienz | (~marienz@libera/staff/marienz) (*.net *.split) |
2021-10-03 06:20:22 +0200 | shane | (~shane@ana.rch.ist) (*.net *.split) |
2021-10-03 06:20:22 +0200 | monochrm | monochrom |
2021-10-03 06:20:22 +0200 | stefan-__ | (~cri@42dots.de) |
2021-10-03 06:20:22 +0200 | xsarnik8 | xsarnik |
2021-10-03 06:20:22 +0200 | incertia_ | incertia |
2021-10-03 06:20:24 +0200 | phma_ | (~phma@host-67-44-209-109.hnremote.net) |
2021-10-03 06:20:28 +0200 | vicfred_ | (~vicfred@user/vicfred) |
2021-10-03 06:20:45 +0200 | thyriaen_ | (~thyriaen@dynamic-089-012-250-165.89.12.pool.telefonica.de) |
2021-10-03 06:20:49 +0200 | glguy- | (x@libera/staff/glguy) |
2021-10-03 06:20:56 +0200 | cfebs_ | (~cfebs@user/cfebs) |
2021-10-03 06:21:08 +0200 | glguy- | glguy |
2021-10-03 06:21:14 +0200 | glguy_ | (x@libera/staff/glguy) (Killed (NickServ (GHOST command used by glguy))) |
2021-10-03 06:21:25 +0200 | Techcable_ | (~Techcable@168.235.93.147) |
2021-10-03 06:21:39 +0200 | clever | (~clever@99.192.114.98) |
2021-10-03 06:22:03 +0200 | Alex_test_ | (~al_test@178.34.162.155) (Ping timeout: 252 seconds) |
2021-10-03 06:22:03 +0200 | Techcable | (~Techcable@168.235.93.147) (Ping timeout: 252 seconds) |
2021-10-03 06:22:03 +0200 | Athas | (athas@sigkill.dk) (Ping timeout: 252 seconds) |
2021-10-03 06:22:03 +0200 | cfebs | (~cfebs@user/cfebs) (Ping timeout: 252 seconds) |
2021-10-03 06:22:03 +0200 | cfebs_ | cfebs |
2021-10-03 06:22:03 +0200 | mikoto-chan | (~mikoto-ch@83.137.2.254) (Ping timeout: 252 seconds) |
2021-10-03 06:22:03 +0200 | danso | (~danso@23-233-111-52.cpe.pppoe.ca) (Ping timeout: 252 seconds) |
2021-10-03 06:22:03 +0200 | shailangsa | (~shailangs@host217-39-45-200.range217-39.btcentralplus.com) (Ping timeout: 252 seconds) |
2021-10-03 06:22:03 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds) |
2021-10-03 06:22:03 +0200 | vicfred | (~vicfred@user/vicfred) (Read error: Connection reset by peer) |
2021-10-03 06:22:03 +0200 | neurocyte0132 | (~neurocyte@user/neurocyte) (Read error: Connection reset by peer) |
2021-10-03 06:22:03 +0200 | fjmorazan | (~quassel@user/fjmorazan) (Read error: Connection reset by peer) |
2021-10-03 06:22:03 +0200 | mjrosenb_ | (~mjrosenb@pool-108-54-97-96.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2021-10-03 06:22:03 +0200 | piele | (~piele@tbonesteak.creativeserver.net) (Ping timeout: 252 seconds) |
2021-10-03 06:22:03 +0200 | erisco_ | (~erisco@d24-57-249-233.home.cgocable.net) (Ping timeout: 252 seconds) |
2021-10-03 06:22:03 +0200 | AlexZenon_2 | (~alzenon@178.34.162.155) (Ping timeout: 252 seconds) |
2021-10-03 06:22:03 +0200 | hiruji` | (~hiruji@72.74.190.75) (Ping timeout: 252 seconds) |
2021-10-03 06:22:03 +0200 | neurocyte01322 | neurocyte0132 |
2021-10-03 06:22:04 +0200 | ByronJohnson | (~bairyn@mail.digitalkingdom.org) (Ping timeout: 252 seconds) |
2021-10-03 06:22:04 +0200 | shriekingnoise | (~shrieking@186.137.144.80) (Ping timeout: 252 seconds) |
2021-10-03 06:22:04 +0200 | raym | (~raym@user/raym) (Ping timeout: 252 seconds) |
2021-10-03 06:22:04 +0200 | pippijn | (~pippijn@ra.xinutec.org) (Ping timeout: 252 seconds) |
2021-10-03 06:22:06 +0200 | Alex_test_ | (~al_test@178.34.162.155) |
2021-10-03 06:22:13 +0200 | piele | (~piele@tbonesteak.creativeserver.net) |
2021-10-03 06:22:15 +0200 | NieDzejkob_ | (~quassel@195.149.98.3) (Read error: Connection reset by peer) |
2021-10-03 06:22:19 +0200 | mjrosenb | (~mjrosenb@pool-108-54-97-96.nycmny.fios.verizon.net) |
2021-10-03 06:22:20 +0200 | ByronJohnson | (~bairyn@mail.digitalkingdom.org) |
2021-10-03 06:22:21 +0200 | fjmorazan | (~quassel@user/fjmorazan) |
2021-10-03 06:22:24 +0200 | NotIndonesian | (znc@Indonesians.are.sick.bnc.HUNTERS.thats.bad.mn) |
2021-10-03 06:22:34 +0200 | hiruji | (~hiruji@user/hiruji) |
2021-10-03 06:22:34 +0200 | justache0 | (~justache@user/justache) (Ping timeout: 252 seconds) |
2021-10-03 06:22:34 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Ping timeout: 252 seconds) |
2021-10-03 06:22:38 +0200 | CannabisIndica | (~herb@user/mesaboogie) (Remote host closed the connection) |
2021-10-03 06:22:40 +0200 | NieDzejkob | (~quassel@195.149.98.3) |
2021-10-03 06:22:41 +0200 | hgolden | (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (Remote host closed the connection) |
2021-10-03 06:22:51 +0200 | danso | (~danso@23-233-111-52.cpe.pppoe.ca) |
2021-10-03 06:23:02 +0200 | m5zs7k_ | m5zs7k |
2021-10-03 06:23:02 +0200 | ikex1 | ikex |
2021-10-03 06:23:03 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
2021-10-03 06:23:05 +0200 | shriekingnoise | (~shrieking@186.137.144.80) |
2021-10-03 06:23:06 +0200 | hgolden | (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) |
2021-10-03 06:23:07 +0200 | phma | (~phma@host-67-44-209-109.hnremote.net) (Ping timeout: 252 seconds) |
2021-10-03 06:23:11 +0200 | erisco_ | (~erisco@d24-57-249-233.home.cgocable.net) |
2021-10-03 06:23:12 +0200 | raym | (~raym@user/raym) |
2021-10-03 06:23:20 +0200 | mikoto-chan | (~mikoto-ch@83.137.2.254) |
2021-10-03 06:23:24 +0200 | shachaf_ | (~shachaf@li227-219.members.linode.com) (Changing host) |
2021-10-03 06:23:24 +0200 | shachaf_ | (~shachaf@user/shachaf) |
2021-10-03 06:23:26 +0200 | shachaf_ | shachaf |
2021-10-03 06:23:28 +0200 | CnnibisIndica | (~herb@user/mesaboogie) |
2021-10-03 06:23:36 +0200 | erisco_ | erisco |
2021-10-03 06:23:37 +0200 | pippijn | (~pippijn@ra.xinutec.org) |
2021-10-03 06:23:40 +0200 | thyriaen__ | (~thyriaen@dynamic-089-012-250-165.89.12.pool.telefonica.de) (Ping timeout: 252 seconds) |
2021-10-03 06:23:50 +0200 | Kaipi | (~Kaiepi@156.34.44.192) |
2021-10-03 06:24:03 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
2021-10-03 06:24:03 +0200 | allbery_b | (~geekosaur@xmonad/geekosaur) |
2021-10-03 06:24:06 +0200 | allbery_b | geekosaur |
2021-10-03 06:24:24 +0200 | pfurla_ | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
2021-10-03 06:24:28 +0200 | Kaiepi | (~Kaiepi@156.34.44.192) (Read error: Connection reset by peer) |
2021-10-03 06:24:42 +0200 | snekism`` | (~user@88.160.31.174) |
2021-10-03 06:24:48 +0200 | natechan | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
2021-10-03 06:25:45 +0200 | ajb_ | (~ajb@cupid.whatbox.ca) |
2021-10-03 06:25:53 +0200 | hyiltiz_ | (~quassel@31.220.5.250) (Ping timeout: 264 seconds) |
2021-10-03 06:26:01 +0200 | nahcetan | (~nate@2600:1010:b04d:1de2:d147:f072:8e55:eab0) (Ping timeout: 252 seconds) |
2021-10-03 06:26:03 +0200 | absence_ | (torgeihe@hildring.pvv.ntnu.no) |
2021-10-03 06:26:05 +0200 | aria_ | (sid380617@id-380617.lymington.irccloud.com) |
2021-10-03 06:26:12 +0200 | mmarusea1ph2 | (~mihai@198.199.100.72) |
2021-10-03 06:26:26 +0200 | haasn` | (~nand@haasn.dev) |
2021-10-03 06:26:35 +0200 | AlexZenon | (~alzenon@178.34.162.155) |
2021-10-03 06:26:41 +0200 | td__ | (~td@muedsl-82-207-238-036.citykom.de) |
2021-10-03 06:26:42 +0200 | bens_ | (~bens@www.typius.com) |
2021-10-03 06:26:49 +0200 | siers69 | (~ij@user/ij) |
2021-10-03 06:27:09 +0200 | gnyeki_ | (~gnyeki@li578-216.members.linode.com) |
2021-10-03 06:27:11 +0200 | JSharp_ | (sid4580@id-4580.lymington.irccloud.com) |
2021-10-03 06:27:13 +0200 | andreas303 | (andreas303@ip227.orange.bnc4free.com) |
2021-10-03 06:27:31 +0200 | marienz | (~marienz@libera/staff/marienz) |
2021-10-03 06:27:40 +0200 | terrorjack1 | (~terrorjac@static.3.200.12.49.clients.your-server.de) |
2021-10-03 06:27:44 +0200 | edwardk_ | (sid47016@haskell/developer/edwardk) |
2021-10-03 06:27:47 +0200 | ajb | (~ajb@cupid.whatbox.ca) (Ping timeout: 252 seconds) |
2021-10-03 06:27:49 +0200 | do | (~do@159.89.11.133) |
2021-10-03 06:27:52 +0200 | aria | (sid380617@id-380617.lymington.irccloud.com) (Ping timeout: 252 seconds) |
2021-10-03 06:27:52 +0200 | immae | (~immae@2a01:4f8:141:53e7::) (Ping timeout: 252 seconds) |
2021-10-03 06:27:52 +0200 | w1gz | (~do@159.89.11.133) (Ping timeout: 252 seconds) |
2021-10-03 06:27:52 +0200 | mmaruseacph2 | (~mihai@198.199.100.72) (Ping timeout: 252 seconds) |
2021-10-03 06:27:52 +0200 | absence | (torgeihe@hildring.pvv.ntnu.no) (Ping timeout: 252 seconds) |
2021-10-03 06:27:52 +0200 | elvishjerricco | (sid237756@id-237756.helmsley.irccloud.com) (Ping timeout: 252 seconds) |
2021-10-03 06:27:52 +0200 | aria_ | aria |
2021-10-03 06:28:04 +0200 | Morrow | (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
2021-10-03 06:28:04 +0200 | elvishjerricco | (sid237756@id-237756.helmsley.irccloud.com) |
2021-10-03 06:28:11 +0200 | immae1 | (~immae@2a01:4f8:141:53e7::) |
2021-10-03 06:28:13 +0200 | sndr | (~sander@user/sander) |
2021-10-03 06:28:17 +0200 | alx741 | (~alx741@186.178.109.221) |
2021-10-03 06:28:17 +0200 | dunj3_ | (~dunj3@kingdread.de) |
2021-10-03 06:28:24 +0200 | td_ | (~td@muedsl-82-207-238-036.citykom.de) (Ping timeout: 252 seconds) |
2021-10-03 06:28:24 +0200 | jokleinn | (~jokleinn@user/jokleinn) (Ping timeout: 252 seconds) |
2021-10-03 06:28:24 +0200 | snekism` | (~user@88.160.31.174) (Ping timeout: 252 seconds) |
2021-10-03 06:28:24 +0200 | royo | (~royo@user/royo) (Ping timeout: 252 seconds) |
2021-10-03 06:28:24 +0200 | siers | (~ij@user/ij) (Ping timeout: 252 seconds) |
2021-10-03 06:28:24 +0200 | JSharp | (sid4580@id-4580.lymington.irccloud.com) (Ping timeout: 252 seconds) |
2021-10-03 06:28:24 +0200 | bens | (~bens@www.typius.com) (Ping timeout: 252 seconds) |
2021-10-03 06:28:24 +0200 | andreas3- | (andreas303@ip227.orange.bnc4free.com) (Ping timeout: 252 seconds) |
2021-10-03 06:28:24 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 252 seconds) |
2021-10-03 06:28:24 +0200 | bastelfreak | (~bastelfre@basteles-bastelknecht.bastelfreak.org) (Ping timeout: 252 seconds) |
2021-10-03 06:28:24 +0200 | bgamari | (~bgamari@64.223.174.87) (Ping timeout: 252 seconds) |
2021-10-03 06:28:24 +0200 | gnyeki | (~gnyeki@user/gnyeki) (Ping timeout: 252 seconds) |
2021-10-03 06:28:25 +0200 | JSharp_ | JSharp |
2021-10-03 06:28:28 +0200 | edwardk | (sid47016@haskell/developer/edwardk) (Ping timeout: 252 seconds) |
2021-10-03 06:28:28 +0200 | haasn | (~nand@haasn.dev) (Ping timeout: 252 seconds) |
2021-10-03 06:28:28 +0200 | edmundnoble | (sid229620@id-229620.helmsley.irccloud.com) (Ping timeout: 252 seconds) |
2021-10-03 06:28:28 +0200 | Adeon | (sid418992@id-418992.lymington.irccloud.com) (Ping timeout: 252 seconds) |
2021-10-03 06:28:28 +0200 | sander | (~sander@user/sander) (Read error: Connection reset by peer) |
2021-10-03 06:28:28 +0200 | Morrow_ | (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Read error: Connection reset by peer) |
2021-10-03 06:28:28 +0200 | dunj3 | (~dunj3@kingdread.de) (Ping timeout: 252 seconds) |
2021-10-03 06:28:28 +0200 | charukiewicz | (~quassel@108.210.196.136) (Ping timeout: 252 seconds) |
2021-10-03 06:28:28 +0200 | Nahra` | (~user@static.161.95.99.88.clients.your-server.de) (Ping timeout: 252 seconds) |
2021-10-03 06:28:28 +0200 | evertedsphere | (sid434122@id-434122.hampstead.irccloud.com) (Ping timeout: 252 seconds) |
2021-10-03 06:28:28 +0200 | tdammers | (~tdammers@77.109.72.177.res.static.edpnet.net) (Ping timeout: 252 seconds) |
2021-10-03 06:28:28 +0200 | edwardk_ | edwardk |
2021-10-03 06:28:28 +0200 | haasn` | haasn |
2021-10-03 06:28:35 +0200 | bastelfreak | (~bastelfre@basteles-bastelknecht.bastelfreak.org) |
2021-10-03 06:28:40 +0200 | Papa | (~papa@user/papa) (Ping timeout: 252 seconds) |
2021-10-03 06:28:46 +0200 | Papa_ | (~papa@user/papa) |
2021-10-03 06:28:47 +0200 | charukiewicz | (~quassel@108.210.196.136) |
2021-10-03 06:28:47 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
2021-10-03 06:28:51 +0200 | Nahra`` | (~user@static.161.95.99.88.clients.your-server.de) |
2021-10-03 06:28:54 +0200 | Ankhers | (~Ankhers@ec2-54-196-233-138.compute-1.amazonaws.com) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-10-03 06:28:57 +0200 | sndr | sander |
2021-10-03 06:29:12 +0200 | bgamari | (~bgamari@64.223.174.87) |
2021-10-03 06:29:13 +0200 | abrantesasf | (~abrantesa@2804:14d:b086:4b3c:2e56:dcff:fedb:62f) (Quit: Leaving) |
2021-10-03 06:29:13 +0200 | terrorjack | (~terrorjac@static.3.200.12.49.clients.your-server.de) (Ping timeout: 252 seconds) |
2021-10-03 06:29:13 +0200 | terrorjack1 | terrorjack |
2021-10-03 06:29:13 +0200 | nshepperd | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Ping timeout: 252 seconds) |
2021-10-03 06:29:13 +0200 | bjobjo | (~bjobjo@user/bjobjo) (Ping timeout: 252 seconds) |
2021-10-03 06:29:15 +0200 | justache | (~justache@user/justache) |
2021-10-03 06:29:25 +0200 | rookie101 | (~rookie@207.154.204.166) |
2021-10-03 06:29:31 +0200 | nshepperd | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
2021-10-03 06:29:33 +0200 | abrantesasf | (~abrantesa@2804:14d:b086:4b3c:2e56:dcff:fedb:62f) |
2021-10-03 06:29:54 +0200 | edmundnoble | (sid229620@id-229620.helmsley.irccloud.com) |
2021-10-03 06:30:08 +0200 | bjobjo | (~bjobjo@user/bjobjo) |
2021-10-03 06:30:14 +0200 | Ankhers | (~Ankhers@ec2-54-196-233-138.compute-1.amazonaws.com) |
2021-10-03 06:30:19 +0200 | Pent | (sid313808@id-313808.lymington.irccloud.com) (Ping timeout: 252 seconds) |
2021-10-03 06:30:19 +0200 | pjlsergeant | (sid143467@id-143467.hampstead.irccloud.com) (Ping timeout: 252 seconds) |
2021-10-03 06:30:23 +0200 | glowcoil | (sid3405@id-3405.tinside.irccloud.com) (Ping timeout: 252 seconds) |
2021-10-03 06:30:28 +0200 | Maxdaman1us | (~Maxdamant@user/maxdamantus) |
2021-10-03 06:30:28 +0200 | Guest7579 | (~asdf@ip-64-72-99-234.lasvegas.net) |
2021-10-03 06:31:30 +0200 | evertedsphere | (sid434122@id-434122.hampstead.irccloud.com) |
2021-10-03 06:31:32 +0200 | pjlsergeant | (sid143467@id-143467.hampstead.irccloud.com) |
2021-10-03 06:31:38 +0200 | tdammers | (~tdammers@77.109.72.177.res.static.edpnet.net) |
2021-10-03 06:31:40 +0200 | Adeon | (sid418992@id-418992.lymington.irccloud.com) |
2021-10-03 06:31:45 +0200 | acro_ | (~acro@user/acro) |
2021-10-03 06:31:51 +0200 | glowcoil | (sid3405@id-3405.tinside.irccloud.com) |
2021-10-03 06:32:13 +0200 | Pent | (sid313808@id-313808.lymington.irccloud.com) |
2021-10-03 06:32:33 +0200 | maerwald_ | (~maerwald@mail.hasufell.de) |
2021-10-03 06:33:18 +0200 | gonz___ | (sid304396@id-304396.lymington.irccloud.com) |
2021-10-03 06:33:22 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 252 seconds) |
2021-10-03 06:33:22 +0200 | acro | (~acro@user/acro) (Ping timeout: 252 seconds) |
2021-10-03 06:33:22 +0200 | noddy | (~user@user/noddy) (Ping timeout: 252 seconds) |
2021-10-03 06:33:22 +0200 | gonz__ | (sid304396@id-304396.lymington.irccloud.com) (Ping timeout: 252 seconds) |
2021-10-03 06:33:23 +0200 | maerwald | (~maerwald@user/maerwald) (Ping timeout: 252 seconds) |
2021-10-03 06:33:23 +0200 | grfn | (sid449115@id-449115.helmsley.irccloud.com) (Ping timeout: 252 seconds) |
2021-10-03 06:33:23 +0200 | tv | (~tv@user/tv) (Ping timeout: 252 seconds) |
2021-10-03 06:33:23 +0200 | acro_ | acro |
2021-10-03 06:33:29 +0200 | tv1 | (~tv@user/tv) |
2021-10-03 06:33:37 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) (Ping timeout: 252 seconds) |
2021-10-03 06:33:51 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) |
2021-10-03 06:34:10 +0200 | edwtjo | (~edwtjo@user/edwtjo) (Ping timeout: 252 seconds) |
2021-10-03 06:34:19 +0200 | grfn | (sid449115@id-449115.helmsley.irccloud.com) |
2021-10-03 06:34:26 +0200 | edwtjo | (~edwtjo@h-109-228-137-133.A213.priv.bahnhof.se) |
2021-10-03 06:34:26 +0200 | edwtjo | (~edwtjo@h-109-228-137-133.A213.priv.bahnhof.se) (Changing host) |
2021-10-03 06:34:26 +0200 | edwtjo | (~edwtjo@user/edwtjo) |
2021-10-03 06:34:46 +0200 | noddy | (~user@user/noddy) |
2021-10-03 06:34:47 +0200 | Guest372 | (~xxx@47.245.54.240) |
2021-10-03 06:35:05 +0200 | xax__ | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
2021-10-03 06:35:30 +0200 | vicfred__ | (~vicfred@user/vicfred) |
2021-10-03 06:35:42 +0200 | cfebs_ | (~cfebs@user/cfebs) |
2021-10-03 06:35:49 +0200 | jinsun__ | (~quassel@user/jinsun) |
2021-10-03 06:36:25 +0200 | Gestotterd | (~Stotteren@pool-108-20-79-41.bstnma.fios.verizon.net) |
2021-10-03 06:36:26 +0200 | madnight_ | (~madnight@static.59.103.201.195.clients.your-server.de) |
2021-10-03 06:36:45 +0200 | gnyeki_ | gnyeki |
2021-10-03 06:37:08 +0200 | gnyeki | (~gnyeki@li578-216.members.linode.com) (Changing host) |
2021-10-03 06:37:08 +0200 | gnyeki | (~gnyeki@user/gnyeki) |
2021-10-03 06:37:09 +0200 | notzmv- | (~zmv@user/notzmv) |
2021-10-03 06:37:13 +0200 | cfebs | (~cfebs@user/cfebs) (Ping timeout: 252 seconds) |
2021-10-03 06:37:13 +0200 | vicfred_ | (~vicfred@user/vicfred) (Read error: Connection reset by peer) |
2021-10-03 06:37:13 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 252 seconds) |
2021-10-03 06:37:13 +0200 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) (Ping timeout: 252 seconds) |
2021-10-03 06:37:13 +0200 | elvishjerricco | (sid237756@id-237756.helmsley.irccloud.com) (Ping timeout: 252 seconds) |
2021-10-03 06:37:13 +0200 | swistak | (~swistak@185.21.216.141) (Ping timeout: 252 seconds) |
2021-10-03 06:37:13 +0200 | guibou | (~guibou@mail.fmap.fr) (Ping timeout: 252 seconds) |
2021-10-03 06:37:13 +0200 | guibou | (~guibou@mail.fmap.fr) |
2021-10-03 06:37:13 +0200 | jinsun | (~quassel@user/jinsun) (Read error: Connection reset by peer) |
2021-10-03 06:37:14 +0200 | _xor | (~xor@74.215.232.67) (Ping timeout: 252 seconds) |
2021-10-03 06:37:14 +0200 | df | (~ben@justworks.xyz) (Ping timeout: 252 seconds) |
2021-10-03 06:37:14 +0200 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) (Ping timeout: 252 seconds) |
2021-10-03 06:37:14 +0200 | damien3 | (~damien@248.ip-149-56-13.net) (Ping timeout: 252 seconds) |
2021-10-03 06:37:14 +0200 | cfebs_ | cfebs |
2021-10-03 06:37:16 +0200 | df_ | (~ben@justworks.xyz) |
2021-10-03 06:37:21 +0200 | Stotteren | (~Stotteren@pool-108-20-79-41.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
2021-10-03 06:37:24 +0200 | _xor | (~xor@74.215.232.67) |
2021-10-03 06:37:25 +0200 | damien3 | (~damien@248.ip-149-56-13.net) |
2021-10-03 06:37:26 +0200 | elvishjerricco | (sid237756@id-237756.helmsley.irccloud.com) |
2021-10-03 06:38:08 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
2021-10-03 06:38:21 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
2021-10-03 06:38:28 +0200 | goepsilongo | (~goepsilon@2603-7000-ab00-62ed-3d14-a85d-f173-86d5.res6.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com) |
2021-10-03 06:38:32 +0200 | hyiltiz | (~quassel@31.220.5.250) |
2021-10-03 06:38:46 +0200 | swistak | (~swistak@185.21.216.141) |
2021-10-03 06:38:52 +0200 | hueso_ | (~root@user/hueso) |
2021-10-03 06:38:52 +0200 | hueso | (~root@user/hueso) (Ping timeout: 252 seconds) |
2021-10-03 06:39:14 +0200 | tzh_ | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Ping timeout: 252 seconds) |
2021-10-03 06:39:31 +0200 | phma | (~phma@host-67-44-209-109.hnremote.net) |
2021-10-03 06:39:45 +0200 | abrantesasf | (~abrantesa@2804:14d:b086:4b3c:2e56:dcff:fedb:62f) (Quit: Leaving) |
2021-10-03 06:40:47 +0200 | thyriaen__ | (~thyriaen@dynamic-089-014-106-026.89.14.pool.telefonica.de) |
2021-10-03 06:41:01 +0200 | terrorjack7 | (~terrorjac@static.3.200.12.49.clients.your-server.de) |
2021-10-03 06:41:09 +0200 | hnOsmium0001 | (uid453710@id-453710.hampstead.irccloud.com) (Ping timeout: 252 seconds) |
2021-10-03 06:41:09 +0200 | alp | (~alp@mail.fmap.fr) (Ping timeout: 252 seconds) |
2021-10-03 06:41:15 +0200 | alp | (~alp@mail.fmap.fr) |
2021-10-03 06:41:16 +0200 | comerijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
2021-10-03 06:41:25 +0200 | darkstardevx | (~darkstard@2601:1c2:300:c8a0::f2b6) (Remote host closed the connection) |
2021-10-03 06:41:25 +0200 | td__ | (~td@muedsl-82-207-238-036.citykom.de) (Ping timeout: 252 seconds) |
2021-10-03 06:41:25 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 252 seconds) |
2021-10-03 06:41:25 +0200 | panda_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 252 seconds) |
2021-10-03 06:41:25 +0200 | synthmeat | (~synthmeat@user/synthmeat) (Ping timeout: 252 seconds) |
2021-10-03 06:41:25 +0200 | integral | (sid296274@user/integral) (Ping timeout: 252 seconds) |
2021-10-03 06:41:34 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) |
2021-10-03 06:41:35 +0200 | hnOsmium0001 | (uid453710@id-453710.hampstead.irccloud.com) |
2021-10-03 06:41:38 +0200 | td_ | (~td@muedsl-82-207-238-036.citykom.de) |
2021-10-03 06:41:40 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Excess Flood) |
2021-10-03 06:41:41 +0200 | terrorjack | (~terrorjac@static.3.200.12.49.clients.your-server.de) (Read error: Connection reset by peer) |
2021-10-03 06:41:42 +0200 | terrorjack7 | terrorjack |
2021-10-03 06:41:44 +0200 | darkstardevx | (~darkstard@2601:1c2:300:c8a0::f2b6) |
2021-10-03 06:41:50 +0200 | synthmeat | (~synthmeat@user/synthmeat) |
2021-10-03 06:41:54 +0200 | dibblego | (~dibblego@122-199-1-30.ip4.superloop.com) |
2021-10-03 06:41:54 +0200 | dibblego | (~dibblego@122-199-1-30.ip4.superloop.com) (Changing host) |
2021-10-03 06:41:54 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2021-10-03 06:41:58 +0200 | haveo | (~haveo@sl35.iuwt.fr) (Ping timeout: 252 seconds) |
2021-10-03 06:42:06 +0200 | haveo | (~haveo@sl35.iuwt.fr) |
2021-10-03 06:42:18 +0200 | rtjure | (~rtjure@bras-79-132-17-74.comnet.bg) (Read error: Connection reset by peer) |
2021-10-03 06:42:25 +0200 | rtjure | (~rtjure@bras-79-132-17-74.comnet.bg) |
2021-10-03 06:42:31 +0200 | phma_ | (~phma@host-67-44-209-109.hnremote.net) (Ping timeout: 252 seconds) |
2021-10-03 06:42:34 +0200 | integral | (sid296274@user/integral) |
2021-10-03 06:43:12 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
2021-10-03 06:43:53 +0200 | thyriaen_ | (~thyriaen@dynamic-089-012-250-165.89.12.pool.telefonica.de) (Ping timeout: 264 seconds) |
2021-10-03 06:44:46 +0200 | darkstarx | (~darkstard@2601:1c2:300:c8a0::f2b6) |
2021-10-03 06:46:16 +0200 | xff0x | (~xff0x@2001:1a81:5271:d100:877a:c3e3:989c:8619) (Ping timeout: 252 seconds) |
2021-10-03 06:46:26 +0200 | canta | (~canta@user/canta) (Ping timeout: 252 seconds) |
2021-10-03 06:46:32 +0200 | xff0x | (~xff0x@2001:1a81:5271:d100:877a:c3e3:989c:8619) |
2021-10-03 06:46:49 +0200 | nrr | (sid20938@id-20938.lymington.irccloud.com) (Ping timeout: 252 seconds) |
2021-10-03 06:46:49 +0200 | int-e | (~noone@int-e.eu) (Ping timeout: 252 seconds) |
2021-10-03 06:46:57 +0200 | int-e | (~noone@int-e.eu) |
2021-10-03 06:47:17 +0200 | integral | (sid296274@user/integral) (Max SendQ exceeded) |
2021-10-03 06:47:18 +0200 | integral | (sid296274@user/integral) |
2021-10-03 06:47:30 +0200 | riatre_ | (~quassel@2001:310:6000:f::5198:1) |
2021-10-03 06:48:04 +0200 | riatre | (~quassel@2001:310:6000:f::5198:1) (Ping timeout: 252 seconds) |
2021-10-03 06:48:04 +0200 | darkstardevx | (~darkstard@2601:1c2:300:c8a0::f2b6) (Ping timeout: 252 seconds) |
2021-10-03 06:48:04 +0200 | retro_ | (~retro@176.255.22.194) (Ping timeout: 252 seconds) |
2021-10-03 06:48:25 +0200 | nrr | (sid20938@id-20938.lymington.irccloud.com) |
2021-10-03 06:49:01 +0200 | retroid_ | (~retro@176.255.22.194) |
2021-10-03 06:51:05 +0200 | synthmeat1 | (~synthmeat@user/synthmeat) |
2021-10-03 06:51:34 +0200 | synthmeat | (~synthmeat@user/synthmeat) (Ping timeout: 252 seconds) |
2021-10-03 06:51:34 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) (Ping timeout: 252 seconds) |
2021-10-03 06:51:46 +0200 | typedfern_ | (~Typedfern@171.red-83-51-60.dynamicip.rima-tde.net) (Ping timeout: 252 seconds) |
2021-10-03 06:51:52 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) |
2021-10-03 06:51:58 +0200 | retro_ | (~retro@176.255.22.194) |
2021-10-03 06:52:02 +0200 | abrantesasf | (~abrantesa@2804:14d:b086:4b3c:2e56:dcff:fedb:62f) |
2021-10-03 06:52:04 +0200 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) |
2021-10-03 06:52:08 +0200 | typedfern_ | (~Typedfern@171.red-83-51-60.dynamicip.rima-tde.net) |
2021-10-03 06:53:58 +0200 | retroid_ | (~retro@176.255.22.194) (Ping timeout: 252 seconds) |
2021-10-03 06:55:02 +0200 | spruit11 | (~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508) |
2021-10-03 06:56:23 +0200 | shailangsa_ | (~shailangs@host217-39-45-200.range217-39.btcentralplus.com) |
2021-10-03 06:59:44 +0200 | spruit11 | (~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508) (Ping timeout: 250 seconds) |
2021-10-03 07:02:02 +0200 | trillp_ | (~trillp@69.233.98.238) |
2021-10-03 07:02:59 +0200 | trillp | (~trillp@69.233.98.238) (Killed (NickServ (GHOST command used by trillp_))) |
2021-10-03 07:03:31 +0200 | retro_ | (~retro@176.255.22.194) (Ping timeout: 252 seconds) |
2021-10-03 07:03:31 +0200 | retroid_ | (~retro@176.255.22.194) |
2021-10-03 07:03:45 +0200 | abrantesasf | (~abrantesa@2804:14d:b086:4b3c:2e56:dcff:fedb:62f) (Quit: Leaving) |
2021-10-03 07:03:58 +0200 | abrantesasf | (~abrantesa@2804:14d:b086:4b3c:2e56:dcff:fedb:62f) |
2021-10-03 07:05:40 +0200 | trillp_ | (~trillp@69.233.98.238) (Client Quit) |
2021-10-03 07:07:47 +0200 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 240 seconds) |
2021-10-03 07:09:33 +0200 | Guest7579 | cads |
2021-10-03 07:09:58 +0200 | hyiltiz | (~quassel@31.220.5.250) |
2021-10-03 07:17:06 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
2021-10-03 07:17:18 +0200 | Vajb | (~Vajb@85-76-12-133-nat.elisa-mobile.fi) |
2021-10-03 07:24:40 +0200 | abrantesasf | (~abrantesa@2804:14d:b086:4b3c:2e56:dcff:fedb:62f) (Quit: Leaving) |
2021-10-03 07:25:24 +0200 | abrantesasf | (~abrantesa@2804:14d:b086:4b3c:2e56:dcff:fedb:62f) |
2021-10-03 07:26:32 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
2021-10-03 07:33:39 +0200 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 250 seconds) |
2021-10-03 07:37:06 +0200 | hyiltiz | (~quassel@31.220.5.250) |
2021-10-03 07:42:59 +0200 | Vajb | (~Vajb@85-76-12-133-nat.elisa-mobile.fi) (Read error: Connection reset by peer) |
2021-10-03 07:43:24 +0200 | Maxdaman1us | Maxdamantus |
2021-10-03 07:43:49 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
2021-10-03 07:46:51 +0200 | chomwitt | (~chomwitt@2a02:587:dc04:fc00:12c3:7bff:fe6d:d374) |
2021-10-03 07:48:03 +0200 | mbuf | (~Shakthi@223.178.78.66) |
2021-10-03 07:48:30 +0200 | norskal | (~norskal@101.175.64.73) (Quit: Ping timeout (120 seconds)) |
2021-10-03 07:52:23 +0200 | mikoto-chan | (~mikoto-ch@83.137.2.254) (Read error: Connection reset by peer) |
2021-10-03 07:55:59 +0200 | ByronJohnson | (~bairyn@mail.digitalkingdom.org) (Remote host closed the connection) |
2021-10-03 07:56:55 +0200 | abrantesasf | (~abrantesa@2804:14d:b086:4b3c:2e56:dcff:fedb:62f) (Quit: Leaving) |
2021-10-03 07:57:25 +0200 | abrantesasf | (~abrantesa@2804:14d:b086:4b3c:2e56:dcff:fedb:62f) |
2021-10-03 07:58:49 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
2021-10-03 07:59:33 +0200 | jinsun__ | jinsun |
2021-10-03 08:01:25 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
2021-10-03 08:02:32 +0200 | _xor | (~xor@74.215.232.67) (Quit: brb) |
2021-10-03 08:06:43 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
2021-10-03 08:07:17 +0200 | Vajb | (~Vajb@n8vwdu04eps78g521-2.v6.elisa-mobile.fi) |
2021-10-03 08:09:50 +0200 | shailangsa_ | (~shailangs@host217-39-45-200.range217-39.btcentralplus.com) () |
2021-10-03 08:11:39 +0200 | abrantesasf | (~abrantesa@2804:14d:b086:4b3c:2e56:dcff:fedb:62f) (Quit: Leaving) |
2021-10-03 08:11:54 +0200 | abrantesasf | (~abrantesa@2804:14d:b086:4b3c:2e56:dcff:fedb:62f) |
2021-10-03 08:12:27 +0200 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) |
2021-10-03 08:12:27 +0200 | Vajb | (~Vajb@n8vwdu04eps78g521-2.v6.elisa-mobile.fi) (Read error: Connection reset by peer) |
2021-10-03 08:12:36 +0200 | abrantesasf | (~abrantesa@2804:14d:b086:4b3c:2e56:dcff:fedb:62f) (Remote host closed the connection) |
2021-10-03 08:13:19 +0200 | norskal | (~norskal@101.175.64.73) |
2021-10-03 08:13:55 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
2021-10-03 08:14:32 +0200 | ByronJohnson | (~bairyn@mail.digitalkingdom.org) |
2021-10-03 08:15:13 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-10-03 08:15:13 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-10-03 08:15:13 +0200 | wroathe | (~wroathe@user/wroathe) |
2021-10-03 08:16:24 +0200 | _xor | (~xor@74.215.232.67) |
2021-10-03 08:16:32 +0200 | _xor | (~xor@74.215.232.67) (Client Quit) |
2021-10-03 08:17:41 +0200 | alzgh | (~alzgh@user/alzgh) |
2021-10-03 08:17:57 +0200 | ByronJohnson | (~bairyn@mail.digitalkingdom.org) (Remote host closed the connection) |
2021-10-03 08:19:34 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
2021-10-03 08:19:54 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
2021-10-03 08:20:37 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
2021-10-03 08:25:17 +0200 | <arahael> | invoke? await? |
2021-10-03 08:27:39 +0200 | <arahael> | dispatch? |
2021-10-03 08:28:09 +0200 | <arahael> | throw (especially with SEH exceptions!) |
2021-10-03 08:35:50 +0200 | ByronJohnson | (~bairyn@mail.digitalkingdom.org) |
2021-10-03 08:36:18 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-10-03 08:36:18 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-10-03 08:36:18 +0200 | wroathe | (~wroathe@user/wroathe) |
2021-10-03 08:37:54 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-10-03 08:39:32 +0200 | Skyfire | (~pyon@user/pyon) |
2021-10-03 08:40:40 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
2021-10-03 08:43:57 +0200 | desophos | (~desophos@2601:249:1680:a570:9495:66ea:ccc2:b869) (Quit: Leaving) |
2021-10-03 08:46:20 +0200 | shailangsa | (~shailangs@host217-39-45-200.range217-39.btcentralplus.com) |
2021-10-03 08:46:35 +0200 | _xor | (~xor@74.215.232.67) |
2021-10-03 08:47:36 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 245 seconds) |
2021-10-03 08:50:45 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2021-10-03 08:57:16 +0200 | xiongxin | (~quassel@119.123.103.10) (Ping timeout: 252 seconds) |
2021-10-03 08:57:20 +0200 | vysn | (~vysn@user/vysn) |
2021-10-03 09:01:20 +0200 | norskal | (~norskal@101.175.64.73) (Quit: Ping timeout (120 seconds)) |
2021-10-03 09:02:20 +0200 | hnOsmium0001 | (uid453710@id-453710.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2021-10-03 09:11:25 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
2021-10-03 09:12:39 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:75c8:94d0:d9df:71f1) (Remote host closed the connection) |
2021-10-03 09:14:02 +0200 | alp | (~alp@mail.fmap.fr) (Changing host) |
2021-10-03 09:14:02 +0200 | alp | (~alp@user/alp) |
2021-10-03 09:15:54 +0200 | rembo10 | (~rembo10@wally.codeshy.com) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-10-03 09:16:51 +0200 | rembo10 | (~rembo10@wally.codeshy.com) |
2021-10-03 09:18:04 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
2021-10-03 09:22:38 +0200 | spruit11 | (~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508) |
2021-10-03 09:26:47 +0200 | rtjure | (~rtjure@bras-79-132-17-74.comnet.bg) (Ping timeout: 240 seconds) |
2021-10-03 09:30:05 +0200 | max22- | (~maxime@2a01cb0883359800f1cc6f4cb26f8fcc.ipv6.abo.wanadoo.fr) |
2021-10-03 09:33:09 +0200 | nfd | (~nfd@user/nfd) |
2021-10-03 09:55:39 +0200 | xiongxin | (~quassel@113.116.33.66) |
2021-10-03 10:01:28 +0200 | ryantrinkle | (~ryan@50.239.20.147) (Read error: Connection reset by peer) |
2021-10-03 10:04:07 +0200 | cods_ | cods |
2021-10-03 10:04:20 +0200 | fendor | (~fendor@178.115.44.26.wireless.dyn.drei.com) |
2021-10-03 10:07:17 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2021-10-03 10:07:55 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2021-10-03 10:08:43 +0200 | hendursa1 | (~weechat@user/hendursaga) |
2021-10-03 10:09:12 +0200 | hendursaga | (~weechat@user/hendursaga) (Ping timeout: 276 seconds) |
2021-10-03 10:10:58 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
2021-10-03 10:13:02 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:641d:d2f8:a9a1:be29) |
2021-10-03 10:14:38 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
2021-10-03 10:14:47 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
2021-10-03 10:15:05 +0200 | Vajb | (~Vajb@n8vwdu04eps78g521-2.v6.elisa-mobile.fi) |
2021-10-03 10:15:57 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
2021-10-03 10:17:33 +0200 | allbery_b | (~geekosaur@xmonad/geekosaur) |
2021-10-03 10:17:33 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
2021-10-03 10:17:36 +0200 | allbery_b | geekosaur |
2021-10-03 10:18:40 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:641d:d2f8:a9a1:be29) (Ping timeout: 252 seconds) |
2021-10-03 10:35:29 +0200 | snekism`` | (~user@88.160.31.174) (Ping timeout: 264 seconds) |
2021-10-03 10:35:49 +0200 | xax__ | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
2021-10-03 10:36:28 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-10-03 10:36:28 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-10-03 10:36:28 +0200 | wroathe | (~wroathe@user/wroathe) |
2021-10-03 10:40:46 +0200 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 260 seconds) |
2021-10-03 10:41:40 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
2021-10-03 10:42:54 +0200 | hyiltiz | (~quassel@31.220.5.250) |
2021-10-03 10:42:54 +0200 | Vajb | (~Vajb@n8vwdu04eps78g521-2.v6.elisa-mobile.fi) (Read error: Connection reset by peer) |
2021-10-03 10:43:47 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
2021-10-03 10:44:34 +0200 | royo | (~royo@user/royo) |
2021-10-03 10:53:42 +0200 | snekism`` | (~user@88.160.31.174) |
2021-10-03 11:03:54 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
2021-10-03 11:05:44 +0200 | NieDzejkob | (~quassel@195.149.98.3) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2021-10-03 11:07:15 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-10-03 11:07:15 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-10-03 11:07:15 +0200 | wroathe | (~wroathe@user/wroathe) |
2021-10-03 11:08:19 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-10-03 11:12:28 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
2021-10-03 11:14:59 +0200 | canta | (~canta@user/canta) |
2021-10-03 11:15:53 +0200 | <tomjaguarpaw> | Contrary to my claim yesterday, conduit doesn't have quadratic performance (only streaming and pipes do) |
2021-10-03 11:19:48 +0200 | <Rembane> | What's n in this case? |
2021-10-03 11:21:16 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
2021-10-03 11:21:29 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
2021-10-03 11:24:08 +0200 | acidjnk | (~acidjnk@p200300d0c703cb7300daba732d0a6133.dip0.t-ipconnect.de) |
2021-10-03 11:26:14 +0200 | <tomjaguarpaw> | The benchmark in question is to lift and IO action at each leaf of a left-skewed tree |
2021-10-03 11:26:32 +0200 | <tomjaguarpaw> | https://github.com/tomjaguarpaw/streaming-benchmark/blob/master/app/Tree.hs#L18-L43 |
2021-10-03 11:27:45 +0200 | max22- | (~maxime@2a01cb0883359800f1cc6f4cb26f8fcc.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
2021-10-03 11:28:40 +0200 | max22- | (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) |
2021-10-03 11:38:02 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-10-03 11:38:02 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-10-03 11:38:02 +0200 | wroathe | (~wroathe@user/wroathe) |
2021-10-03 11:39:47 +0200 | Morrow | (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 240 seconds) |
2021-10-03 11:40:59 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2021-10-03 11:41:34 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
2021-10-03 11:42:49 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
2021-10-03 11:44:58 +0200 | juhp | (~juhp@128.106.188.220) (Quit: juhp) |
2021-10-03 11:45:24 +0200 | juhp | (~juhp@128.106.188.220) |
2021-10-03 11:47:04 +0200 | nfd | (~nfd@user/nfd) (Ping timeout: 252 seconds) |
2021-10-03 11:49:22 +0200 | fef | (~thedawn@user/thedawn) |
2021-10-03 11:49:39 +0200 | maerwald_ | maerwald |
2021-10-03 11:50:16 +0200 | maerwald | (~maerwald@mail.hasufell.de) (Changing host) |
2021-10-03 11:50:16 +0200 | maerwald | (~maerwald@user/maerwald) |
2021-10-03 11:52:10 +0200 | chomwitt | (~chomwitt@2a02:587:dc04:fc00:12c3:7bff:fe6d:d374) (Ping timeout: 260 seconds) |
2021-10-03 11:53:58 +0200 | nfd | (~nfd@user/nfd) |
2021-10-03 11:56:55 +0200 | tfeb | (~tfb@88.98.95.237) |
2021-10-03 12:01:22 +0200 | unmanbearpig | (~unmanbear@user/unmanbearpig) (Ping timeout: 252 seconds) |
2021-10-03 12:03:17 +0200 | tomsmeding | sad that ghcup doesn't run on my android phone in termux |
2021-10-03 12:03:44 +0200 | <tomsmeding> | But I mean, ghc itself probably doesn't |
2021-10-03 12:05:17 +0200 | chomwitt | (~chomwitt@2a02:587:dc04:fc00:12c3:7bff:fe6d:d374) |
2021-10-03 12:05:49 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2021-10-03 12:08:03 +0200 | fef | (~thedawn@user/thedawn) (Quit: Leaving) |
2021-10-03 12:08:38 +0200 | <Hecate> | tomsmeding: you need to send flowers to angerman for this :) |
2021-10-03 12:09:10 +0200 | oxide | (~lambda@user/oxide) |
2021-10-03 12:09:23 +0200 | <angerman> | tomsmeding: why wouldn’t it? |
2021-10-03 12:09:30 +0200 | <tomsmeding> | Hecate: you're saying that the arm work wasn't only for macos but also does the trick for android? |
2021-10-03 12:09:46 +0200 | chisui | (~chisui@200116b864afe900a968a2efb0bdf85e.dip.versatel-1u1.de) |
2021-10-03 12:09:47 +0200 | <tomsmeding> | angerman: I'm going to try right now :p |
2021-10-03 12:09:54 +0200 | <angerman> | tomsmeding: yes. It’s been for Mach-o *and* ELF |
2021-10-03 12:09:54 +0200 | tomsmeding | is excited |
2021-10-03 12:10:20 +0200 | <angerman> | No PE support though. So AArch64-windows is likely not an option. |
2021-10-03 12:11:04 +0200 | <maerwald> | tomsmeding: what's the error? |
2021-10-03 12:11:05 +0200 | <angerman> | tomsmeding: I hope you’ve got a 64bit device. Not sure how the 32bit quality is. The NCG is only AArch64 |
2021-10-03 12:11:08 +0200 | akegalj | (~akegalj@93-138-88-178.adsl.net.t-com.hr) |
2021-10-03 12:11:21 +0200 | <jneira[m]> | eta worked in android fine 😢 |
2021-10-03 12:11:33 +0200 | <angerman> | Yea. I’m still very sad about eta. |
2021-10-03 12:11:39 +0200 | <tomsmeding> | maerwald: no such file or directory when trying to run the downloaded ghcup executable; presumably some library missing |
2021-10-03 12:11:51 +0200 | <tomsmeding> | angerman: yeah 64 bit fortunately :) |
2021-10-03 12:11:52 +0200 | <angerman> | I have some hope we might be able to eventually resurrect it after the current STG work. |
2021-10-03 12:11:53 +0200 | <maerwald> | yeah, they're not static |
2021-10-03 12:12:14 +0200 | <jneira[m]> | there is any work in extending backends for ghc? |
2021-10-03 12:12:52 +0200 | <angerman> | jneira[m]: a little yes. Primarily to make Asterius easier. But with input form ghcjs experience as well. |
2021-10-03 12:13:22 +0200 | <angerman> | jneira[m]: there is also a ton of work being done by Sylvian to make targets in GHC easier. |
2021-10-03 12:14:27 +0200 | <Hecate> | jneira[m]: the idea is to bridge the gap between GHC & GHCJS so as to make JS & WASM targets of GHC (instead of forks) |
2021-10-03 12:14:32 +0200 | <angerman> | jneira[m]: GHC 9.6 will likely be pretty cool if we can get all this in. |
2021-10-03 12:14:44 +0200 | <Hecate> | JVM bytecode as well, although they had to fork in order to control more upstream bits of the pipeline, IIRC? |
2021-10-03 12:15:08 +0200 | <jneira[m]> | sound great |
2021-10-03 12:15:30 +0200 | <angerman> | Hecate: it’s most likely been the easier path. Fixing cabal upstream can be a pain. Getting patches into ghc can be a pain especially if you are experimenting a lot. |
2021-10-03 12:16:03 +0200 | <jneira[m]> | some link to take a look for the JVM part? not sure if I will have time to help but just in case |
2021-10-03 12:17:13 +0200 | <angerman> | IOHK has Luite working on merging ghcjs into ghc, (he’s been adding unboxed tuple and sums support to the interpreter a while back), and Sylvian is tasked with making plugins work with cross compilers. |
2021-10-03 12:17:25 +0200 | <tomsmeding> | bash: utils/ghc-cabal/dist-install/build/tmp/ghc-cabal: No such file or directory |
2021-10-03 12:17:29 +0200 | <angerman> | Tweag is working on Asterius and improving STG |
2021-10-03 12:17:37 +0200 | <tomsmeding> | :( also some missing lib for ghc; now to check what it is |
2021-10-03 12:17:50 +0200 | <angerman> | jneira[m]: other than the eta source, I don’t think I know of any. |
2021-10-03 12:18:25 +0200 | <Hecate> | angerman: Frege maybe? |
2021-10-03 12:19:26 +0200 | <jneira[m]> | it has no much activity and does not support ghc extensions afaik |
2021-10-03 12:19:51 +0200 | <jneira[m]> | I see it more similar to purescript |
2021-10-03 12:20:14 +0200 | <Hecate> | oké |
2021-10-03 12:20:21 +0200 | <jneira[m]> | the JVM backend of ETA could be the starting point for sure |
2021-10-03 12:21:35 +0200 | <tomsmeding> | Hm, 'find ../../usr -name libffi.so'*'' gives only '../../usr/lib/libffi.so', while ghc seems to refer to libffi.so.6. |
2021-10-03 12:21:38 +0200 | <jneira[m]> | but I think there were some tech issues to support all ghc extensions, specially related with dependent typed |
2021-10-03 12:22:08 +0200 | <jneira[m]> | but not sure I did not analyze them in deep |
2021-10-03 12:26:07 +0200 | xiongxin | (~quassel@113.116.33.66) (Ping timeout: 252 seconds) |
2021-10-03 12:29:55 +0200 | flukiluke | (~m-7humut@plum.alephc.xyz) |
2021-10-03 12:32:05 +0200 | tfeb | (~tfb@88.98.95.237) (Quit: died) |
2021-10-03 12:32:53 +0200 | tcard_ | (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) (Quit: Leaving) |
2021-10-03 12:34:16 +0200 | <tomsmeding> | What other ways than ldd are there to debug missing dynamically linked libraries on "linux"? |
2021-10-03 12:35:04 +0200 | <tomsmeding> | The binutils package in termux on android is a 5-line shell script that effectively calls objdump -p "$@" | grep NEEDED, meaning that it doesn't check any resolving |
2021-10-03 12:35:25 +0200 | <tomsmeding> | s/binutils/ldd executable in the binutils/ |
2021-10-03 12:39:48 +0200 | tcard | (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) |
2021-10-03 12:40:30 +0200 | Arsen | (~arsen@managarm/dev/Arsen) (Quit: Quit.) |
2021-10-03 12:40:49 +0200 | Arsen | (~arsen@managarm/dev/Arsen) |
2021-10-03 12:41:40 +0200 | akegalj | (~akegalj@93-138-88-178.adsl.net.t-com.hr) (Quit: leaving) |
2021-10-03 12:42:44 +0200 | ozzymcduff | (~mathieu@81-234-151-21-no94.tbcn.telia.com) (Remote host closed the connection) |
2021-10-03 12:46:51 +0200 | ozzymcduff | (~mathieu@81-234-151-21-no94.tbcn.telia.com) |
2021-10-03 12:48:19 +0200 | sagax | (~sagax_nb@user/sagax) |
2021-10-03 12:50:36 +0200 | <geekosaur> | tomsmeding, there are environment variables you can set that cause the runtime loader to dump debug information as it loads stuff |
2021-10-03 12:52:06 +0200 | <geekosaur> | that said, it's not real smart about resolving. but you can watch its progress and the objects it loads and tries to resolve symbols from, including transitive dependencies |
2021-10-03 12:52:47 +0200 | Alex_test_ | Alex_test |
2021-10-03 12:53:07 +0200 | fusion86 | (~fusion@2a02-a44c-e6e5-1-fad6-23ef-a6f9-7635.fixed6.kpn.net) |
2021-10-03 12:58:10 +0200 | max22- | (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) (Ping timeout: 252 seconds) |
2021-10-03 13:01:49 +0200 | ryantrinkle | (~ryan@50.239.20.147) |
2021-10-03 13:03:30 +0200 | mestre | (~mestre@191.177.175.57) |
2021-10-03 13:04:04 +0200 | <fusion86> | Quick question, which of these two is considered the "best" in haskell? 1. importing a whole module, or 2. importing only what you need from a module (e.g `import SDL.Font (Font)`). Or does this depend on how many things you import from a module? |
2021-10-03 13:05:50 +0200 | <tomsmeding> | geekosaur: LD_DEBUG doesn't seem to do anything unfortunately |
2021-10-03 13:05:59 +0200 | <tomsmeding> | (remember, android) |
2021-10-03 13:06:04 +0200 | <byorgey> | fusion86: I tend to use both depending on how many things I import. |
2021-10-03 13:06:17 +0200 | <geekosaur> | oh, I missed that part |
2021-10-03 13:06:26 +0200 | <geekosaur> | yeh, android does its own thing :( |
2021-10-03 13:06:41 +0200 | <geekosaur> | and sadly I suspect that means you lose any useful way to debug |
2021-10-03 13:07:12 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-10-03 13:07:16 +0200 | <byorgey> | fusion86: note that the best practice for writing "industrial-strength" code is probably for every import to either be qualified (import qualified SDL.Font as F) or list all the imports (import SDL.Font (Font)). That way you can easily tell where every name comes from. |
2021-10-03 13:07:29 +0200 | <geekosaur> | fusion86, it also depends on the module. many modules expore more or less the same interface and expect to be imported either piece by piece or qualified |
2021-10-03 13:08:16 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Client Quit) |
2021-10-03 13:08:16 +0200 | <geekosaur> | (for example, there is significant overlap between list operations and Data.Map) |
2021-10-03 13:08:49 +0200 | <clever> | byorgey: i also prefer writing code like that, it makes it trivial to trace imports down, without needing a full IDE |
2021-10-03 13:08:55 +0200 | <geekosaur> | byorgey, that may actually be changing because with HLS yoyu can just point at something to see where it came from |
2021-10-03 13:09:08 +0200 | <geekosaur> | and HLS is increasingly popular |
2021-10-03 13:09:10 +0200 | <fusion86> | Yeah that was confusing at first (overlay between Data.Map and Data.Set etc) |
2021-10-03 13:09:22 +0200 | <geekosaur> | there's enough stuff you already have to keep track of with e.g. types |
2021-10-03 13:09:23 +0200 | <byorgey> | geekosaur: good point, tool support helps a lot here. I use HLS myself. |
2021-10-03 13:09:30 +0200 | <fusion86> | Do you also fully qualify your own modules (withing the same package) |
2021-10-03 13:09:46 +0200 | <sm> | isn't there an easy way to suppress or redirect stderr ? I'm not finding it |
2021-10-03 13:10:03 +0200 | <fusion86> | Because usually you use a lot of exports from your own module |
2021-10-03 13:10:54 +0200 | <byorgey> | fusion86: in practice, no, I don't. And as geekosaur points out, maybe I should stop feeling bad about it, because nice tools let us have nice things =) |
2021-10-03 13:10:55 +0200 | <geekosaur> | sm, not specifically. usually you do that from the shell outside your program. but if the first thing you do in your program is close stderr and then open a Handle on /dev/null or some other file, it should do the same thing |
2021-10-03 13:10:57 +0200 | <clever> | sm: https://hackage.haskell.org/package/silently-1.2.5.1 |
2021-10-03 13:11:11 +0200 | <clever> | silently will replace the stdout or stderr handles |
2021-10-03 13:11:24 +0200 | <sm> | thanks! |
2021-10-03 13:11:34 +0200 | <geekosaur> | sadly we don't have freopen built in, but see that package |
2021-10-03 13:11:56 +0200 | <sm> | that looks perfect |
2021-10-03 13:12:34 +0200 | <tomsmeding> | geekosaur: too bad, so close to ghc on my phone |
2021-10-03 13:12:34 +0200 | <clever> | i think hDuplicateTo is the key bit of magic |
2021-10-03 13:12:43 +0200 | <clever> | it overwrites a Handle object |
2021-10-03 13:12:55 +0200 | <clever> | so you can modify what the stdout :: Handle points to |
2021-10-03 13:14:48 +0200 | <geekosaur> | fusion86, my answer to that question is: usually not because I have more control over naming. but sometimes I'm duplicating APIs as I described above and then I will qualify |
2021-10-03 13:15:12 +0200 | <geekosaur> | it entirely depends on the use case and what feels more "natural", imo |
2021-10-03 13:15:34 +0200 | <fusion86> | alright, thanks for the input :) |
2021-10-03 13:16:18 +0200 | xiongxin | (~quassel@113.116.33.66) |
2021-10-03 13:16:29 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:641d:d2f8:a9a1:be29) |
2021-10-03 13:21:10 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:641d:d2f8:a9a1:be29) (Ping timeout: 252 seconds) |
2021-10-03 13:22:07 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-10-03 13:29:08 +0200 | <tomjaguarpaw> | Is it possible to link to a section in Haddock? |
2021-10-03 13:31:24 +0200 | <fusion86> | I think that is what the hash does? (Next to source) |
2021-10-03 13:31:47 +0200 | <merijn> | I think he means include a link to a section in the docs of a function |
2021-10-03 13:31:54 +0200 | <merijn> | Which, afaik, isn't possible atm |
2021-10-03 13:32:07 +0200 | <merijn> | But sounds like it shouldn't be too hard to add and fairly useful |
2021-10-03 13:32:16 +0200 | <merijn> | So I nominate tomjaguarpaw to shave that yak :p |
2021-10-03 13:32:58 +0200 | __monty__ | (~toonn@user/toonn) |
2021-10-03 13:36:50 +0200 | gustik | (~gustik@2a01:c844:2411:2d20:922e:5225:fa8f:b211) |
2021-10-03 13:41:27 +0200 | allbery_b | (~geekosaur@xmonad/geekosaur) |
2021-10-03 13:41:27 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
2021-10-03 13:41:30 +0200 | allbery_b | geekosaur |
2021-10-03 13:48:11 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) |
2021-10-03 13:59:44 +0200 | <tomjaguarpaw> | merijn: Yak shaved https://stackoverflow.com/questions/51572074/how-to-link-to-a-named-chunk-of-documentation-in-hadd… |
2021-10-03 14:02:33 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 276 seconds) |
2021-10-03 14:02:36 +0200 | <tomsmeding> | Small yak |
2021-10-03 14:05:09 +0200 | <[exa]> | small yak but a welcome one |
2021-10-03 14:06:27 +0200 | <merijn> | oh, neat |
2021-10-03 14:09:33 +0200 | fef | (~thedawn@user/thedawn) |
2021-10-03 14:15:04 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2021-10-03 14:18:03 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
2021-10-03 14:38:01 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2021-10-03 14:44:25 +0200 | p3n | (~p3n@217.198.124.246) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-10-03 14:44:54 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
2021-10-03 14:49:49 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 252 seconds) |
2021-10-03 14:50:14 +0200 | terminerd | (~berkay@195.142.68.135) |
2021-10-03 14:50:16 +0200 | fusion86 | (~fusion@2a02-a44c-e6e5-1-fad6-23ef-a6f9-7635.fixed6.kpn.net) (Ping timeout: 252 seconds) |
2021-10-03 14:50:47 +0200 | terminerd | (~berkay@195.142.68.135) (Client Quit) |
2021-10-03 14:51:06 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Remote host closed the connection) |
2021-10-03 14:51:59 +0200 | ryantrinkle | (~ryan@50.239.20.147) (Ping timeout: 245 seconds) |
2021-10-03 14:57:42 +0200 | xff0x | (~xff0x@2001:1a81:5271:d100:877a:c3e3:989c:8619) (Ping timeout: 250 seconds) |
2021-10-03 14:58:53 +0200 | jakalx | (~jakalx@base.jakalx.net) |
2021-10-03 14:59:59 +0200 | <juri_> | https://www.davidrevoy.com/data/images/blog/2021/2021-09-09_yak-shaving_by-david-revoy.jpg |
2021-10-03 15:01:11 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
2021-10-03 15:03:02 +0200 | terminerd | (~berkay@195.142.68.135) |
2021-10-03 15:03:47 +0200 | <hpc> | https://www.youtube.com/watch?v=AbSehcT19u0 |
2021-10-03 15:06:20 +0200 | MoC | (~moc@user/moc) |
2021-10-03 15:06:42 +0200 | terminerd | (~berkay@195.142.68.135) (Changing host) |
2021-10-03 15:06:42 +0200 | terminerd | (~berkay@user/terminerd) |
2021-10-03 15:08:25 +0200 | xff0x | (~xff0x@2001:1a81:5271:d100:877a:c3e3:989c:8619) |
2021-10-03 15:11:32 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
2021-10-03 15:14:31 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-10-03 15:15:01 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
2021-10-03 15:15:47 +0200 | Vajb | (~Vajb@85-76-12-173-nat.elisa-mobile.fi) |
2021-10-03 15:15:57 +0200 | max22- | (~maxime@2a01cb088335980080c76e018982b760.ipv6.abo.wanadoo.fr) |
2021-10-03 15:17:46 +0200 | chomwitt | (~chomwitt@2a02:587:dc04:fc00:12c3:7bff:fe6d:d374) (Ping timeout: 252 seconds) |
2021-10-03 15:17:47 +0200 | Vajb | (~Vajb@85-76-12-173-nat.elisa-mobile.fi) (Read error: Connection reset by peer) |
2021-10-03 15:22:17 +0200 | fusion86 | (~fusion@80-60-181-180.fixed.kpn.net) |
2021-10-03 15:24:01 +0200 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-10-03 15:24:55 +0200 | xff0x | (~xff0x@2001:1a81:5271:d100:877a:c3e3:989c:8619) (Ping timeout: 252 seconds) |
2021-10-03 15:25:16 +0200 | Vajb | (~Vajb@n8vwdu04eps78g521-2.v6.elisa-mobile.fi) |
2021-10-03 15:25:31 +0200 | fusion86 | (~fusion@80-60-181-180.fixed.kpn.net) (Client Quit) |
2021-10-03 15:25:36 +0200 | xff0x | (~xff0x@2001:1a81:5271:d100:cabc:9b33:6d47:3c5f) |
2021-10-03 15:26:28 +0200 | machinedgod | (~machinedg@24.105.81.50) |
2021-10-03 15:34:46 +0200 | xiongxin | (~quassel@113.116.33.66) (Ping timeout: 252 seconds) |
2021-10-03 15:34:58 +0200 | xiongxin | (~quassel@119.123.103.95) |
2021-10-03 15:35:46 +0200 | pavonia | (~user@user/siracusa) |
2021-10-03 15:35:52 +0200 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
2021-10-03 15:37:16 +0200 | hololeap | (~hololeap@user/hololeap) |
2021-10-03 15:38:30 +0200 | terminerd | (~berkay@user/terminerd) (Quit: WeeChat 3.2) |
2021-10-03 15:40:52 +0200 | Vajb | (~Vajb@n8vwdu04eps78g521-2.v6.elisa-mobile.fi) (Read error: Connection reset by peer) |
2021-10-03 15:41:22 +0200 | Morrow | (~Morrow@31.154.96.164) |
2021-10-03 15:41:30 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
2021-10-03 15:42:48 +0200 | birne | (~birne@p200300c1b7399900c4e2bdf871241ca2.dip0.t-ipconnect.de) |
2021-10-03 15:43:34 +0200 | <birne> | Hi! Is this the right channel for beginner questions, or is there a more suitable place? |
2021-10-03 15:44:41 +0200 | <geekosaur> | this one is fine |
2021-10-03 15:44:44 +0200 | <merijn> | Depends whether they're beginner *Haskell* questions or, like, beginner baking :p |
2021-10-03 15:47:31 +0200 | <birne> | Good point. Fortunately it's Haskell ;) |
2021-10-03 15:47:49 +0200 | <spruit11> | > 0 |
2021-10-03 15:47:51 +0200 | <lambdabot> | 0 |
2021-10-03 15:48:36 +0200 | <spruit11> | > let f = (\f -> f . f) in f (\x -> x + 1) 0 |
2021-10-03 15:48:37 +0200 | <lambdabot> | 2 |
2021-10-03 15:48:41 +0200 | <pavonia> | Also, you can never be sure that an apparently innocent beginner question won't escalate to a complex category theory discussion :p |
2021-10-03 15:48:48 +0200 | <spruit11> | > let f = (\f -> f . f) in f f f f (\x -> x + 1) 0 |
2021-10-03 15:48:50 +0200 | <lambdabot> | 65536 |
2021-10-03 15:49:37 +0200 | <birne> | I'm really confused by Applicative.. I think I get what it does, as I just tried re-implementing it for a DIY list type and it works just the same, but I don't get the point. I know this is a very unspecific question, but maybe someone could point me to a good explanation of what it's used/useful for? |
2021-10-03 15:50:52 +0200 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
2021-10-03 15:51:14 +0200 | <geekosaur> | Applicative works well for parsers, for one thing |
2021-10-03 15:51:16 +0200 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) |
2021-10-03 15:51:35 +0200 | <birne> | To pile onto the confusion, I'm doing an exercise which asks me to define a zipWith using <*>, and I feel like I'm really missing the point somewhere, as I just can't of a non-convoluted way to implement it |
2021-10-03 15:52:44 +0200 | <spruit11> | applicative is just another take on 'programming modulo a theory', right? |
2021-10-03 15:52:52 +0200 | <birne> | Whoops, I meant to say I cant *think* of a way |
2021-10-03 15:52:55 +0200 | chomwitt | (~chomwitt@ppp-2-85-111-14.home.otenet.gr) |
2021-10-03 15:53:11 +0200 | <merijn> | birne: Oh, maybe you're stumbling over the fact that lists actually have *two* lawful Applicatives? |
2021-10-03 15:53:36 +0200 | <merijn> | birne: One that works like a generalised zip and one that works like Cartesian product |
2021-10-03 15:54:37 +0200 | lbseale | (~lbseale@user/ep1ctetus) |
2021-10-03 15:54:42 +0200 | <merijn> | birne: I think one of the simpler ones is Maybe |
2021-10-03 15:55:09 +0200 | <merijn> | birne: Suppose you have two (optional) values and wanna combine them somehow if both exist (and detect if one is missing) |
2021-10-03 15:55:24 +0200 | <merijn> | > (+) <$> Just 2 <*> Just 3 |
2021-10-03 15:55:25 +0200 | <lambdabot> | Just 5 |
2021-10-03 15:55:29 +0200 | <merijn> | > (+) <$> Just 2 <*> Nothing |
2021-10-03 15:55:30 +0200 | <lambdabot> | Nothing |
2021-10-03 15:55:39 +0200 | <merijn> | > (+) <$> Nothing <*> Just 3 |
2021-10-03 15:55:40 +0200 | <lambdabot> | Nothing |
2021-10-03 15:56:04 +0200 | <spruit11> | when you look at the type of bind (M a) -> (a -> M b) -> (M b) and you switch the arguments you end up with (a -> M b) -> M a -> M b, which suspiciously looks like function application with some hand waving. applicative just takes it a bit more in that direction |
2021-10-03 15:56:09 +0200 | <spruit11> | my $.02 |
2021-10-03 15:56:13 +0200 | <merijn> | birne: So I have a function on two values (the (+)), and 2 maybes where I may or may not have a value |
2021-10-03 15:56:19 +0200 | <spruit11> | take it as you will. might be totally wrong |
2021-10-03 15:56:33 +0200 | <merijn> | birne: Applicative lets you combine values "in" the Maybe without manually checking if they exist first |
2021-10-03 15:56:49 +0200 | <merijn> | spruit11: That's Monad and not Applicative, though :) |
2021-10-03 15:57:04 +0200 | <spruit11> | sure. I assume people understand that bind is of monad |
2021-10-03 15:57:45 +0200 | <spruit11> | it's just all 'programming modulo some theory'. i.e., function application does a bit more than normal |
2021-10-03 15:57:58 +0200 | <birne> | merijn: That sounds like it could be the issue. I think I re-implemented the cartesian product one and was really confused about how this is useful for implementing a zip. |
2021-10-03 15:57:58 +0200 | <geekosaur> | well, "application with some hand waving" isn't wrong, it just takes you to one of the "parents" of Applicative (Arrow) |
2021-10-03 15:58:40 +0200 | <merijn> | birne: There is a newtype "newtype ZipList a = ZipList { getZipList :: [a] }" that implement the other applicative |
2021-10-03 15:58:56 +0200 | <merijn> | > (+) <$> [1..5] <*> [6..10] |
2021-10-03 15:58:57 +0200 | <lambdabot> | [7,8,9,10,11,8,9,10,11,12,9,10,11,12,13,10,11,12,13,14,11,12,13,14,15] |
2021-10-03 15:59:06 +0200 | <merijn> | > (+) <$> ZipList [1..5] <*> ZipList [6..10] |
2021-10-03 15:59:07 +0200 | <lambdabot> | ZipList {getZipList = [7,9,11,13,15]} |
2021-10-03 15:59:22 +0200 | <merijn> | > getZipList ((+) <$> ZipList [1..5] <*> ZipList [6..10]) |
2021-10-03 15:59:23 +0200 | <lambdabot> | [7,9,11,13,15] |
2021-10-03 16:00:09 +0200 | <merijn> | birne: The main reason that the default one is Cartesian product is that Cartesian product has a lawful Monad and ZipList does not have a lawful Monad instance |
2021-10-03 16:00:33 +0200 | <merijn> | and, for programmer sanity reasons, it's obviously preferred for the default Applicative to match the Monad instance :p |
2021-10-03 16:01:40 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
2021-10-03 16:03:39 +0200 | oxide | (~lambda@user/oxide) (Ping timeout: 245 seconds) |
2021-10-03 16:03:51 +0200 | <birne> | Well.. thanks for your input up to this point. Everything makes a bit more sense now, but I think I'll have to let my brain cool down for a second.. |
2021-10-03 16:05:31 +0200 | oxide | (~lambda@user/oxide) |
2021-10-03 16:07:58 +0200 | desophos | (~desophos@2601:249:1680:a570:9495:66ea:ccc2:b869) |
2021-10-03 16:09:25 +0200 | mei | (~mei@user/mei) |
2021-10-03 16:13:16 +0200 | lbseale | (~lbseale@user/ep1ctetus) (Ping timeout: 252 seconds) |
2021-10-03 16:15:04 +0200 | tubogram | (~tubogram@user/tubogram) (Ping timeout: 260 seconds) |
2021-10-03 16:15:50 +0200 | tubogram | (~tubogram@user/tubogram) |
2021-10-03 16:16:01 +0200 | snekism`` | (~user@88.160.31.174) (Ping timeout: 252 seconds) |
2021-10-03 16:17:40 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
2021-10-03 16:18:30 +0200 | birne | (~birne@p200300c1b7399900c4e2bdf871241ca2.dip0.t-ipconnect.de) () |
2021-10-03 16:18:53 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:641d:d2f8:a9a1:be29) |
2021-10-03 16:20:09 +0200 | Morrow_ | (~Morrow@37.142.145.18) |
2021-10-03 16:21:59 +0200 | Morrow | (~Morrow@31.154.96.164) (Ping timeout: 245 seconds) |
2021-10-03 16:22:04 +0200 | Morrow_ | (~Morrow@37.142.145.18) (Read error: Connection reset by peer) |
2021-10-03 16:23:13 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:641d:d2f8:a9a1:be29) (Ping timeout: 252 seconds) |
2021-10-03 16:28:47 +0200 | Vajb | (~Vajb@85-76-12-173-nat.elisa-mobile.fi) |
2021-10-03 16:29:28 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
2021-10-03 16:30:03 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2021-10-03 16:35:16 +0200 | Vajb | (~Vajb@85-76-12-173-nat.elisa-mobile.fi) (Read error: Connection reset by peer) |
2021-10-03 16:35:21 +0200 | mrckndt | (~mrckndt@user/mrckndt) (Quit: mrckndt) |
2021-10-03 16:35:56 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
2021-10-03 16:42:09 +0200 | rembo10_ | (~rembo10@65.108.80.86) |
2021-10-03 16:46:02 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-10-03 16:49:10 +0200 | acidjnk | (~acidjnk@p200300d0c703cb7300daba732d0a6133.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2021-10-03 16:50:19 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
2021-10-03 16:50:24 +0200 | bobajett | (~user@2001:470:0:301::1e) |
2021-10-03 16:51:39 +0200 | <bobajett> | hello, I have a noob question about (recursion?) I think. |
2021-10-03 16:52:01 +0200 | <bobajett> | I have a list xs = [104, 101, 108, 108, 111] |
2021-10-03 16:52:39 +0200 | <[exa]> | bobajett: looks a bit like ascii "hello" right? :] |
2021-10-03 16:53:12 +0200 | <bobajett> | exa correct. But I have a function Char -> [Char] - say foo 104 will return ['h','H'] |
2021-10-03 16:53:43 +0200 | <bobajett> | my problem is trying to do a for loop within a for loop |
2021-10-03 16:53:53 +0200 | <bobajett> | so I can't figure out how to write a function that will |
2021-10-03 16:55:03 +0200 | <[exa]> | guessing -- you want the function output something like properly capitalized "Hello", right? |
2021-10-03 16:55:30 +0200 | <[exa]> | (or "HeLlO" or something :] ) |
2021-10-03 16:55:46 +0200 | <bobajett> | exa, thank you for being patient, I'm struggling to figure out how to pose my question .. one sec |
2021-10-03 16:56:29 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-10-03 16:56:29 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-10-03 16:56:29 +0200 | wroathe | (~wroathe@user/wroathe) |
2021-10-03 16:56:48 +0200 | <[exa]> | ok (I'm doing laundry, might lag a bit) |
2021-10-03 16:57:05 +0200 | <bobajett> | if i map say toUpper over each item of xs, I get "HELLO". But I'd like to map over xs |
2021-10-03 16:57:46 +0200 | <bobajett> | ok let me put it this way. toGreek char = [returns lowercase greek char, uppercase greek char] |
2021-10-03 16:57:59 +0200 | rtjure | (~rtjure@bras-79-132-17-74.comnet.bg) |
2021-10-03 16:58:08 +0200 | <[exa]> | yes |
2021-10-03 16:58:37 +0200 | <[exa]> | btw it's usually best to show a few examples of the outputs you want for various inputs |
2021-10-03 16:58:48 +0200 | <bobajett> | now I'd like to write a function foo that returns ['h'//greek, 'e','l','l',o//english], ['H'//upper greek, 'e','l','l','o], |
2021-10-03 16:59:06 +0200 | <bobajett> | and then similarly for each letter in hello, while keeping the rest of "hello" intact. |
2021-10-03 16:59:37 +0200 | <bobajett> | in python it would be easy to index into the original list while for looping over it |
2021-10-03 16:59:56 +0200 | <[exa]> | the 'h'//greek is "how 'h' would look in greek" right? something like χ say |
2021-10-03 17:00:04 +0200 | <bobajett> | Correct |
2021-10-03 17:00:08 +0200 | <[exa]> | ok perfect |
2021-10-03 17:01:25 +0200 | <[exa]> | so the easiest haskell solution is to just 1] make a complete translations, say "hello" all in upper greek and lower greek 2] paste it together with something like `head upperGreekTranslation ++ tail lowerGreekTranslation` 3] rely on the laziness to remove the unnecessary evaluation for you for free |
2021-10-03 17:01:42 +0200 | <[exa]> | *make both complete translations |
2021-10-03 17:02:38 +0200 | <[exa]> | or, in your case, `head upperGreekTranslation ++ tail lowerEnglishTranslation` |
2021-10-03 17:04:23 +0200 | <bobajett> | sorry let me try again, I'll paste this into a gist |
2021-10-03 17:07:14 +0200 | fef | (~thedawn@user/thedawn) (Remote host closed the connection) |
2021-10-03 17:10:42 +0200 | <bobajett> | https://paste.tomsmeding.com/JEmQ244f |
2021-10-03 17:11:30 +0200 | ByronJohnson | (~bairyn@mail.digitalkingdom.org) (Remote host closed the connection) |
2021-10-03 17:13:43 +0200 | timCF | (~timCF@m91-129-108-244.cust.tele2.ee) |
2021-10-03 17:13:53 +0200 | <[exa]> | aah okay |
2021-10-03 17:15:17 +0200 | <timCF> | Hello! Does anybody have an idea why I can't `mapM` over `Set a`? Compiler say the formal reason is that `Traversable` instance is not there, but I can't see the reason "why not". |
2021-10-03 17:15:48 +0200 | <[exa]> | bobajett: so what if you add an accumulator to your function there that remembers what should be in the beginning of the string? |
2021-10-03 17:16:31 +0200 | <bobajett> | exa! yes that makes sense! I think that's the pointer I needed! |
2021-10-03 17:16:49 +0200 | <[exa]> | bobajett: in the list comprehension, you would return something like `accum ++ y:xs` |
2021-10-03 17:17:05 +0200 | <bobajett> | Thank you thank you!! |
2021-10-03 17:17:07 +0200 | <[exa]> | and for the call you'd just add the `x` to the end of `accum` |
2021-10-03 17:17:11 +0200 | <[exa]> | but! |
2021-10-03 17:17:18 +0200 | <bobajett> | aha a catch? |
2021-10-03 17:17:26 +0200 | <[exa]> | there might be a better possibility! |
2021-10-03 17:17:28 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
2021-10-03 17:17:51 +0200 | <[exa]> | if you look at your output, the first pair is basically right, while the others lack the 'h' on the beginning right? |
2021-10-03 17:18:12 +0200 | <bobajett> | right |
2021-10-03 17:18:24 +0200 | <[exa]> | so what about just adding the 'h' to the beginning of the result of `primitiveRecursion xs` ? |
2021-10-03 17:18:33 +0200 | Vajb | (~Vajb@85-76-12-173-nat.elisa-mobile.fi) |
2021-10-03 17:18:36 +0200 | <[exa]> | (you'll probably need double `map` ) |
2021-10-03 17:18:56 +0200 | <dsal> | :t mapM |
2021-10-03 17:18:57 +0200 | <lambdabot> | (Traversable t, Monad m) => (a -> m b) -> t a -> m (t b) |
2021-10-03 17:19:21 +0200 | <bobajett> | ok I'll try to wrestle with that now, thanks! |
2021-10-03 17:19:56 +0200 | <dsal> | timCF: You mean you don't know why Set isn't Traversable? |
2021-10-03 17:20:33 +0200 | <timCF> | dsal: Yeah. My intuition say it should be, but it's not |
2021-10-03 17:20:34 +0200 | <dsal> | timCF: Traversable is a subclass of Functor, and a Set can't be a Functor. |
2021-10-03 17:20:48 +0200 | <[exa]> | bobajett: if lost, perhaps check out the type of `map (map (+1))` |
2021-10-03 17:20:57 +0200 | lambdap | (~lambdap@static.167.190.119.168.clients.your-server.de) (Quit: lambdap) |
2021-10-03 17:21:01 +0200 | <bobajett> | Thank you! |
2021-10-03 17:21:04 +0200 | <timCF> | dsal: because of the ordering issue? |
2021-10-03 17:21:19 +0200 | lambdap | (~lambdap@static.167.190.119.168.clients.your-server.de) |
2021-10-03 17:21:31 +0200 | <dsal> | Not so much ordering, but because a functor has to retain shape on transform, and that's not generally possible with a Set. |
2021-10-03 17:21:44 +0200 | <dsal> | > even <$> [1, 2, 3, 4] |
2021-10-03 17:21:45 +0200 | <lambdabot> | [False,True,False,True] |
2021-10-03 17:21:51 +0200 | <[exa]> | timCF: `fmap (const ())` would kinda destroy the structure, and you'd need to have Ord on the fmap to be able to implement that |
2021-10-03 17:21:57 +0200 | lambdap | (~lambdap@static.167.190.119.168.clients.your-server.de) (Client Quit) |
2021-10-03 17:21:57 +0200 | <dsal> | If you did that with a Set instead of a List, you'd end up with something that has a different size. |
2021-10-03 17:22:02 +0200 | fef | (~thedawn@user/thedawn) |
2021-10-03 17:22:44 +0200 | <[exa]> | bobajett: yw, let us know how it ended up. :D |
2021-10-03 17:23:06 +0200 | <timCF> | dsal: [exa]: oh, I got it. It's probably just because of how Set is represented in memory. Thanks! |
2021-10-03 17:23:17 +0200 | lambdap | (~lambdap@static.167.190.119.168.clients.your-server.de) |
2021-10-03 17:23:21 +0200 | <dsal> | It's not about how it's represented in memory. It's about what it *means*. |
2021-10-03 17:23:37 +0200 | <[exa]> | yep, literal Clash Of Invariants |
2021-10-03 17:24:11 +0200 | thyriaen__ | (~thyriaen@dynamic-089-014-106-026.89.14.pool.telefonica.de) (Remote host closed the connection) |
2021-10-03 17:24:16 +0200 | <dsal> | Set can't have duplicate elements and fmap can't change structure. |
2021-10-03 17:24:58 +0200 | <[exa]> | (even if it could, it wouldn't know how to) |
2021-10-03 17:25:49 +0200 | <timCF> | aaah |
2021-10-03 17:25:52 +0200 | <timCF> | got it |
2021-10-03 17:26:33 +0200 | <timCF> | if result of `f x` inside of `f <$> xs` will duplicate - it can not produce new set |
2021-10-03 17:27:10 +0200 | <[exa]> | even `fmap id` is dangerous there-- how does it check there are no duplicates? |
2021-10-03 17:27:24 +0200 | <dsal> | Yeah, you can think of `f <$> [a, b, c]` as `[f a, f b, f c]` and not be able to tell the difference. :) |
2021-10-03 17:27:25 +0200 | <[exa]> | (except for deconstructing `id`, which it can't) |
2021-10-03 17:28:25 +0200 | mortemeur | (~mortemeur@pool-173-76-107-201.bstnma.fios.verizon.net) |
2021-10-03 17:30:04 +0200 | <[exa]> | anyway, if you just want to do a single action on each element, you can `traverse.toList` |
2021-10-03 17:30:54 +0200 | <[exa]> | and given you know you're e.g. not messing up the ordering, you can build the new map in O(1) with `fromAscendingList` or what was that called |
2021-10-03 17:31:36 +0200 | <[exa]> | s/O(1)/O(n)/ whoops |
2021-10-03 17:31:37 +0200 | <dsal> | *if* you're not messing up the ordering. The function can do anything. |
2021-10-03 17:35:02 +0200 | <timCF> | In my case I just discovered that resulting value after traverse contains MVar and can not have Ord instance at all, so I guess I'll just use a list) |
2021-10-03 17:35:37 +0200 | <bobajett> | exa I got it to work with the accumulator: https://paste.tomsmeding.com/mCeqfNp2 perhaps you provide the map (map) solution? :-) |
2021-10-03 17:35:48 +0200 | <dsal> | using `toList` feels like giving up sometimes. heh |
2021-10-03 17:36:30 +0200 | <dsal> | bobajett: Things get easier if you started putting type annotations on all your toplevel definitions. |
2021-10-03 17:37:24 +0200 | <dsal> | You get to think in a higher level abstraction and see the patterns. Plus, people reading the code (like you) later can know what kinds of things are being done. |
2021-10-03 17:37:44 +0200 | <bobajett> | dsal, yes, you're right! I'll start following that discipline. The initial frustration of hitting into the type error does pay off in a better understanding of the function later |
2021-10-03 17:39:30 +0200 | <dsal> | e.g., I don't understand what `result2` is here. |
2021-10-03 17:39:54 +0200 | <[exa]> | bobajett: o nice |
2021-10-03 17:40:43 +0200 | <[exa]> | bobajett: in the prefixing solution, you'd just do `map (map (x:)) (foo' xs)` |
2021-10-03 17:41:02 +0200 | <timCF> | bobajett: in some cases you **need** type annotation to make code work. Haskell type inference is good, but still limited. |
2021-10-03 17:41:05 +0200 | <[exa]> | (assuming the accumulator isn't there ofc) |
2021-10-03 17:42:56 +0200 | <bobajett> | dsal I was confused about how to do a sort of for loop within a for loop in haskell. using my basic knowledge of primitive recursive functions I would lose the beginning of the list |
2021-10-03 17:43:11 +0200 | <bobajett> | until exa pointed out I should keep an accumulator to "remember" the front of the list |
2021-10-03 17:43:39 +0200 | <dsal> | One nice thing about haskell is that it doesn't have any loops. |
2021-10-03 17:43:50 +0200 | <dsal> | Another nice thing is how many loops it has. |
2021-10-03 17:43:58 +0200 | <[exa]> | bobajett: anyway, the double map is technically a for-in-a-for-loop, just kinda more data-driven |
2021-10-03 17:44:47 +0200 | son0p | (~ff@181.136.122.143) |
2021-10-03 17:45:58 +0200 | timCF | (~timCF@m91-129-108-244.cust.tele2.ee) (Quit: leaving) |
2021-10-03 17:46:17 +0200 | zmt00 | (~zmt00@user/zmt00) |
2021-10-03 17:48:11 +0200 | hrnz | (~ulli@vegan.im.it) (Quit: das ist mir zu bld hier; bb) |
2021-10-03 17:48:25 +0200 | hrnz | (~ethical@vegan.im.it) |
2021-10-03 17:48:54 +0200 | <dsal> | The cool thing is you can stop thinking about "loops" at some point and just start thinking about transformations. If you're using something like `map` then you only have to think about one thing at a time. If the one thing you're doing also needs a similar transformation, you can just think about *that* one thing at a time. |
2021-10-03 17:49:13 +0200 | ByronJohnson | (~bairyn@mail.digitalkingdom.org) |
2021-10-03 17:52:58 +0200 | alx741 | (~alx741@186.178.109.221) (Quit: alx741) |
2021-10-03 17:54:18 +0200 | alx741 | (~alx741@186.178.109.221) |
2021-10-03 18:00:00 +0200 | xiongxin | (~quassel@119.123.103.95) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2021-10-03 18:01:04 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 252 seconds) |
2021-10-03 18:03:43 +0200 | hololeap | (~hololeap@user/hololeap) (Quit: Bye) |
2021-10-03 18:05:37 +0200 | jaitoon1 | (~Jaitoon@78.110.164.49) |
2021-10-03 18:06:31 +0200 | <Cajun> | and transformations dont typically have off-by-one errors, its super nice |
2021-10-03 18:06:36 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
2021-10-03 18:08:19 +0200 | <dsal> | Yeah, most of the "loop" like things wouldn't have off-by-one errors. maps, folds, etc... The exception is those partial folds on non-monoidal values that go poorly. |
2021-10-03 18:08:23 +0200 | mortemeur | (~mortemeur@pool-173-76-107-201.bstnma.fios.verizon.net) (Quit: Leaving) |
2021-10-03 18:08:26 +0200 | notzmv- | notzmv |
2021-10-03 18:09:07 +0200 | jaitoon | (~Jaitoon@2a02:c7f:a5f:1d00:3434:15c8:b68c:cba1) (Ping timeout: 240 seconds) |
2021-10-03 18:09:10 +0200 | econo | (uid147250@user/econo) |
2021-10-03 18:09:20 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:641d:d2f8:a9a1:be29) |
2021-10-03 18:09:34 +0200 | <dsal> | In Haskell, you get to get different things wrong! :) |
2021-10-03 18:10:45 +0200 | Vajb | (~Vajb@85-76-12-173-nat.elisa-mobile.fi) (Read error: Connection reset by peer) |
2021-10-03 18:11:59 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
2021-10-03 18:14:20 +0200 | <hpc> | in haskell you don't get off-by-one errors, you get off-by-infinity errors :D |
2021-10-03 18:15:07 +0200 | <dsal> | Or off-by-bottom |
2021-10-03 18:15:21 +0200 | <bobajett> | off-by-one errors are oh so mundance, off-by-infinity is much more exotic! |
2021-10-03 18:15:45 +0200 | <bobajett> | s/mundance/mundane/ |
2021-10-03 18:16:28 +0200 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 252 seconds) |
2021-10-03 18:16:49 +0200 | chisui | (~chisui@200116b864afe900a968a2efb0bdf85e.dip.versatel-1u1.de) (Ping timeout: 256 seconds) |
2021-10-03 18:16:59 +0200 | bobajett | (~user@2001:470:0:301::1e) (Remote host closed the connection) |
2021-10-03 18:17:06 +0200 | <int-e> | . o O ( STG question: what happens if you ENTER a bottom-less pit... ) |
2021-10-03 18:17:13 +0200 | hyiltiz | (~quassel@31.220.5.250) |
2021-10-03 18:20:30 +0200 | machinedgod | (~machinedg@24.105.81.50) |
2021-10-03 18:21:52 +0200 | <Digit> | has anyone made "Roll your own IRC bot" tutorial bot multi-chan capable? (and besides copying the code, even... is there a tutorial for that too?) |
2021-10-03 18:22:18 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2021-10-03 18:23:31 +0200 | <spruit11> | as far as I can see irc doesn't even make a big difference between channels |
2021-10-03 18:23:38 +0200 | <spruit11> | at least, the protocol |
2021-10-03 18:24:01 +0200 | waleee | (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Quit: WeeChat 3.3) |
2021-10-03 18:24:13 +0200 | <spruit11> | it's just a field in a general message. it's the front end which presents it as multiple channels |
2021-10-03 18:24:36 +0200 | <spruit11> | and the server won't send messages to you from other channels of course |
2021-10-03 18:25:09 +0200 | <spruit11> | *make that the front-end of the client |
2021-10-03 18:25:35 +0200 | Digit | gives his brain a go at trying to make the tutorial's mono-chan example bot join more chans, optimistically, but experience teaches him to expect fail. |
2021-10-03 18:26:27 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
2021-10-03 18:28:24 +0200 | dajoer | (~david@user/gvx) (Quit: leaving) |
2021-10-03 18:29:47 +0200 | <int-e> | clean = drop 1 . dropWhile (/= ':') . drop 1 <-- that's *not* clean at all |
2021-10-03 18:33:32 +0200 | <int-e> | (This turns ":dons!i=dons@my.net PRIVMSG #tutbot-testing :hello" into just "hello", but that means it ignores the source (dons...), the command (PRIVMSG), and the target (#tutbot-testing), all of which is pretty relevant informaiton.) |
2021-10-03 18:34:37 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 252 seconds) |
2021-10-03 18:35:32 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
2021-10-03 18:41:16 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
2021-10-03 18:44:41 +0200 | CiaoSen | (~Jura@p200300c9571bb9002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
2021-10-03 18:46:09 +0200 | mbuf | (~Shakthi@223.178.78.66) (Quit: Leaving) |
2021-10-03 18:59:25 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer) |
2021-10-03 19:00:24 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
2021-10-03 19:02:16 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Quit: mikoto-chan) |
2021-10-03 19:04:41 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
2021-10-03 19:05:04 +0200 | ByronJohnson | (~bairyn@mail.digitalkingdom.org) (Remote host closed the connection) |
2021-10-03 19:07:36 +0200 | jakalx | (~jakalx@base.jakalx.net) |
2021-10-03 19:07:57 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
2021-10-03 19:08:42 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-10-03 19:08:42 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-10-03 19:08:42 +0200 | wroathe | (~wroathe@user/wroathe) |
2021-10-03 19:08:54 +0200 | hnOsmium0001 | (uid453710@id-453710.hampstead.irccloud.com) |
2021-10-03 19:13:25 +0200 | <Cajun> | oh and while "off by infinity" is still relevant, what does it mean when GHC says "cannot construct the infinite type [something]"? ive never really understood what that means |
2021-10-03 19:13:43 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
2021-10-03 19:14:43 +0200 | spruit11 | sprout |
2021-10-03 19:14:44 +0200 | <pavonia> | It tries to infer something like a = [a] which would give an infinte type |
2021-10-03 19:18:10 +0200 | <Cajun> | i guess that makes sense, thanks :) |
2021-10-03 19:18:12 +0200 | <[exa]> | Cajun: take a function with 2 branches: `f 0 a = a; f 1 a = [a]`. GHC assumes that the return types must be same outside (because both are returned from the same function) and also same inside (because they share `a`). That gives you equation `a = [a]` and the only valid solution to that is to substitute `a` with infinite nested lists, because, mathematically, `[[[[[[...]]]]]] == [[[[[[...]]]]]]`, right? :] |
2021-10-03 19:19:07 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
2021-10-03 19:19:10 +0200 | sprout | (~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2021-10-03 19:19:17 +0200 | ByronJohnson | (~bairyn@mail.digitalkingdom.org) |
2021-10-03 19:19:32 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
2021-10-03 19:19:35 +0200 | sprout | (~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508) |
2021-10-03 19:20:02 +0200 | <Cajun> | so it always means your resulting type (or whatever the term for the rightmost type in the signature is) is messed up in one of the branches? |
2021-10-03 19:21:32 +0200 | <c_wraith> | it is an error attempting to unify the types of something somewhere. You can manage it without any branches. |
2021-10-03 19:22:33 +0200 | <Taneb> | :t \x -> x ++ [x] |
2021-10-03 19:22:34 +0200 | <lambdabot> | error: |
2021-10-03 19:22:34 +0200 | <lambdabot> | • Occurs check: cannot construct the infinite type: a ~ [a] |
2021-10-03 19:22:34 +0200 | <lambdabot> | • In the expression: x |
2021-10-03 19:25:11 +0200 | <c_wraith> | I remember hearing that there was an experimental version of ML that allowed infinite types, and it turned out that a surprising number of type errors were infinite types. |
2021-10-03 19:25:35 +0200 | <Cajun> | how would you even compute an infinite type? |
2021-10-03 19:25:43 +0200 | <hpc> | same way you compute an infinite value |
2021-10-03 19:25:46 +0200 | <hpc> | lazily |
2021-10-03 19:25:59 +0200 | <c_wraith> | you can have infinite types in Haskell, you just need to hide that fact from the compiler. |
2021-10-03 19:26:32 +0200 | <hpc> | if you have the type [[[...]]], you know what the data constructors for that type are because [] is the "constructor" of the type |
2021-10-03 19:27:26 +0200 | <hpc> | and yeah, take a look at Fix for one way to break the loop for ghc |
2021-10-03 19:28:48 +0200 | <c_wraith> | after all, if you went to the trouble of creating a non-infinite wrapper for an infinite type, you probably actually meant to |
2021-10-03 19:29:19 +0200 | <c_wraith> | It's only when it discovers an infinite type that it reports a bug. |
2021-10-03 19:29:44 +0200 | <c_wraith> | I recall exactly once when it wasn't a program bug, and the solution was a wrapper to make the types finite. |
2021-10-03 19:29:53 +0200 | <c_wraith> | (in the stuff I've done) |
2021-10-03 19:30:02 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-10-03 19:30:03 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-10-03 19:30:03 +0200 | wroathe | (~wroathe@user/wroathe) |
2021-10-03 19:32:11 +0200 | snekism | (~user@88.160.31.174) |
2021-10-03 19:32:38 +0200 | <zincy_> | If I am writing a compiler which outputs Javascript how should I output the Javascript code? |
2021-10-03 19:33:17 +0200 | <c_wraith> | the only answer possible from that level of detail is "as javascript code" |
2021-10-03 19:33:28 +0200 | ByronJohnson | (~bairyn@mail.digitalkingdom.org) (Remote host closed the connection) |
2021-10-03 19:34:06 +0200 | <zincy_> | Yeah bad question |
2021-10-03 19:34:11 +0200 | <zincy_> | Let me think |
2021-10-03 19:34:29 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
2021-10-03 19:35:48 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2021-10-03 19:35:57 +0200 | poljar | (~poljar@93-139-113-226.adsl.net.t-com.hr) (Remote host closed the connection) |
2021-10-03 19:36:11 +0200 | poljar | (~poljar@93-139-113-226.adsl.net.t-com.hr) |
2021-10-03 19:38:28 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer) |
2021-10-03 19:41:54 +0200 | vysn | (~vysn@user/vysn) |
2021-10-03 19:43:31 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
2021-10-03 19:46:58 +0200 | Guest1372 | (~Guest13@176.223.100.197) |
2021-10-03 19:48:37 +0200 | <[exa]> | zincy_: write a prettifier and just prettyprint it ? |
2021-10-03 19:50:55 +0200 | <zincy_> | So there isn't a clever way of generating JS it usually just comes down to writing the JS to some degree out explicitly? |
2021-10-03 19:51:13 +0200 | <zincy_> | Was thinking perhaps there is a library where you could use data constructors to create JS exprs |
2021-10-03 19:51:52 +0200 | <zincy_> | So I am thinking DslAST -> jsAST -> Text |
2021-10-03 19:52:13 +0200 | <[exa]> | you might actually steal something battle-tested from GHCJS |
2021-10-03 19:53:38 +0200 | <zincy_> | Yeah |
2021-10-03 19:53:44 +0200 | hololeap | (~hololeap@user/hololeap) |
2021-10-03 19:54:24 +0200 | <zincy_> | So even if you target a backend like LLVM is a compiler always mapping an AST from one language into another language's AST? |
2021-10-03 19:54:48 +0200 | <zincy_> | Or does it ever make sense to skip the AST transformation and just go straight to Text |
2021-10-03 19:55:00 +0200 | <zincy_> | Hmm optimisations I guess is the point |
2021-10-03 19:55:14 +0200 | <[exa]> | I just found `JMacro` which seems to be the base for what ghcjs does |
2021-10-03 19:55:59 +0200 | <zincy_> | wow nice find |
2021-10-03 19:56:02 +0200 | <zincy_> | Looks perfect |
2021-10-03 19:56:50 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2021-10-03 19:57:02 +0200 | <[exa]> | anyway these decisions usually depend on how complicated the compiler is; the general advice for compilers is to keep the IR as long as possible because you'll inevitably be adding one other final compile pass for like 20 times |
2021-10-03 19:57:16 +0200 | neurocyte0132 | (~neurocyte@user/neurocyte) (Read error: Connection reset by peer) |
2021-10-03 19:57:44 +0200 | <[exa]> | and having a solid prettyprinter allows you to inspect the stuff in the middle, which is priceless |
2021-10-03 19:57:45 +0200 | neurocyte0132 | (~neurocyte@212.232.80.82) |
2021-10-03 19:57:45 +0200 | neurocyte0132 | (~neurocyte@212.232.80.82) (Changing host) |
2021-10-03 19:57:45 +0200 | neurocyte0132 | (~neurocyte@user/neurocyte) |
2021-10-03 19:58:41 +0200 | mrckndt | (~mrckndt@user/mrckndt) |
2021-10-03 19:58:42 +0200 | <monochrom> | Whenever you have parentheses and precedence to worry about, going directly to string is less manageable. |
2021-10-03 19:59:39 +0200 | <[exa]> | (((((or just play it safe))))) |
2021-10-03 20:00:17 +0200 | ByronJohnson | (~bairyn@mail.digitalkingdom.org) |
2021-10-03 20:00:48 +0200 | <[exa]> | wow actually JMacro structure looks pretty much straightforward |
2021-10-03 20:00:53 +0200 | neurocyte01328 | (~neurocyte@212.232.80.82) |
2021-10-03 20:00:53 +0200 | neurocyte01328 | (~neurocyte@212.232.80.82) (Changing host) |
2021-10-03 20:00:53 +0200 | neurocyte01328 | (~neurocyte@user/neurocyte) |
2021-10-03 20:01:51 +0200 | <zincy_> | Yeah thanks for finding it :) |
2021-10-03 20:02:10 +0200 | <zincy_> | monochrom: Cool, so direct to string is more for trivial compilers |
2021-10-03 20:02:27 +0200 | <[exa]> | I expected dark magicks but the AST is just there, which is cool |
2021-10-03 20:03:14 +0200 | neurocyte0132 | (~neurocyte@user/neurocyte) (Ping timeout: 245 seconds) |
2021-10-03 20:03:14 +0200 | neurocyte01328 | neurocyte0132 |
2021-10-03 20:03:44 +0200 | <[exa]> | zincy_: re strings, perhaps that's more like for languages where making the intermediate structure right is PITA, like perl, java, pythons, C's, ... |
2021-10-03 20:04:58 +0200 | <zincy_> | [exa]: So those langs are where you dont want strings right? |
2021-10-03 20:05:13 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2) |
2021-10-03 20:05:17 +0200 | <[exa]> | no these langs are generally where you don't want to manage large ASTs |
2021-10-03 20:05:35 +0200 | <zincy_> | oh |
2021-10-03 20:06:07 +0200 | <[exa]> | like, defining a nice working AST in haskell is magically simple in haskell, you've got all the tools to do it right in the most naive way imaginable |
2021-10-03 20:06:40 +0200 | <zincy_> | Ah sorry I think I misunderstood you are talking about the lang the compiler is implemented in not the target of the compiler |
2021-10-03 20:07:01 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-10-03 20:07:01 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-10-03 20:07:01 +0200 | wroathe | (~wroathe@user/wroathe) |
2021-10-03 20:07:08 +0200 | <[exa]> | in OOP languages you start with some kind of an abstract class, visitor which is insufficiently polymorphic, recursion-simulating traversal engine, ... |
2021-10-03 20:07:24 +0200 | <[exa]> | and in perl you just smash the regexes together™ |
2021-10-03 20:07:48 +0200 | hiruji` | (~hiruji@2606:6080:1002:8:3285:30e:de43:8809) |
2021-10-03 20:08:00 +0200 | eggplant_ | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-10-03 20:08:03 +0200 | <zincy_> | So is compiler structure the same high level across OOP vs functional but the implementation is just different |
2021-10-03 20:08:21 +0200 | mestre | (~mestre@191.177.175.57) (Quit: Lost terminal) |
2021-10-03 20:08:29 +0200 | hiruji | (~hiruji@user/hiruji) (Ping timeout: 264 seconds) |
2021-10-03 20:08:33 +0200 | <zincy_> | As in if I did a compilers undergrad course would that all be pretty applicable to Haskell (assuming course is OOP) |
2021-10-03 20:08:39 +0200 | <[exa]> | yeah, compilers are usually just functions from some AST/IR to another AST/IR |
2021-10-03 20:08:58 +0200 | <[exa]> | yep, generally |
2021-10-03 20:09:33 +0200 | <[exa]> | compilers are about battling the complexity of the language you're compiling, the complexity of the language used for implementation of the compiler kinda abstracts out usually |
2021-10-03 20:09:58 +0200 | <zincy_> | ok thats good to hear |
2021-10-03 20:10:01 +0200 | <[exa]> | that said, many undergrad courses spend like 50% of the time with "how not to do the parsing wrong" |
2021-10-03 20:10:23 +0200 | <[exa]> | which is cool and people at least unlearn to write parsers by hand |
2021-10-03 20:10:32 +0200 | <zincy_> | and the answer is use Megaparsec and you can't :D |
2021-10-03 20:10:34 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:641d:d2f8:a9a1:be29) (Ping timeout: 260 seconds) |
2021-10-03 20:11:42 +0200 | <[exa]> | and the second half-or-less is a straightforward "let's translate to SSA, then to stack-ish machine and then to assembly, and think about how cool it would be to have simple optimizations" |
2021-10-03 20:12:48 +0200 | <[exa]> | which is technically nice because 90% of the students then become kinda self sufficient with the ability to reimplement some useful subset of C |
2021-10-03 20:12:51 +0200 | sprout | (~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2021-10-03 20:13:04 +0200 | hiruji` | (~hiruji@2606:6080:1002:8:3285:30e:de43:8809) (Remote host closed the connection) |
2021-10-03 20:13:08 +0200 | sprout | (~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508) |
2021-10-03 20:13:10 +0200 | <[exa]> | no idea about your particular course though, ymmv :] |
2021-10-03 20:13:40 +0200 | neurocyte0132 | (~neurocyte@user/neurocyte) (Ping timeout: 252 seconds) |
2021-10-03 20:13:51 +0200 | <monochrom> | Wait, I think it's easier to AST->stackmachine first, then stackmachine->SSA, then SSA-ASM. |
2021-10-03 20:14:17 +0200 | <[exa]> | ah, likely |
2021-10-03 20:14:44 +0200 | <monochrom> | Or skip stackmachine. At any rate I think SSA->stackmachine->ASM is counterproductive. |
2021-10-03 20:15:07 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-10-03 20:15:36 +0200 | <sprout> | uh, if any I would assume ast->ssa->stack->asm |
2021-10-03 20:15:45 +0200 | <sprout> | why stack first? |
2021-10-03 20:15:45 +0200 | neurocyte01328 | (~neurocyte@212.232.80.82) |
2021-10-03 20:15:45 +0200 | neurocyte01328 | (~neurocyte@212.232.80.82) (Changing host) |
2021-10-03 20:15:45 +0200 | neurocyte01328 | (~neurocyte@user/neurocyte) |
2021-10-03 20:16:04 +0200 | <monochrom> | I once did ast->stack and it was too easy. |
2021-10-03 20:16:25 +0200 | <[exa]> | depends on the language I'd say |
2021-10-03 20:16:31 +0200 | <monochrom> | It's just like implementing an RPN calculator. |
2021-10-03 20:16:33 +0200 | <[exa]> | but yeah good point. :] |
2021-10-03 20:16:37 +0200 | hiruji | (~hiruji@user/hiruji) |
2021-10-03 20:17:36 +0200 | <monochrom> | Hutton also kept doing ast->stack for like 20 years. Only recently dared to try register machine. |
2021-10-03 20:17:58 +0200 | <[exa]> | thinking about that now, on the C sample |
2021-10-03 20:18:16 +0200 | <[exa]> | you can do pretty well with just ast->stackmachine->asm |
2021-10-03 20:20:25 +0200 | <[exa]> | then you go for SSA as optimization, then a stack+register machine (for spilling stuff), then asm |
2021-10-03 20:21:20 +0200 | <[exa]> | otoh direct ast->ssa isn't that hard for C either, or am I missing something? |
2021-10-03 20:21:54 +0200 | <monochrom> | Yeah I'm OK with skipping the stack machine. |
2021-10-03 20:22:20 +0200 | <[exa]> | so many possibilities. :] |
2021-10-03 20:24:09 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-10-03 20:24:15 +0200 | vicfred__ | (~vicfred@user/vicfred) (Quit: Leaving) |
2021-10-03 20:24:40 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
2021-10-03 20:24:40 +0200 | neurocyte013288 | (~neurocyte@212.232.80.82) |
2021-10-03 20:24:40 +0200 | neurocyte013288 | (~neurocyte@212.232.80.82) (Changing host) |
2021-10-03 20:24:40 +0200 | neurocyte013288 | (~neurocyte@user/neurocyte) |
2021-10-03 20:26:49 +0200 | neurocyte01328 | (~neurocyte@user/neurocyte) (Ping timeout: 252 seconds) |
2021-10-03 20:26:49 +0200 | neurocyte013288 | neurocyte01328 |
2021-10-03 20:29:22 +0200 | jokleinn | (~jokleinn@user/jokleinn) |
2021-10-03 20:31:29 +0200 | max22- | (~maxime@2a01cb088335980080c76e018982b760.ipv6.abo.wanadoo.fr) (Ping timeout: 250 seconds) |
2021-10-03 20:31:36 +0200 | neurocyte01328 | (~neurocyte@user/neurocyte) (Quit: The Lounge - https://thelounge.chat) |
2021-10-03 20:32:52 +0200 | tfeb | (~tfb@88.98.95.237) |
2021-10-03 20:33:09 +0200 | geranim0 | (~geranim0@modemcable242.171-178-173.mc.videotron.ca) |
2021-10-03 20:35:14 +0200 | Athas_ | Athas |
2021-10-03 20:35:17 +0200 | neurocyte013288 | (~neurocyte@212.232.80.82) |
2021-10-03 20:35:17 +0200 | neurocyte013288 | (~neurocyte@212.232.80.82) (Changing host) |
2021-10-03 20:35:17 +0200 | neurocyte013288 | (~neurocyte@user/neurocyte) |
2021-10-03 20:35:48 +0200 | lavaman | (~lavaman@98.38.249.169) |
2021-10-03 20:38:18 +0200 | Guest1372 | (~Guest13@176.223.100.197) () |
2021-10-03 20:43:48 +0200 | Guest5 | (~Guest5@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
2021-10-03 20:49:26 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2021-10-03 20:49:39 +0200 | lavaman | (~lavaman@98.38.249.169) |
2021-10-03 20:49:47 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2021-10-03 20:51:06 +0200 | max22- | (~maxime@2a01cb0883359800fddc58ef81bacd43.ipv6.abo.wanadoo.fr) |
2021-10-03 20:53:30 +0200 | p3n | (~p3n@217.198.124.246) |
2021-10-03 20:54:39 +0200 | fef | (~thedawn@user/thedawn) (Ping timeout: 276 seconds) |
2021-10-03 20:55:28 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
2021-10-03 20:56:27 +0200 | tfeb | (~tfb@88.98.95.237) (Quit: died) |
2021-10-03 20:58:35 +0200 | jespada | (~jespada@2803:9800:9842:7a62:54d3:aa01:71e2:7a22) |
2021-10-03 21:04:47 +0200 | yinghua | (~yinghua@2800:2121:1400:900:695f:9ffb:c165:9373) |
2021-10-03 21:08:25 +0200 | hatds | (~hatds@c-107-4-136-72.hsd1.mn.comcast.net) |
2021-10-03 21:12:30 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
2021-10-03 21:14:06 +0200 | <hatds> | How should cabal and shake be combined for a single project? I have an old project (written in Haskell & C) that uses a shake file to build everything. I want to create a cabal file to track the package dependencies, but first I need to wrap my head around how cabal would know how to build it. |
2021-10-03 21:18:40 +0200 | <sm> | hatds, make a cabal project (cabal init, see docs), where Main-is: Shake.hs, I'm guessing |
2021-10-03 21:19:20 +0200 | <hatds> | sm: ah |
2021-10-03 21:20:04 +0200 | <sclv> | i'm rather dubious of that approach? |
2021-10-03 21:21:19 +0200 | fizzsegfaultbuzz | (~segfaultf@135-180-0-138.static.sonic.net) (Ping timeout: 268 seconds) |
2021-10-03 21:21:56 +0200 | <sm> | I make my shake files stack scripts, so they specify deps in the header |
2021-10-03 21:22:03 +0200 | <sm> | you can do similar with cabal |
2021-10-03 21:23:13 +0200 | <sclv> | right you can use cabal to manage the deps for the _shake file_ |
2021-10-03 21:23:27 +0200 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
2021-10-03 21:23:45 +0200 | <sclv> | but this is about using cabal to manage the deps for the whole project that shake builds |
2021-10-03 21:23:45 +0200 | <sclv> | I think? |
2021-10-03 21:23:54 +0200 | <hatds> | yeah |
2021-10-03 21:24:08 +0200 | <hatds> | just the haskell dependencies, but yes for the whole project |
2021-10-03 21:24:52 +0200 | <sclv> | i would suggest instead creating a cabal file with a dummy target and all the deps, and then building it with the ghc-env file creation flag on |
2021-10-03 21:25:13 +0200 | <sclv> | then ghc as invoked from shake can pick up and use that env file to have all deps in scope |
2021-10-03 21:26:39 +0200 | <zincy_> | Say I have a FromJSON instance for Person and I have a JSON object of people where each person is an object. How would I write the [Person] parser in Aeson? |
2021-10-03 21:27:10 +0200 | <hatds> | sclv: didn't know about ghc-env files, it sounds exactly like the missing piece I need |
2021-10-03 21:27:29 +0200 | <clever> | zincy_: i think Generic can auto-generate that |
2021-10-03 21:27:47 +0200 | <sclv> | they're a bit underdocumented and advertised, so its a bit fiddly to make em work (the auto-discovery path logic is sort of confusing to people to) but they're super handy! |
2021-10-03 21:28:47 +0200 | <clever> | zincy_: https://hackage.haskell.org/package/aeson-1.5.6.0/docs/Data-Aeson.html#v:genericParseJSON i think |
2021-10-03 21:31:05 +0200 | <clever> | zincy_: although, reading more, it looks like you dont have to do anything, check the instances of https://hackage.haskell.org/package/aeson-1.5.6.0/docs/Data-Aeson.html#t:FromJSON |
2021-10-03 21:31:26 +0200 | <clever> | instance (FromJSON a) => FromJSON [a] where parseJSON = parseJSON1 |
2021-10-03 21:31:35 +0200 | <clever> | its a default instance |
2021-10-03 21:32:35 +0200 | mei | (~mei@user/mei) (Read error: Connection reset by peer) |
2021-10-03 21:33:07 +0200 | <zincy_> | Cheers yeah seems you get a parser for the [a] by default |
2021-10-03 21:33:19 +0200 | <zincy_> | But that parser expects Array not Object |
2021-10-03 21:33:23 +0200 | <zincy_> | in the json |
2021-10-03 21:33:45 +0200 | <c_wraith> | Um.. yes? |
2021-10-03 21:34:38 +0200 | <zincy_> | haha no suprises there |
2021-10-03 21:35:01 +0200 | jinsun | (~quassel@user/jinsun) (Ping timeout: 252 seconds) |
2021-10-03 21:35:24 +0200 | Guest5 | (~Guest5@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Quit: Client closed) |
2021-10-03 21:39:58 +0200 | oxide | (~lambda@user/oxide) (Ping timeout: 252 seconds) |
2021-10-03 21:42:36 +0200 | wroathe | (~wroathe@50-205-197-50-static.hfc.comcastbusiness.net) |
2021-10-03 21:42:36 +0200 | wroathe | (~wroathe@50-205-197-50-static.hfc.comcastbusiness.net) (Changing host) |
2021-10-03 21:42:36 +0200 | wroathe | (~wroathe@user/wroathe) |
2021-10-03 21:43:52 +0200 | damien3 | (~damien@248.ip-149-56-13.net) (Quit: WeeChat 1.9.1) |
2021-10-03 21:44:49 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
2021-10-03 21:45:16 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
2021-10-03 21:46:10 +0200 | sburggsx | (~steve@dsl-50-5-238-32.fuse.net) (Quit: leaving) |
2021-10-03 21:46:26 +0200 | aegon | (~mike@174.127.249.180) |
2021-10-03 21:49:05 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
2021-10-03 21:49:28 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
2021-10-03 21:51:01 +0200 | snekism | (~user@88.160.31.174) (Ping timeout: 252 seconds) |
2021-10-03 21:51:54 +0200 | fendor | (~fendor@178.115.44.26.wireless.dyn.drei.com) (Remote host closed the connection) |
2021-10-03 21:52:35 +0200 | oxide | (~lambda@user/oxide) |
2021-10-03 21:52:55 +0200 | <zincy_> | Got there in the end - Aeson objects are hash maps who would have thought |
2021-10-03 21:53:26 +0200 | <Hecate> | zincy_: yes they are |
2021-10-03 21:53:38 +0200 | <Hecate> | https://hackage.haskell.org/package/aeson-1.5.6.0/docs/Data-Aeson.html#t:Object |
2021-10-03 21:54:40 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
2021-10-03 21:55:03 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
2021-10-03 21:58:59 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
2021-10-03 22:03:26 +0200 | acidjnk | (~acidjnk@p200300d0c703cb73e537acd1057ebec9.dip0.t-ipconnect.de) |
2021-10-03 22:05:16 +0200 | juhp | (~juhp@128.106.188.220) (Ping timeout: 252 seconds) |
2021-10-03 22:05:19 +0200 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 252 seconds) |
2021-10-03 22:06:45 +0200 | juhp | (~juhp@128.106.188.220) |
2021-10-03 22:08:12 +0200 | hyiltiz | (~quassel@31.220.5.250) |
2021-10-03 22:12:06 +0200 | jrm | (~jrm@156.34.187.65) (Ping timeout: 268 seconds) |
2021-10-03 22:12:13 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
2021-10-03 22:13:06 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
2021-10-03 22:19:17 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
2021-10-03 22:21:06 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
2021-10-03 22:22:22 +0200 | mrckndt | (~mrckndt@user/mrckndt) (Ping timeout: 252 seconds) |
2021-10-03 22:22:49 +0200 | desophos | (~desophos@2601:249:1680:a570:9495:66ea:ccc2:b869) (Quit: Leaving) |
2021-10-03 22:24:34 +0200 | jrm | (~jrm@156.34.187.65) |
2021-10-03 22:25:38 +0200 | yinghua | (~yinghua@2800:2121:1400:900:695f:9ffb:c165:9373) (Read error: Connection reset by peer) |
2021-10-03 22:25:56 +0200 | yinghua | (~yinghua@2800:2121:1400:900:dcb4:546c:e7a3:d616) |
2021-10-03 22:31:14 +0200 | sm2n | (~sm2n@user/sm2n) (Ping timeout: 246 seconds) |
2021-10-03 22:32:48 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2021-10-03 22:36:03 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 276 seconds) |
2021-10-03 22:37:50 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
2021-10-03 22:38:39 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
2021-10-03 22:41:05 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3) |
2021-10-03 22:41:07 +0200 | wroathe | (~wroathe@50-205-197-50-static.hfc.comcastbusiness.net) |
2021-10-03 22:41:07 +0200 | wroathe | (~wroathe@50-205-197-50-static.hfc.comcastbusiness.net) (Changing host) |
2021-10-03 22:41:07 +0200 | wroathe | (~wroathe@user/wroathe) |
2021-10-03 22:42:10 +0200 | neurocyte013288 | (~neurocyte@user/neurocyte) (Ping timeout: 252 seconds) |
2021-10-03 22:50:06 +0200 | hatds | (~hatds@c-107-4-136-72.hsd1.mn.comcast.net) (Quit: Leaving) |
2021-10-03 22:51:59 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-10-03 22:54:10 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
2021-10-03 22:54:13 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
2021-10-03 22:57:53 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2021-10-03 23:00:13 +0200 | sm2n | (~sm2n@user/sm2n) |
2021-10-03 23:01:10 +0200 | Pickchea | (~private@user/pickchea) |
2021-10-03 23:03:37 +0200 | Guest4 | (~Guest4@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
2021-10-03 23:07:50 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
2021-10-03 23:08:07 +0200 | CiaoSen | (~Jura@p200300c9571bb9002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2021-10-03 23:09:55 +0200 | CiaoSen | (~Jura@p200300c9571e34002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
2021-10-03 23:10:46 +0200 | Morrow | (~MorrowM_@147.161.8.124) |
2021-10-03 23:12:28 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
2021-10-03 23:12:52 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
2021-10-03 23:13:07 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
2021-10-03 23:13:18 +0200 | kayprish | (~kayprish@cable-188-2-145-210.dynamic.sbb.rs) |
2021-10-03 23:14:08 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
2021-10-03 23:15:23 +0200 | <Hecate> | I feel like I'm in Hell |
2021-10-03 23:15:28 +0200 | <Hecate> | crypto-api doesn't have tests |
2021-10-03 23:15:39 +0200 | <Hecate> | someone kidnap me from this reality plz |
2021-10-03 23:16:42 +0200 | Rembane | hands Hecate a fuzzer |
2021-10-03 23:17:20 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
2021-10-03 23:17:22 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
2021-10-03 23:20:00 +0200 | Lord_of_Life_ | Lord_of_Life |
2021-10-03 23:20:14 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2021-10-03 23:21:24 +0200 | lavaman | (~lavaman@98.38.249.169) |
2021-10-03 23:22:39 +0200 | <[exa]> | Hecate: crypto-api is just an interface right? |
2021-10-03 23:23:19 +0200 | <[exa]> | oh noes they do padding |
2021-10-03 23:23:46 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
2021-10-03 23:24:14 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
2021-10-03 23:24:31 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
2021-10-03 23:25:11 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
2021-10-03 23:26:07 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
2021-10-03 23:26:10 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
2021-10-03 23:26:12 +0200 | <Hecate> | [exa]: well there is an implem for SystemRandom that could use some testing I imagine? |
2021-10-03 23:26:15 +0200 | <Hecate> | https://github.com/TomMD/crypto-api/blob/7e63e97886b8948bf88401e1497e15040ac2500e/Crypto/Random.hs… |
2021-10-03 23:26:40 +0200 | <c_wraith> | what's there to test in that? It just relays to the entropy library |
2021-10-03 23:27:01 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
2021-10-03 23:27:03 +0200 | n3t1 | n3t |
2021-10-03 23:27:09 +0200 | n3t | (n3t@s45.mydevil.net) (Changing host) |
2021-10-03 23:27:09 +0200 | n3t | (n3t@user/n3t) |
2021-10-03 23:27:24 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
2021-10-03 23:28:28 +0200 | <Hecate> | c_wraith: yeah… speaking about that… |
2021-10-03 23:28:28 +0200 | <Hecate> | https://github.com/TomMD/entropy |
2021-10-03 23:28:32 +0200 | <Hecate> | no tests either 🙃 |
2021-10-03 23:28:48 +0200 | <Hecate> | maybe there is nothing to be tested there as well |
2021-10-03 23:28:55 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
2021-10-03 23:29:23 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
2021-10-03 23:34:14 +0200 | <janus> | how would a test for an entropy fetching library look like? |
2021-10-03 23:34:19 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
2021-10-03 23:34:41 +0200 | <janus> | just pass if it doesn't segfault? |
2021-10-03 23:34:43 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
2021-10-03 23:36:59 +0200 | <Hecate> | I am not a cryptographer /o\ |
2021-10-03 23:36:59 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2021-10-03 23:37:11 +0200 | <Hecate> | that being said, other people have some opinion about this: https://fuchsia.dev/fuchsia-src/concepts/testing/entropy_quality_tests |
2021-10-03 23:37:26 +0200 | <Hecate> | https://www.johndcook.com/blog/2020/02/04/entropy-extractor-nist-sts/ |
2021-10-03 23:41:15 +0200 | fkaSleeper_ | (~fkaSleepe@gateway/tor-sasl/fkasleeper) |
2021-10-03 23:42:26 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2021-10-03 23:42:49 +0200 | Psybur | (~Psybur@mobile-166-170-32-197.mycingular.net) |
2021-10-03 23:44:51 +0200 | cjb | (~cjb@user/cjb) |
2021-10-03 23:46:38 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
2021-10-03 23:47:01 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
2021-10-03 23:47:55 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
2021-10-03 23:48:29 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
2021-10-03 23:50:03 +0200 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
2021-10-03 23:52:00 +0200 | <alzgh> | hello, how can I reset GHCi without quitting? |
2021-10-03 23:52:02 +0200 | kmein | (~weechat@user/kmein) |
2021-10-03 23:52:39 +0200 | <c_wraith> | :reload will clear any local definitions, but it won't reset what extensions are in use or what modules are loaded |
2021-10-03 23:53:09 +0200 | <alzgh> | OK, thanks |
2021-10-03 23:53:14 +0200 | <geekosaur> | :load will reset modules and local definitions but not top level |
2021-10-03 23:53:32 +0200 | <geekosaur> | I don't think there's a single reset thing, they just expect you to quit and start over |
2021-10-03 23:53:39 +0200 | <geekosaur> | ghci really could use some UX love |
2021-10-03 23:53:57 +0200 | <alzgh> | what do you mean with top level? geekosaur |
2021-10-03 23:54:06 +0200 | <geekosaur> | specifically including someone(s) sitting down and figuring out what a good UX would be |
2021-10-03 23:54:22 +0200 | <geekosaur> | same thing as what c_wraith meant by local definitions |
2021-10-03 23:54:30 +0200 | Guest4 | (~Guest4@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Quit: Client closed) |
2021-10-03 23:55:21 +0200 | <geekosaur> | (this is actually a little obscure as you might not bve at top level if you are currently debugging an expression; I'm not sure how well ghci handles a :r or :l under those conditions |
2021-10-03 23:55:27 +0200 | <geekosaur> | ) |
2021-10-03 23:57:13 +0200 | mestre | (~mestre@191.177.175.57) |
2021-10-03 23:57:14 +0200 | jespada | (~jespada@2803:9800:9842:7a62:54d3:aa01:71e2:7a22) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-10-03 23:59:49 +0200 | sprout | (~quassel@2a02:a467:ccd6:1:48e0:d11a:2551:c508) (Ping timeout: 252 seconds) |