| 2024-01-17 00:01:46 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2024-01-17 00:07:04 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2024-01-17 00:08:13 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-17 00:09:25 +0100 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 264 seconds) |
| 2024-01-17 00:14:34 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-01-17 00:17:09 +0100 | johnw | (~johnw@69.62.242.138) |
| 2024-01-17 00:20:46 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-01-17 00:21:22 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-01-17 00:24:37 +0100 | fansly | (~fansly@182.0.244.23) (Read error: Connection reset by peer) |
| 2024-01-17 00:24:51 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
| 2024-01-17 00:26:00 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-01-17 00:26:17 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-01-17 00:28:26 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Remote host closed the connection) |
| 2024-01-17 00:31:25 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2024-01-17 00:34:48 +0100 | wroathe | (~wroathe@50.205.197.50) |
| 2024-01-17 00:34:48 +0100 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2024-01-17 00:34:48 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2024-01-17 00:34:54 +0100 | Everard | (~Everard@2a10:3781:342:0:3a9e:c4de:1271:aa6e) (Ping timeout: 250 seconds) |
| 2024-01-17 00:37:10 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-17 00:40:44 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 256 seconds) |
| 2024-01-17 00:44:09 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-01-17 00:48:30 +0100 | acidjnk_new | (~acidjnk@p200300d6e72b9316bdffba7d8c226295.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-01-17 00:54:16 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 276 seconds) |
| 2024-01-17 00:54:25 +0100 | donnodk | (~donnodk@85.191.185.172) (Ping timeout: 264 seconds) |
| 2024-01-17 00:59:52 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-01-17 01:03:35 +0100 | forell | (~forell@user/forell) (Ping timeout: 264 seconds) |
| 2024-01-17 01:06:11 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 245 seconds) |
| 2024-01-17 01:13:17 +0100 | forell | (~forell@user/forell) |
| 2024-01-17 01:13:36 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-01-17 01:13:47 +0100 | <sm> | Axman6: and also at https://haskell-links.org |
| 2024-01-17 01:14:18 +0100 | <sm> | oh! @quote and @where are different, my mistake |
| 2024-01-17 01:21:15 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2024-01-17 01:21:15 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2024-01-17 01:21:15 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2024-01-17 01:37:39 +0100 | mmhat | (~mmh@p200300f1c724f907ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.1.2) |
| 2024-01-17 01:38:20 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 2024-01-17 01:48:53 +0100 | m1dnight | (~christoph@78-22-2-15.access.telenet.be) (Ping timeout: 240 seconds) |
| 2024-01-17 01:54:39 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-01-17 01:59:31 +0100 | causal | (~eric@50.35.85.7) (Quit: WeeChat 4.1.1) |
| 2024-01-17 02:02:32 +0100 | siers | (~ij@user/ij) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-17 02:02:57 +0100 | siers | (~ij@user/ij) |
| 2024-01-17 02:07:51 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-01-17 02:11:26 +0100 | m1dnight | (~christoph@78-22-2-15.access.telenet.be) |
| 2024-01-17 02:12:51 +0100 | Feuermagier | Guest1640 |
| 2024-01-17 02:12:51 +0100 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2024-01-17 02:12:51 +0100 | Guest1640 | (~Feuermagi@user/feuermagier) (Killed (tungsten.libera.chat (Nickname regained by services))) |
| 2024-01-17 02:12:51 +0100 | Feuermagier_ | Feuermagier |
| 2024-01-17 02:16:02 +0100 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2024-01-17 02:16:02 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Killed (osmium.libera.chat (Nickname regained by services))) |
| 2024-01-17 02:16:02 +0100 | Feuermagier_ | Feuermagier |
| 2024-01-17 02:20:02 +0100 | Feuermagier | Guest4244 |
| 2024-01-17 02:20:02 +0100 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2024-01-17 02:20:02 +0100 | Guest4244 | (~Feuermagi@user/feuermagier) (Killed (tungsten.libera.chat (Nickname regained by services))) |
| 2024-01-17 02:20:02 +0100 | Feuermagier_ | Feuermagier |
| 2024-01-17 02:22:41 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-01-17 02:27:37 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-01-17 02:29:13 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-01-17 02:29:21 +0100 | <tinjamin> | howdy shapr |
| 2024-01-17 02:29:53 +0100 | <tinjamin> | good to see the community bussing and alive! |
| 2024-01-17 02:29:56 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2024-01-17 02:30:37 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2024-01-17 02:36:08 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-01-17 02:40:39 +0100 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2024-01-17 02:40:51 +0100 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2024-01-17 02:42:18 +0100 | hueso | (~root@user/hueso) |
| 2024-01-17 02:43:52 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2024-01-17 02:44:53 +0100 | xff0x | (~xff0x@ai085147.d.east.v6connect.net) (Ping timeout: 252 seconds) |
| 2024-01-17 02:45:07 +0100 | xigua | (~xigua@user/xigua) (Remote host closed the connection) |
| 2024-01-17 02:45:24 +0100 | hueso | (~root@user/hueso) (Read error: Connection reset by peer) |
| 2024-01-17 02:45:32 +0100 | hueso_ | (~root@user/hueso) |
| 2024-01-17 02:45:43 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-01-17 02:45:43 +0100 | xigua | (~xigua@user/xigua) |
| 2024-01-17 02:49:01 +0100 | derpyxdhs | (~Thunderbi@user/derpyxdhs) |
| 2024-01-17 02:49:16 +0100 | xigua | (~xigua@user/xigua) (Remote host closed the connection) |
| 2024-01-17 02:49:50 +0100 | xigua | (~xigua@user/xigua) |
| 2024-01-17 02:50:33 +0100 | derpyxdhs | (~Thunderbi@user/derpyxdhs) (Client Quit) |
| 2024-01-17 02:51:10 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-17 02:51:28 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-01-17 02:53:23 +0100 | xigua | (~xigua@user/xigua) (Remote host closed the connection) |
| 2024-01-17 02:54:00 +0100 | xigua | (~xigua@user/xigua) |
| 2024-01-17 02:55:06 +0100 | lockywolf | (~lockywolf@public.lockywolf.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-17 02:58:01 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 264 seconds) |
| 2024-01-17 02:59:31 +0100 | lockywolf | (~lockywolf@public.lockywolf.net) |
| 2024-01-17 03:04:01 +0100 | pointlessslippe1 | (~pointless@212.82.82.3) (Ping timeout: 260 seconds) |
| 2024-01-17 03:08:12 +0100 | pointlessslippe1 | (~pointless@212.82.82.3) |
| 2024-01-17 03:21:20 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-17 03:23:04 +0100 | <Axman6> | sWe do our best, but tinjamin keep in mind that irc is often quiet for long periods - if you have a question, just ask it and people will help |
| 2024-01-17 03:29:33 +0100 | lockywolf | (~lockywolf@public.lockywolf.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-17 03:32:17 +0100 | lockywolf | (~lockywolf@public.lockywolf.net) |
| 2024-01-17 03:34:35 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-01-17 03:36:21 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-01-17 03:51:56 +0100 | lockywolf | (~lockywolf@public.lockywolf.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-17 03:53:40 +0100 | lockywolf | (~lockywolf@public.lockywolf.net) |
| 2024-01-17 04:02:04 +0100 | lockywolf | (~lockywolf@public.lockywolf.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-17 04:02:59 +0100 | mqlnv | (~tripod@47.154.25.27) (Ping timeout: 256 seconds) |
| 2024-01-17 04:03:47 +0100 | lockywolf | (~lockywolf@public.lockywolf.net) |
| 2024-01-17 04:06:46 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-01-17 04:07:18 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-01-17 04:09:48 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-01-17 04:10:09 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-01-17 04:11:00 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
| 2024-01-17 04:14:42 +0100 | dmj`` | (~user@2600:1700:80:4ec0:5139:22d9:7fb6:13fb) (Remote host closed the connection) |
| 2024-01-17 04:15:27 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-01-17 04:17:17 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2024-01-17 04:17:43 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 276 seconds) |
| 2024-01-17 04:27:24 +0100 | rosco | (~rosco@175.136.156.77) |
| 2024-01-17 04:34:51 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3d64:a56c:bb95:af6f) (Remote host closed the connection) |
| 2024-01-17 04:35:05 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3d64:a56c:bb95:af6f) |
| 2024-01-17 04:35:48 +0100 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.1.2) |
| 2024-01-17 04:39:48 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.1.2) |
| 2024-01-17 04:40:35 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-01-17 04:40:45 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2024-01-17 05:00:50 +0100 | td_ | (~td@i5387093F.versanet.de) (Ping timeout: 256 seconds) |
| 2024-01-17 05:02:40 +0100 | td_ | (~td@i53870908.versanet.de) |
| 2024-01-17 05:09:32 +0100 | aforemny_ | (~aforemny@i59F516CC.versanet.de) (Ping timeout: 252 seconds) |
| 2024-01-17 05:10:00 +0100 | aforemny | (~aforemny@i59F516E2.versanet.de) |
| 2024-01-17 05:19:57 +0100 | mqlnv | (~tripod@47.154.25.27) |
| 2024-01-17 05:20:13 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Ping timeout: 264 seconds) |
| 2024-01-17 05:20:53 +0100 | fansly | (~fansly@182.0.209.184) |
| 2024-01-17 05:23:46 +0100 | fansly | (~fansly@182.0.209.184) (Read error: Connection reset by peer) |
| 2024-01-17 05:24:41 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
| 2024-01-17 05:29:42 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-17 05:31:26 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Ping timeout: 256 seconds) |
| 2024-01-17 05:31:59 +0100 | fansly | (~fansly@182.0.204.40) |
| 2024-01-17 05:40:11 +0100 | forell | (~forell@user/forell) (Ping timeout: 260 seconds) |
| 2024-01-17 05:49:05 +0100 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-01-17 05:50:49 +0100 | fansly | (~fansly@182.0.204.40) (Ping timeout: 264 seconds) |
| 2024-01-17 05:56:29 +0100 | forell | (~forell@user/forell) |
| 2024-01-17 06:00:53 +0100 | bilegeek | (~bilegeek@2600:1008:b094:1f5:20d0:e53d:a690:76d0) |
| 2024-01-17 06:11:47 +0100 | pavonia | (~user@user/siracusa) |
| 2024-01-17 06:28:39 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2024-01-17 06:36:12 +0100 | jmcantrell | (~weechat@user/jmcantrell) |
| 2024-01-17 06:54:52 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-17 07:03:05 +0100 | trev | (~trev@user/trev) |
| 2024-01-17 07:05:55 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-17 07:06:21 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-01-17 07:13:41 +0100 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 240 seconds) |
| 2024-01-17 07:16:36 +0100 | michalz | (~michalz@185.246.207.200) |
| 2024-01-17 07:18:07 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-01-17 07:18:53 +0100 | michalz | (~michalz@185.246.207.200) (Client Quit) |
| 2024-01-17 07:20:21 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-01-17 07:20:53 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-17 07:21:44 +0100 | michalz | (~michalz@185.246.207.205) |
| 2024-01-17 07:22:01 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-01-17 07:22:08 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-01-17 07:26:45 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-17 07:36:45 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-01-17 07:37:20 +0100 | euleritian | (~euleritia@dynamic-046-114-158-134.46.114.pool.telefonica.de) |
| 2024-01-17 07:37:59 +0100 | euleritian | (~euleritia@dynamic-046-114-158-134.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-17 07:38:16 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-17 07:41:21 +0100 | harveypwca | (~harveypwc@2601:246:c280:7940:585a:99af:3e4c:209b) |
| 2024-01-17 07:42:51 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-01-17 07:42:58 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-17 07:45:02 +0100 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2024-01-17 07:45:02 +0100 | Feuermagier | Guest2347 |
| 2024-01-17 07:45:02 +0100 | Guest2347 | (~Feuermagi@user/feuermagier) (Killed (silver.libera.chat (Nickname regained by services))) |
| 2024-01-17 07:45:02 +0100 | Feuermagier_ | Feuermagier |
| 2024-01-17 07:47:31 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-01-17 07:47:40 +0100 | euleritian | (~euleritia@dynamic-046-114-158-134.46.114.pool.telefonica.de) |
| 2024-01-17 07:56:31 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2024-01-17 07:57:29 +0100 | acidjnk_new | (~acidjnk@p200300d6e72b9386bdffba7d8c226295.dip0.t-ipconnect.de) |
| 2024-01-17 08:29:03 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2024-01-17 08:34:25 +0100 | jjhoo | (jahakala@user/jjhoo) (Ping timeout: 256 seconds) |
| 2024-01-17 08:35:09 +0100 | mechap | (~mechap@user/mechap) (Quit: WeeChat 4.1.2) |
| 2024-01-17 08:36:47 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.1.2) |
| 2024-01-17 08:38:31 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-01-17 08:39:49 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-17 08:40:13 +0100 | crook1389 | (uid581388@id-581388.ilkley.irccloud.com) |
| 2024-01-17 08:42:40 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-17 08:45:31 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 276 seconds) |
| 2024-01-17 08:45:43 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-01-17 08:46:25 +0100 | puke | (~puke@user/puke) (Ping timeout: 268 seconds) |
| 2024-01-17 08:58:01 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-01-17 09:06:55 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 240 seconds) |
| 2024-01-17 09:07:05 +0100 | euleritian | (~euleritia@dynamic-046-114-158-134.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-17 09:07:23 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-17 09:07:46 +0100 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2024-01-17 09:09:54 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-01-17 09:12:23 +0100 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.1.2) |
| 2024-01-17 09:18:37 +0100 | bilegeek | (~bilegeek@2600:1008:b094:1f5:20d0:e53d:a690:76d0) (Quit: Leaving) |
| 2024-01-17 09:19:56 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2024-01-17 09:19:56 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-01-17 09:19:56 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-01-17 09:20:22 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-01-17 09:20:53 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-01-17 09:20:58 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-01-17 09:22:42 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-17 09:30:51 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-01-17 09:31:04 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-17 09:31:47 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-01-17 09:36:00 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.1.2) |
| 2024-01-17 09:36:36 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-01-17 09:37:25 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 2024-01-17 09:37:59 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2024-01-17 09:39:15 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Client Quit) |
| 2024-01-17 09:40:19 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 2024-01-17 09:40:38 +0100 | fansly | (~fansly@2404:c0:5c60::561a:3046) |
| 2024-01-17 09:42:17 +0100 | rosco | (~rosco@175.136.156.77) (Remote host closed the connection) |
| 2024-01-17 09:43:43 +0100 | arahael | (~arahael@119-18-0-146.771200.syd.nbn.aussiebb.net) |
| 2024-01-17 09:44:51 +0100 | CiaoSen | (~Jura@2a05:5800:295:700:ca4b:d6ff:fec1:99da) |
| 2024-01-17 09:46:55 +0100 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-01-17 09:49:55 +0100 | Eoco | (~ian@128.101.131.218) |
| 2024-01-17 09:55:04 +0100 | ft | (~ft@p508dbda4.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-01-17 09:57:39 +0100 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-01-17 09:57:58 +0100 | Eoco | (~ian@128.101.131.218) |
| 2024-01-17 10:03:05 +0100 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-01-17 10:04:21 +0100 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-01-17 10:05:46 +0100 | Square | (~Square@user/square) |
| 2024-01-17 10:16:27 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-01-17 10:18:21 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-01-17 10:22:15 +0100 | waldo | (~waldo@user/waldo) |
| 2024-01-17 10:26:06 +0100 | chele | (~chele@user/chele) |
| 2024-01-17 10:26:46 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-01-17 10:27:14 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 256 seconds) |
| 2024-01-17 10:28:22 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3d64:a56c:bb95:af6f) (Remote host closed the connection) |
| 2024-01-17 10:35:17 +0100 | danse-nr3 | (~danse@151.43.76.79) |
| 2024-01-17 10:45:19 +0100 | harveypwca | (~harveypwc@2601:246:c280:7940:585a:99af:3e4c:209b) (Quit: Leaving) |
| 2024-01-17 10:57:23 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2024-01-17 10:59:39 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3d64:a56c:bb95:af6f) |
| 2024-01-17 10:59:58 +0100 | crook1389 | (uid581388@id-581388.ilkley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-17 11:01:07 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-01-17 11:08:53 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
| 2024-01-17 11:15:53 +0100 | filwisher | (2e6936c793@2a03:6000:1812:100::170) |
| 2024-01-17 11:15:54 +0100 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) |
| 2024-01-17 11:15:54 +0100 | jmcantrell | (644f1bed9a@user/jmcantrell) |
| 2024-01-17 11:15:54 +0100 | brettgilio | (a35ba67324@2a03:6000:1812:100::260) |
| 2024-01-17 11:15:54 +0100 | sus | (1b7af6299f@user/zeromomentum) |
| 2024-01-17 11:15:54 +0100 | jakzale | (6291399afa@user/jakzale) |
| 2024-01-17 11:15:54 +0100 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) |
| 2024-01-17 11:15:54 +0100 | raghavgururajan | (ea769b8000@user/raghavgururajan) |
| 2024-01-17 11:15:55 +0100 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) |
| 2024-01-17 11:15:56 +0100 | theesm_ | (2cbdf4b38a@2a03:6000:1812:100::11c8) |
| 2024-01-17 11:15:56 +0100 | akspecs | (00cc8321af@sourcehut/user/akspecs) |
| 2024-01-17 11:15:56 +0100 | kuruczgy | (55b66dd3ae@2a03:6000:1812:100::127f) |
| 2024-01-17 11:15:57 +0100 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) |
| 2024-01-17 11:15:57 +0100 | samhh | (7569f027cf@2a03:6000:1812:100::e4) |
| 2024-01-17 11:15:57 +0100 | fluffyballoon | (45ce440a48@2a03:6000:1812:100::e2) |
| 2024-01-17 11:15:57 +0100 | probie | (cc0b34050a@user/probie) |
| 2024-01-17 11:15:58 +0100 | fgaz_ | (1ff9197ed6@2a03:6000:1812:100::11ea) |
| 2024-01-17 11:15:58 +0100 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) |
| 2024-01-17 11:15:58 +0100 | henrytill | (e0180937c3@2a03:6000:1812:100::e8c) |
| 2024-01-17 11:15:58 +0100 | shreyasminocha | (51fdc93eda@user/shreyasminocha) |
| 2024-01-17 11:16:00 +0100 | bsima1 | (99b9359beb@2a03:6000:1812:100::dd) |
| 2024-01-17 11:16:02 +0100 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) |
| 2024-01-17 11:16:02 +0100 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) |
| 2024-01-17 11:16:02 +0100 | jkoshy | (99b9359beb@user/jkoshy) |
| 2024-01-17 11:16:02 +0100 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) |
| 2024-01-17 11:16:02 +0100 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) |
| 2024-01-17 11:16:04 +0100 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) |
| 2024-01-17 11:16:04 +0100 | jleightcap | (7bc4014b62@user/jleightcap) |
| 2024-01-17 11:16:05 +0100 | sm2n | (ae95cb1267@user/sm2n) |
| 2024-01-17 11:16:06 +0100 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) |
| 2024-01-17 11:16:07 +0100 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) |
| 2024-01-17 11:16:07 +0100 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) |
| 2024-01-17 11:16:08 +0100 | cpli | (77fc530071@2a03:6000:1812:100::252) |
| 2024-01-17 11:16:08 +0100 | rselim | (ce261f06ff@user/milesrout) |
| 2024-01-17 11:16:08 +0100 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) |
| 2024-01-17 11:16:52 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-01-17 11:20:06 +0100 | causal | (~eric@50.35.85.7) |
| 2024-01-17 11:20:23 +0100 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2024-01-17 11:23:43 +0100 | califax | (~califax@user/califx) (Ping timeout: 240 seconds) |
| 2024-01-17 11:23:49 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 2024-01-17 11:24:19 +0100 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) |
| 2024-01-17 11:24:40 +0100 | califax | (~califax@user/califx) |
| 2024-01-17 11:32:50 +0100 | Everard | (~Everard@2001:67c:2564:a303:c035:fe5b:2d9:baaa) |
| 2024-01-17 11:36:10 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2024-01-17 11:36:23 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-01-17 11:38:41 +0100 | Everard | (~Everard@2001:67c:2564:a303:c035:fe5b:2d9:baaa) (Quit: Client closed) |
| 2024-01-17 11:43:43 +0100 | danse-nr3 | (~danse@151.43.76.79) (Read error: Connection reset by peer) |
| 2024-01-17 11:43:44 +0100 | Nixkernal | (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) (Quit: No Ping reply in 180 seconds.) |
| 2024-01-17 11:43:58 +0100 | danse-nr3 | (~danse@151.57.27.115) |
| 2024-01-17 11:44:10 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2024-01-17 11:44:33 +0100 | caconym4 | (~caconym@user/caconym) |
| 2024-01-17 11:45:08 +0100 | Nixkernal | (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) |
| 2024-01-17 11:46:31 +0100 | caconym | (~caconym@user/caconym) (Ping timeout: 260 seconds) |
| 2024-01-17 11:46:31 +0100 | caconym4 | caconym |
| 2024-01-17 11:50:12 +0100 | Nixkernal | (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) (Read error: Connection reset by peer) |
| 2024-01-17 11:50:33 +0100 | Nixkernal | (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) |
| 2024-01-17 11:55:09 +0100 | jmtd | Jon |
| 2024-01-17 12:01:00 +0100 | siw5ohs0 | (~aiw5ohs0@user/aiw5ohs0) |
| 2024-01-17 12:01:12 +0100 | siw5ohs0 | (~aiw5ohs0@user/aiw5ohs0) (Leaving) |
| 2024-01-17 12:03:00 +0100 | Nixkernal | (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-01-17 12:03:20 +0100 | Nixkernal | (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) |
| 2024-01-17 12:09:51 +0100 | fansly | (~fansly@2404:c0:5c60::561a:3046) (Ping timeout: 260 seconds) |
| 2024-01-17 12:10:51 +0100 | fansly | (~fansly@114.124.179.138) |
| 2024-01-17 12:11:48 +0100 | xff0x | (~xff0x@2405:6580:b080:900:4786:8628:77bd:c8eb) |
| 2024-01-17 12:11:50 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-01-17 12:12:21 +0100 | euleritian | (~euleritia@dynamic-176-006-179-075.176.6.pool.telefonica.de) |
| 2024-01-17 12:14:13 +0100 | vglfr | (~vglfr@65.red-88-6-212.staticip.rima-tde.net) (Ping timeout: 260 seconds) |
| 2024-01-17 12:14:33 +0100 | vglfr | (~vglfr@150.pool85-48-57.dynamic.orange.es) |
| 2024-01-17 12:19:05 +0100 | euleritian | (~euleritia@dynamic-176-006-179-075.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-01-17 12:19:44 +0100 | euleritian | (~euleritia@dynamic-046-114-005-129.46.114.pool.telefonica.de) |
| 2024-01-17 12:24:08 +0100 | vglfr | (~vglfr@150.pool85-48-57.dynamic.orange.es) (Read error: Connection reset by peer) |
| 2024-01-17 12:24:28 +0100 | vglfr | (~vglfr@65.red-88-6-212.staticip.rima-tde.net) |
| 2024-01-17 12:25:38 +0100 | fansly | (~fansly@114.124.179.138) (Ping timeout: 268 seconds) |
| 2024-01-17 12:26:31 +0100 | fansly | (~fansly@2404:c0:2020::c35:aeac) |
| 2024-01-17 12:29:31 +0100 | coot_ | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2024-01-17 12:29:59 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 264 seconds) |
| 2024-01-17 12:30:27 +0100 | coot_ | coot |
| 2024-01-17 12:32:13 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 264 seconds) |
| 2024-01-17 12:32:14 +0100 | euleritian | (~euleritia@dynamic-046-114-005-129.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-17 12:32:37 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-17 12:33:49 +0100 | Nixkernal | (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 260 seconds) |
| 2024-01-17 12:33:55 +0100 | Nixkernal_ | (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) |
| 2024-01-17 12:35:13 +0100 | acidjnk_new | (~acidjnk@p200300d6e72b9386bdffba7d8c226295.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-01-17 12:39:51 +0100 | acidjnk | (~acidjnk@p200300d6e737e799153519f8f5371d87.dip0.t-ipconnect.de) |
| 2024-01-17 12:41:29 +0100 | xff0x | (~xff0x@2405:6580:b080:900:4786:8628:77bd:c8eb) (Ping timeout: 256 seconds) |
| 2024-01-17 12:42:31 +0100 | CiaoSen | (~Jura@2a05:5800:295:700:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 2024-01-17 12:43:07 +0100 | xff0x | (~xff0x@ai085147.d.east.v6connect.net) |
| 2024-01-17 12:51:53 +0100 | Nixkernal_ | (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) (Read error: Connection reset by peer) |
| 2024-01-17 12:52:15 +0100 | Nixkernal | (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) |
| 2024-01-17 12:53:52 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-01-17 12:54:55 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-17 12:56:04 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-01-17 12:56:54 +0100 | nerdypepper | np |
| 2024-01-17 13:06:39 +0100 | phma | (~phma@host-67-44-208-19.hnremote.net) (Read error: Connection reset by peer) |
| 2024-01-17 13:07:06 +0100 | phma | (~phma@2001:5b0:210d:b798:915a:1829:e02:216e) |
| 2024-01-17 13:08:42 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
| 2024-01-17 13:09:25 +0100 | Eoco | (~ian@128.101.131.218) (Ping timeout: 246 seconds) |
| 2024-01-17 13:12:52 +0100 | <tinjamin> | what is the final reduced form of this expression? |
| 2024-01-17 13:13:06 +0100 | <tinjamin> | https://chat.ndlug.org/uploads/bdec807f5c54e5b6/2024-01-17-071433.jpg |
| 2024-01-17 13:13:46 +0100 | <tinjamin> | i got (λx.xy)(y)(λx.xz) |
| 2024-01-17 13:14:22 +0100 | <tinjamin> | but idk if u can do another reduction to get yy(λx.xz) |
| 2024-01-17 13:15:38 +0100 | Eoco | (~ian@128.101.131.218) |
| 2024-01-17 13:16:30 +0100 | <ncf> | sure |
| 2024-01-17 13:18:06 +0100 | <tinjamin> | wait so did u get yy(λx.xz)? |
| 2024-01-17 13:19:57 +0100 | <ncf> | yes! |
| 2024-01-17 13:21:29 +0100 | <tinjamin> | sweet, thanks |
| 2024-01-17 13:22:53 +0100 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-01-17 13:22:55 +0100 | <sprout> | there's only one unbound variable in that expression and that's z |
| 2024-01-17 13:24:37 +0100 | Eoco | (~ian@128.101.131.218) |
| 2024-01-17 13:25:11 +0100 | Nixkernal_ | (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) |
| 2024-01-17 13:25:40 +0100 | <ncf> | y is also free |
| 2024-01-17 13:27:11 +0100 | <tinjamin> | ncf: i assume the third y? |
| 2024-01-17 13:27:37 +0100 | <ncf> | yes |
| 2024-01-17 13:27:47 +0100 | <tinjamin> | do people actual write haskell code that looks this or is this mathematical jargon |
| 2024-01-17 13:27:50 +0100 | Nixkernal | (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 252 seconds) |
| 2024-01-17 13:28:27 +0100 | <danse-nr3> | can be ported to something that reads the same, but one does not do replacement while programming, if not in your head |
| 2024-01-17 13:28:36 +0100 | <danse-nr3> | also, types |
| 2024-01-17 13:34:14 +0100 | Eoco | (~ian@128.101.131.218) (Ping timeout: 256 seconds) |
| 2024-01-17 13:35:01 +0100 | <sprout> | oh right |
| 2024-01-17 13:35:23 +0100 | danse-nr3 | (~danse@151.57.27.115) (Ping timeout: 264 seconds) |
| 2024-01-17 13:36:42 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-01-17 13:37:18 +0100 | Eoco | (~ian@128.101.131.218) |
| 2024-01-17 13:41:39 +0100 | <Axman6> | tinjamin: only as an exercise, but the ideas are important, because it's strongly related to how Haskell executes |
| 2024-01-17 13:44:49 +0100 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-01-17 13:45:12 +0100 | Eoco | (~ian@128.101.131.218) |
| 2024-01-17 13:45:58 +0100 | <tinjamin> | got it o7 |
| 2024-01-17 13:46:15 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-01-17 13:47:59 +0100 | CiaoSen | (~Jura@2a05:5800:295:700:ca4b:d6ff:fec1:99da) |
| 2024-01-17 13:50:57 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-01-17 13:51:52 +0100 | mestre | (~mestre@191.177.165.219) |
| 2024-01-17 13:52:42 +0100 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-01-17 13:53:00 +0100 | Eoco | (~ian@128.101.131.218) |
| 2024-01-17 13:59:55 +0100 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-01-17 14:00:13 +0100 | Eoco | (~ian@128.101.131.218) |
| 2024-01-17 14:03:06 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
| 2024-01-17 14:04:55 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2024-01-17 14:07:10 +0100 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-01-17 14:07:31 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-01-17 14:09:12 +0100 | Eoco | (~ian@128.101.131.218) |
| 2024-01-17 14:12:33 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2024-01-17 14:14:56 +0100 | waldo | (~waldo@user/waldo) |
| 2024-01-17 14:16:17 +0100 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-01-17 14:16:55 +0100 | Eoco | (~ian@128.101.131.218) |
| 2024-01-17 14:18:34 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
| 2024-01-17 14:19:39 +0100 | fansly | (~fansly@2404:c0:2020::c35:aeac) (Remote host closed the connection) |
| 2024-01-17 14:19:58 +0100 | fansly | (~fansly@2404:c0:2020::c35:aeac) |
| 2024-01-17 14:20:38 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-01-17 14:23:12 +0100 | Nixkernal_ | (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) (Read error: Connection reset by peer) |
| 2024-01-17 14:23:47 +0100 | Nixkernal | (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) |
| 2024-01-17 14:23:55 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2024-01-17 14:24:19 +0100 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-01-17 14:25:18 +0100 | <shapr> | tinjamin: GOOD MORNING! |
| 2024-01-17 14:25:20 +0100 | fansly | (~fansly@2404:c0:2020::c35:aeac) (Ping timeout: 245 seconds) |
| 2024-01-17 14:25:23 +0100 | shapr | hops randomly |
| 2024-01-17 14:25:40 +0100 | fansly | (~fansly@2404:c0:2020::c3b:7ba9) |
| 2024-01-17 14:25:48 +0100 | <shapr> | god morgon alla! |
| 2024-01-17 14:26:04 +0100 | Guest19 | (~Guest19@145.107.147.157) |
| 2024-01-17 14:26:51 +0100 | Eoco | (~ian@128.101.131.218) |
| 2024-01-17 14:30:13 +0100 | <[exa]> | hello shapr. |
| 2024-01-17 14:32:00 +0100 | fansly | (~fansly@2404:c0:2020::c3b:7ba9) (Ping timeout: 245 seconds) |
| 2024-01-17 14:32:17 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
| 2024-01-17 14:35:09 +0100 | <shapr> | hyvää huomenta [exa] ! |
| 2024-01-17 14:35:34 +0100 | <shapr> | mitä kuluu? |
| 2024-01-17 14:35:47 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-01-17 14:36:16 +0100 | danse-nr3 | (~danse@151.57.27.115) |
| 2024-01-17 14:38:49 +0100 | <shapr> | hej hopp waleee, hur mår du idag? |
| 2024-01-17 14:39:51 +0100 | <tinjamin> | gm shapr |
| 2024-01-17 14:40:23 +0100 | <shapr> | How's code treating you? |
| 2024-01-17 14:41:41 +0100 | <tinjamin> | i haven't coded yet lolol |
| 2024-01-17 14:41:53 +0100 | <tinjamin> | just finished chapter 1 of haskell from first principle |
| 2024-01-17 14:41:57 +0100 | <shapr> | oh good! |
| 2024-01-17 14:42:01 +0100 | <shapr> | What do you think? |
| 2024-01-17 14:42:10 +0100 | <tinjamin> | i enjoy it |
| 2024-01-17 14:42:19 +0100 | <tinjamin> | i hope the paradigm shift clicks for me |
| 2024-01-17 14:43:24 +0100 | mima | (~mmh@aftr-62-216-211-151.dynamic.mnet-online.de) |
| 2024-01-17 14:43:46 +0100 | <shapr> | When I started I came from Python and I expected to use a loop counter to carry around state for me. |
| 2024-01-17 14:44:09 +0100 | <shapr> | I found it difficult to make the jump from explicit loops to implicit control flow. |
| 2024-01-17 14:44:42 +0100 | <shapr> | For example, I would have written Python style fibonacci with an explicit lookup into the "previous element" |
| 2024-01-17 14:45:09 +0100 | <shapr> | Since the function for fibonacci is 1,1, (sum of the two previous elements), (sum of the two previous elements) |
| 2024-01-17 14:45:15 +0100 | <shapr> | like 1,1,2,3,5 |
| 2024-01-17 14:45:47 +0100 | <shapr> | The first time I saw the recursive lazy list fibonacci, my brain was very stretched! |
| 2024-01-17 14:47:29 +0100 | <shapr> | > let fibonacci = 1:1: zipWith (+) fibonacci (tail fibonacci) in take 30 fibonacci |
| 2024-01-17 14:47:30 +0100 | <lambdabot> | [1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765,10946,17... |
| 2024-01-17 14:47:34 +0100 | <dminuoso_> | Yeah I think expicit recursion is so much simpler for a bunch of reasons. There's no magic implicit "oh it jumps from here to there, and then magically things change their value, but others dont" which you tap into to cause behavior. |
| 2024-01-17 14:48:14 +0100 | <dminuoso_> | Though that example goes into recursion schemes |
| 2024-01-17 14:48:25 +0100 | <dminuoso_> | Which I hate again. While concise, its just too dense |
| 2024-01-17 14:49:49 +0100 | <tinjamin> | interesting, i don't really understand it yet but hopefully soon 😅 |
| 2024-01-17 14:49:50 +0100 | <shapr> | dminuoso_: do you have a more instructive / illustrative example? |
| 2024-01-17 14:50:33 +0100 | <shapr> | tinjamin: you can lazily construct a list |
| 2024-01-17 14:50:45 +0100 | <shapr> | > somelist = 1 : 2 : 3 : [] in somelist |
| 2024-01-17 14:50:47 +0100 | <lambdabot> | <hint>:1:10: error: parse error on input ‘=’ |
| 2024-01-17 14:50:52 +0100 | <shapr> | > let somelist = 1 : 2 : 3 : [] in somelist |
| 2024-01-17 14:50:54 +0100 | <lambdabot> | [1,2,3] |
| 2024-01-17 14:51:07 +0100 | <tinjamin> | shapr: i don't program a lot so my knowledge of python and C is limited. I have a background in pure math up to calc 3 and linear algebra so that's what i'm hoping to get me through lolol |
| 2024-01-17 14:51:23 +0100 | <shapr> | > let manyOnes = 1 : manyOnes in take 50 manyOnes |
| 2024-01-17 14:51:25 +0100 | <lambdabot> | [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1... |
| 2024-01-17 14:51:32 +0100 | <shapr> | tinjamin: this is a great time to start! |
| 2024-01-17 14:54:12 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-01-17 14:56:49 +0100 | Sylenth | (~Sylenth1@176.254.244.83) (Ping timeout: 264 seconds) |
| 2024-01-17 14:56:50 +0100 | noumenon | (~noumenon@2a01:799:ce0:9000:aa7e:eaff:fede:ff94) (Quit: Leaving) |
| 2024-01-17 14:58:29 +0100 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2024-01-17 14:58:32 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2024-01-17 15:00:03 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-17 15:01:13 +0100 | zeta_ | (~zeta@176.254.244.83) |
| 2024-01-17 15:01:14 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Read error: Connection reset by peer) |
| 2024-01-17 15:02:26 +0100 | mima | (~mmh@aftr-62-216-211-151.dynamic.mnet-online.de) (Ping timeout: 252 seconds) |
| 2024-01-17 15:04:04 +0100 | vi- | (~violet@user/violetjewel) (Quit: ZNC - https://znc.in) |
| 2024-01-17 15:07:19 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-17 15:09:27 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-17 15:10:21 +0100 | Square2 | (~Square4@user/square) |
| 2024-01-17 15:14:22 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 264 seconds) |
| 2024-01-17 15:18:40 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
| 2024-01-17 15:19:37 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 264 seconds) |
| 2024-01-17 15:20:43 +0100 | waldo | (~waldo@user/waldo) |
| 2024-01-17 15:21:23 +0100 | tt1231 | (~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) |
| 2024-01-17 15:23:25 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-01-17 15:24:03 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2024-01-17 15:25:25 +0100 | int-e_ | (~noone@213162081090.public.t-mobile.at) |
| 2024-01-17 15:25:27 +0100 | int-e_ | meh |
| 2024-01-17 15:26:09 +0100 | meh | (~noone@213162081090.public.t-mobile.at) (Client Quit) |
| 2024-01-17 15:26:17 +0100 | doyougnu | (~doyougnu@045-046-170-068.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-17 15:26:48 +0100 | doyougnu | (~doyougnu@045-046-170-068.res.spectrum.com) |
| 2024-01-17 15:26:59 +0100 | Nixkernal | (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 264 seconds) |
| 2024-01-17 15:29:27 +0100 | doyougnu | (~doyougnu@045-046-170-068.res.spectrum.com) (Client Quit) |
| 2024-01-17 15:30:28 +0100 | doyougnu | (~doyougnu@045-046-170-068.res.spectrum.com) |
| 2024-01-17 15:34:57 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-17 15:35:46 +0100 | Nixkernal | (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) |
| 2024-01-17 15:39:26 +0100 | Nixkernal | (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) (Excess Flood) |
| 2024-01-17 15:39:44 +0100 | Nixkernal | (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) |
| 2024-01-17 15:43:17 +0100 | danse-nr3 | (~danse@151.57.27.115) (Ping timeout: 260 seconds) |
| 2024-01-17 15:44:10 +0100 | segfaultfizzbuzz | (~segfaultf@76-206-41-24.lightspeed.livnmi.sbcglobal.net) |
| 2024-01-17 15:46:15 +0100 | doyougnu | (~doyougnu@045-046-170-068.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-17 15:47:05 +0100 | danse-nr3 | (~danse@151.43.80.134) |
| 2024-01-17 15:47:15 +0100 | doyougnu | (~doyougnu@045-046-170-068.res.spectrum.com) |
| 2024-01-17 15:49:01 +0100 | segfaultfizzbuzz | (~segfaultf@76-206-41-24.lightspeed.livnmi.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2024-01-17 15:50:53 +0100 | foul_owl | (~kerry@185.216.231.181) (Ping timeout: 240 seconds) |
| 2024-01-17 15:51:25 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 264 seconds) |
| 2024-01-17 15:55:27 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-17 15:55:40 +0100 | segfaultfizzbuzz | (~segfaultf@76-206-41-24.lightspeed.livnmi.sbcglobal.net) |
| 2024-01-17 16:02:26 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2024-01-17 16:02:59 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-17 16:04:23 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2024-01-17 16:04:31 +0100 | foul_owl | (~kerry@174-21-148-34.tukw.qwest.net) |
| 2024-01-17 16:04:51 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-17 16:05:44 +0100 | lortabac | (~lortabac@37.174.218.79) |
| 2024-01-17 16:11:10 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2024-01-17 16:11:50 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-17 16:12:36 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.1.2) |
| 2024-01-17 16:19:17 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 240 seconds) |
| 2024-01-17 16:26:23 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 264 seconds) |
| 2024-01-17 16:26:43 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Read error: Connection reset by peer) |
| 2024-01-17 16:34:58 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
| 2024-01-17 16:39:14 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2024-01-17 16:39:52 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-17 16:41:58 +0100 | ddb | (ddb@tilde.club) (Ping timeout: 276 seconds) |
| 2024-01-17 16:42:24 +0100 | ddb | (ddb@2607:5300:203:b92b::115) |
| 2024-01-17 16:43:11 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Ping timeout: 264 seconds) |
| 2024-01-17 16:51:56 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-01-17 16:55:49 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 2024-01-17 17:00:40 +0100 | rosco | (~rosco@175.136.156.77) |
| 2024-01-17 17:02:06 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-17 17:03:27 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-01-17 17:04:08 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-01-17 17:04:40 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2024-01-17 17:04:52 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-01-17 17:05:27 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-01-17 17:05:27 +0100 | lortabac | (~lortabac@37.174.218.79) (Read error: Connection reset by peer) |
| 2024-01-17 17:12:19 +0100 | mima | (~mmh@aftr-62-216-211-122.dynamic.mnet-online.de) |
| 2024-01-17 17:12:42 +0100 | chomwitt | (~chomwitt@2a02:587:7a12:5900:1ac0:4dff:fedb:a3f1) |
| 2024-01-17 17:22:32 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-01-17 17:23:05 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-01-17 17:25:38 +0100 | Nixkernal | (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-01-17 17:27:26 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-01-17 17:28:31 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-01-17 17:29:52 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
| 2024-01-17 17:36:23 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3d64:a56c:bb95:af6f) (Remote host closed the connection) |
| 2024-01-17 17:36:39 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2024-01-17 17:37:17 +0100 | CiaoSen | (~Jura@2a05:5800:295:700:ca4b:d6ff:fec1:99da) (Ping timeout: 256 seconds) |
| 2024-01-17 17:42:20 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) |
| 2024-01-17 17:45:14 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2024-01-17 17:45:14 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2024-01-17 17:45:14 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-01-17 17:45:15 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Read error: Connection reset by peer) |
| 2024-01-17 17:45:41 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-17 17:45:42 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-01-17 17:45:48 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.1.2) |
| 2024-01-17 17:45:54 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-01-17 17:45:59 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-01-17 17:46:11 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2024-01-17 17:46:53 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-01-17 17:47:48 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2024-01-17 17:47:56 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-01-17 17:48:18 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-17 17:48:20 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-01-17 17:49:03 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-01-17 17:49:56 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2024-01-17 17:50:24 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-17 17:52:04 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2024-01-17 17:52:40 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-17 17:54:31 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds) |
| 2024-01-17 17:55:12 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-01-17 18:02:12 +0100 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-01-17 18:08:01 +0100 | rosco | (~rosco@175.136.156.77) (Quit: Lost terminal) |
| 2024-01-17 18:10:21 +0100 | todi | (~todi@p4fd1a54c.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
| 2024-01-17 18:11:19 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds) |
| 2024-01-17 18:13:13 +0100 | <waleee> | shapr: lång oom-låsning på hemmadesktopen och snöfall, objektivt var dagen lite skit |
| 2024-01-17 18:13:21 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-01-17 18:14:07 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-01-17 18:15:02 +0100 | todi | (~todi@p4fd1a54c.dip0.t-ipconnect.de) |
| 2024-01-17 18:23:37 +0100 | Xe | (~cadey@perl/impostor/xe) (Quit: WeeChat 4.1.0) |
| 2024-01-17 18:26:48 +0100 | Xe | (~cadey@perl/impostor/xe) |
| 2024-01-17 18:27:44 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2024-01-17 18:29:09 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-01-17 18:31:49 +0100 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 256 seconds) |
| 2024-01-17 18:32:06 +0100 | euleritian | (~euleritia@dynamic-176-006-184-152.176.6.pool.telefonica.de) |
| 2024-01-17 18:42:42 +0100 | average | (uid473595@user/average) (Quit: Connection closed for inactivity) |
| 2024-01-17 18:44:06 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 245 seconds) |
| 2024-01-17 18:49:03 +0100 | target_i | (~target_i@217.175.14.39) |
| 2024-01-17 18:51:31 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-17 18:51:59 +0100 | <shapr> | waleee: finns också snöfall har i Boston. Min dator har förmycket RAM så ingen oom |
| 2024-01-17 18:52:09 +0100 | <shapr> | men kanske behover en ny dator med MER ram |
| 2024-01-17 18:53:13 +0100 | danse-nr3 | (~danse@151.43.80.134) (Ping timeout: 264 seconds) |
| 2024-01-17 18:55:12 +0100 | euleritian | (~euleritia@dynamic-176-006-184-152.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-17 18:55:30 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-17 18:55:56 +0100 | Guest19 | (~Guest19@145.107.147.157) (Quit: Client closed) |
| 2024-01-17 19:05:20 +0100 | sprout | sproutX |
| 2024-01-17 19:06:51 +0100 | <EvanR> | 🐏 |
| 2024-01-17 19:16:33 +0100 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2024-01-17 19:16:50 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-17 19:19:37 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 264 seconds) |
| 2024-01-17 19:21:17 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2024-01-17 19:24:03 +0100 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2024-01-17 19:28:29 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-01-17 19:28:39 +0100 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2024-01-17 19:28:46 +0100 | <tinjamin> | friends is there a difference between weak head normal form and lazy evaluation? if so, what's the difference? |
| 2024-01-17 19:29:16 +0100 | <tinjamin> | also what the heck is (\f --> (1, 2 + f)) 2 |
| 2024-01-17 19:29:28 +0100 | <tinjamin> | https://chat.ndlug.org/uploads/1fd52f7db7775758/2024-01-17-133035.jpg |
| 2024-01-17 19:29:52 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-01-17 19:32:06 +0100 | <johnw> | WHNF refers to the structure of a term, and how it has been reduced |
| 2024-01-17 19:33:00 +0100 | <johnw> | lazy evaluation is a strategy that tends to reduce terms to WHNF; but one is a process and the other is a classification |
| 2024-01-17 19:33:05 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2024-01-17 19:33:05 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2024-01-17 19:33:05 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2024-01-17 19:34:01 +0100 | <tinjamin> | okay that makes sense, thanks! |
| 2024-01-17 19:38:42 +0100 | <geekosaur> | as to your second question, it's a lambda (anonymous function) applied to a value |
| 2024-01-17 19:39:05 +0100 | <geekosaur> | well, reading --> as -> it is |
| 2024-01-17 19:39:19 +0100 | <tinjamin> | yeah that was my typo |
| 2024-01-17 19:39:28 +0100 | Square | (~Square@user/square) |
| 2024-01-17 19:41:07 +0100 | <tinjamin> | geekosaur: how come when I load it into GHCi it complains about a parse error? |
| 2024-01-17 19:42:10 +0100 | <geekosaur> | works here https://paste.tomsmeding.com/BZDUrWnd |
| 2024-01-17 19:42:12 +0100 | <tinjamin> | wait never mind, it works when I enter it directly into GHCi |
| 2024-01-17 19:42:33 +0100 | <tinjamin> | lol thanks mate |
| 2024-01-17 19:42:35 +0100 | <geekosaur> | if you just slap it in a file it won't work because files contain bindings, not raw expressions |
| 2024-01-17 19:42:55 +0100 | <tinjamin> | yeah, thats what I did originally |
| 2024-01-17 19:43:00 +0100 | <geekosaur> | evaluation starts with the binding `main :: IO a` |
| 2024-01-17 19:43:19 +0100 | <geekosaur> | this is more like C/C++/Java than Python/JS |
| 2024-01-17 19:43:50 +0100 | <tinjamin> | hmmm okay |
| 2024-01-17 19:48:53 +0100 | segfaultfizzbuzz | (~segfaultf@76-206-41-24.lightspeed.livnmi.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2024-01-17 19:49:57 +0100 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (Ping timeout: 244 seconds) |
| 2024-01-17 19:51:21 +0100 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
| 2024-01-17 19:51:27 +0100 | segfaultfizzbuzz | (~segfaultf@76-206-41-24.lightspeed.livnmi.sbcglobal.net) |
| 2024-01-17 19:53:46 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.1.2) |
| 2024-01-17 19:58:35 +0100 | average | (uid473595@user/average) |
| 2024-01-17 20:04:11 +0100 | segfaultfizzbuzz | (~segfaultf@76-206-41-24.lightspeed.livnmi.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2024-01-17 20:06:44 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi) |
| 2024-01-17 20:07:25 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2024-01-17 20:09:36 +0100 | segfaultfizzbuzz | (~segfaultf@76-206-41-24.lightspeed.livnmi.sbcglobal.net) |
| 2024-01-17 20:15:00 +0100 | gentauro | (~gentauro@user/gentauro) |
| 2024-01-17 20:24:43 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-01-17 20:34:55 +0100 | segfaultfizzbuzz | (~segfaultf@76-206-41-24.lightspeed.livnmi.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2024-01-17 20:38:01 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-17 20:38:51 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-01-17 20:47:12 +0100 | waldo | (~waldo@user/waldo) |
| 2024-01-17 20:48:26 +0100 | trev | (~trev@user/trev) (Quit: trev) |
| 2024-01-17 20:49:49 +0100 | segfaultfizzbuzz | (~segfaultf@76-206-41-24.lightspeed.livnmi.sbcglobal.net) |
| 2024-01-17 20:58:12 +0100 | <EvanR> | evaluate main to get an IO action, execute it, which may involve more evaluation to deal with the result, repeat |
| 2024-01-17 20:58:54 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2024-01-17 21:00:06 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-17 21:01:37 +0100 | segfaultfizzbuzz | (~segfaultf@76-206-41-24.lightspeed.livnmi.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2024-01-17 21:03:24 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-01-17 21:14:42 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-01-17 21:20:55 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) |
| 2024-01-17 21:33:23 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2024-01-17 21:34:35 +0100 | segfaultfizzbuzz | (~segfaultf@76-206-41-24.lightspeed.livnmi.sbcglobal.net) |
| 2024-01-17 21:36:24 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2d24:d5c:94b1:61c) |
| 2024-01-17 21:38:13 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 264 seconds) |
| 2024-01-17 21:38:24 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2024-01-17 21:38:40 +0100 | segfaultfizzbuzz | (~segfaultf@76-206-41-24.lightspeed.livnmi.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2024-01-17 21:44:35 +0100 | segfaultfizzbuzz | (~segfaultf@76-206-41-24.lightspeed.livnmi.sbcglobal.net) |
| 2024-01-17 21:48:12 +0100 | donnodk | (~donnodk@85.191.185.172) |
| 2024-01-17 21:48:31 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
| 2024-01-17 21:49:04 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-01-17 21:49:09 +0100 | segfaultfizzbuzz | (~segfaultf@76-206-41-24.lightspeed.livnmi.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2024-01-17 21:50:25 +0100 | cstml | (~cstml@user/cstml) |
| 2024-01-17 21:52:05 +0100 | waldo | (~waldo@user/waldo) |
| 2024-01-17 21:54:29 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-01-17 21:55:05 +0100 | cstml | (~cstml@user/cstml) (Client Quit) |
| 2024-01-17 21:58:36 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-01-17 22:03:53 +0100 | caconym | (~caconym@user/caconym) |
| 2024-01-17 22:06:01 +0100 | target_i | (~target_i@217.175.14.39) (Quit: leaving) |
| 2024-01-17 22:06:57 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2024-01-17 22:08:14 +0100 | average | (uid473595@user/average) (Quit: Connection closed for inactivity) |
| 2024-01-17 22:09:20 +0100 | harveypwca | (~harveypwc@2601:246:c280:7940:585a:99af:3e4c:209b) |
| 2024-01-17 22:15:56 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.1.2) |
| 2024-01-17 22:17:10 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-17 22:17:44 +0100 | segfaultfizzbuzz | (~segfaultf@76-206-41-24.lightspeed.livnmi.sbcglobal.net) |
| 2024-01-17 22:20:04 +0100 | zmt01 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2024-01-17 22:20:28 +0100 | zmt01 | (~zmt00@user/zmt00) |
| 2024-01-17 22:23:30 +0100 | segfaultfizzbuzz | (~segfaultf@76-206-41-24.lightspeed.livnmi.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2024-01-17 22:26:29 +0100 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2024-01-17 22:29:13 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-01-17 22:29:30 +0100 | harveypwca | (~harveypwc@2601:246:c280:7940:585a:99af:3e4c:209b) (Quit: Leaving) |
| 2024-01-17 22:32:29 +0100 | ft | (~ft@p508dbda4.dip0.t-ipconnect.de) |
| 2024-01-17 22:36:14 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Ping timeout: 260 seconds) |
| 2024-01-17 22:37:28 +0100 | fansly | (~fansly@2404:c0:5c10::5d27:d60) |
| 2024-01-17 22:45:27 +0100 | segfaultfizzbuzz | (~segfaultf@76-206-41-24.lightspeed.livnmi.sbcglobal.net) |
| 2024-01-17 22:45:48 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-01-17 22:46:10 +0100 | califax | (~califax@user/califx) |
| 2024-01-17 22:50:23 +0100 | segfaultfizzbuzz | (~segfaultf@76-206-41-24.lightspeed.livnmi.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2024-01-17 22:50:49 +0100 | Eoco | (~ian@128.101.131.218) (Ping timeout: 264 seconds) |
| 2024-01-17 22:53:47 +0100 | vglfr | (~vglfr@65.red-88-6-212.staticip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2024-01-17 22:58:48 +0100 | vglfr | (~vglfr@134.pool85-48-57.dynamic.orange.es) |
| 2024-01-17 22:58:54 +0100 | michalz | (~michalz@185.246.207.205) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-17 22:59:39 +0100 | Eoco | (~ian@128.101.131.218) |
| 2024-01-17 23:03:55 +0100 | segfaultfizzbuzz | (~segfaultf@76-206-41-24.lightspeed.livnmi.sbcglobal.net) |
| 2024-01-17 23:06:39 +0100 | hueso_ | (~root@user/hueso) (Quit: hueso_) |
| 2024-01-17 23:06:53 +0100 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-01-17 23:07:19 +0100 | Eoco | (~ian@128.101.131.218) |
| 2024-01-17 23:12:11 +0100 | segfaultfizzbuzz | (~segfaultf@76-206-41-24.lightspeed.livnmi.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2024-01-17 23:15:11 +0100 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-01-17 23:16:41 +0100 | hueso | (~root@user/hueso) |
| 2024-01-17 23:16:46 +0100 | Eoco | (~ian@128.101.131.218) |
| 2024-01-17 23:20:42 +0100 | average | (uid473595@user/average) |
| 2024-01-17 23:21:14 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2024-01-17 23:27:09 +0100 | chomwitt | (~chomwitt@2a02:587:7a12:5900:1ac0:4dff:fedb:a3f1) (Ping timeout: 260 seconds) |
| 2024-01-17 23:27:56 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-01-17 23:28:26 +0100 | Eoco | (~ian@128.101.131.218) (Ping timeout: 252 seconds) |
| 2024-01-17 23:29:03 +0100 | segfaultfizzbuzz | (~segfaultf@76-206-41-24.lightspeed.livnmi.sbcglobal.net) |
| 2024-01-17 23:30:13 +0100 | Eoco | (~ian@128.101.131.218) |
| 2024-01-17 23:33:44 +0100 | vglfr | (~vglfr@134.pool85-48-57.dynamic.orange.es) (Read error: Connection reset by peer) |
| 2024-01-17 23:34:01 +0100 | segfaultfizzbuzz | (~segfaultf@76-206-41-24.lightspeed.livnmi.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2024-01-17 23:34:03 +0100 | vglfr | (~vglfr@65.red-88-6-212.staticip.rima-tde.net) |
| 2024-01-17 23:34:54 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2024-01-17 23:37:01 +0100 | wroathe | (~wroathe@50.205.197.50) |
| 2024-01-17 23:37:01 +0100 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2024-01-17 23:37:01 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2024-01-17 23:43:37 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-01-17 23:45:20 +0100 | segfaultfizzbuzz | (~segfaultf@76-206-41-24.lightspeed.livnmi.sbcglobal.net) |
| 2024-01-17 23:49:12 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-17 23:49:55 +0100 | segfaultfizzbuzz | (~segfaultf@76-206-41-24.lightspeed.livnmi.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2024-01-17 23:50:13 +0100 | johnw | (~johnw@69.62.242.138) |
| 2024-01-17 23:53:42 +0100 | acidjnk | (~acidjnk@p200300d6e737e799153519f8f5371d87.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
