| 2024-05-12 00:13:04 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 255 seconds) |
| 2024-05-12 00:17:57 +0000 | Lears | (~Leary]@user/Leary/x-0910699) (Ping timeout: 256 seconds) |
| 2024-05-12 00:27:51 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-05-12 00:43:14 +0000 | yin | (~yin@user/zero) (Ping timeout: 252 seconds) |
| 2024-05-12 00:47:14 +0000 | Square2 | (~Square4@user/square) |
| 2024-05-12 00:50:24 +0000 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2024-05-12 00:55:43 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-12 01:01:59 +0000 | madariaga | (~madariaga@user/madariaga) |
| 2024-05-12 01:10:32 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 2024-05-12 01:12:48 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
| 2024-05-12 01:14:32 +0000 | otto_s | (~user@p5de2f4b0.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-05-12 01:15:59 +0000 | otto_s | (~user@p4ff27bc4.dip0.t-ipconnect.de) |
| 2024-05-12 01:33:35 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-05-12 02:00:08 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-05-12 02:05:04 +0000 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2024-05-12 02:05:34 +0000 | op_4 | (~tslil@user/op-4/x-9116473) |
| 2024-05-12 02:16:23 +0000 | td_ | (~td@i53870939.versanet.de) (Ping timeout: 268 seconds) |
| 2024-05-12 02:18:05 +0000 | td_ | (~td@i53870913.versanet.de) |
| 2024-05-12 02:38:56 +0000 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) |
| 2024-05-12 03:16:18 +0000 | philopsos | (~caecilius@user/philopsos) |
| 2024-05-12 03:16:43 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-12 03:17:10 +0000 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) (Quit: WeeChat 3.8) |
| 2024-05-12 03:17:28 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2024-05-12 03:36:58 +0000 | agent314 | (~quassel@87.249.134.25) (Ping timeout: 246 seconds) |
| 2024-05-12 03:37:33 +0000 | agent314 | (~quassel@c-24-17-4-192.hsd1.wa.comcast.net) |
| 2024-05-12 03:42:51 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2024-05-12 03:43:04 +0000 | agent314 | (~quassel@c-24-17-4-192.hsd1.wa.comcast.net) (Ping timeout: 260 seconds) |
| 2024-05-12 03:43:13 +0000 | agent314 | (~quassel@87.249.134.25) |
| 2024-05-12 03:47:02 +0000 | Square | (~Square@user/square) |
| 2024-05-12 03:50:23 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 264 seconds) |
| 2024-05-12 03:58:51 +0000 | aforemny_ | (~aforemny@i59F516F5.versanet.de) |
| 2024-05-12 03:59:59 +0000 | aforemny | (~aforemny@2001:9e8:6cd6:3600:97b7:283e:1ab8:36b5) (Ping timeout: 268 seconds) |
| 2024-05-12 04:30:49 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-05-12 04:39:29 +0000 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-05-12 04:40:28 +0000 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-05-12 04:48:26 +0000 | agent314 | (~quassel@87.249.134.25) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-05-12 05:01:49 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-05-12 05:02:19 +0000 | rvalue | (~rvalue@user/rvalue) |
| 2024-05-12 05:14:31 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-12 05:18:29 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-05-12 05:25:33 +0000 | ocra8 | (ocra8@user/ocra8) (Quit: WeeChat 4.2.2) |
| 2024-05-12 05:32:41 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-12 05:54:14 +0000 | dos__^^ | (~user@user/dos/x-1723657) (Read error: Connection reset by peer) |
| 2024-05-12 05:55:04 +0000 | dos__^^ | (~user@user/dos/x-1723657) |
| 2024-05-12 05:56:11 +0000 | [Leary] | (~Leary]@user/Leary/x-0910699) |
| 2024-05-12 05:56:18 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-12 05:57:40 +0000 | dos__^^ | (~user@user/dos/x-1723657) (Read error: No route to host) |
| 2024-05-12 06:08:46 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-12 06:30:19 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-12 06:38:29 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-12 06:55:48 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-12 07:00:07 +0000 | tt1231097 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
| 2024-05-12 07:00:12 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-12 07:02:43 +0000 | tt1231097 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 2024-05-12 07:04:31 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-05-12 07:08:38 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-05-12 07:12:09 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-12 07:23:05 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-05-12 07:23:34 +0000 | acidjnk_new | (~acidjnk@p200300d6e714dc538d2f4966c160723d.dip0.t-ipconnect.de) |
| 2024-05-12 07:25:19 +0000 | mankanor | (~mankanor@210.185.176.242) |
| 2024-05-12 07:26:08 +0000 | mankanor | (~mankanor@210.185.176.242) (Read error: Connection reset by peer) |
| 2024-05-12 07:27:32 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-05-12 07:29:41 +0000 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 252 seconds) |
| 2024-05-12 07:42:25 +0000 | euleritian | (~euleritia@dynamic-176-001-002-149.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-12 07:42:39 +0000 | euleritian | (~euleritia@ip-185-104-138-28.ptr.icomera.net) |
| 2024-05-12 07:52:09 +0000 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2024-05-12 07:56:17 +0000 | syscall1 | (~syscall@2409:40c1:500a:30b2:a353:426b:4b4d:4f52) |
| 2024-05-12 07:56:28 +0000 | <syscall1> | hello |
| 2024-05-12 07:57:37 +0000 | <syscall1> | exit |
| 2024-05-12 07:57:43 +0000 | syscall1 | (~syscall@2409:40c1:500a:30b2:a353:426b:4b4d:4f52) (Client Quit) |
| 2024-05-12 07:57:58 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-12 07:58:09 +0000 | <mauke> | good syscall |
| 2024-05-12 07:59:32 +0000 | syscall1 | (~syscall@2409:40c1:500a:30b2:a353:426b:4b4d:4f52) |
| 2024-05-12 08:03:10 +0000 | <syscall1> | hello, i am new to irc. how do i register a nick on this channel? |
| 2024-05-12 08:03:31 +0000 | <syscall1> | (using weechat client) |
| 2024-05-12 08:06:03 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-05-12 08:06:15 +0000 | <mauke> | nicks aren't a channel thing, they're a whole network thing |
| 2024-05-12 08:06:17 +0000 | <mauke> | https://libera.chat/guides/registration |
| 2024-05-12 08:07:04 +0000 | syscall1 | hash |
| 2024-05-12 08:07:41 +0000 | hash | rogue |
| 2024-05-12 08:08:07 +0000 | rogue | decimal |
| 2024-05-12 08:08:24 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-12 08:08:26 +0000 | decimal | oatmeal |
| 2024-05-12 08:08:59 +0000 | oatmeal | sandbag |
| 2024-05-12 08:09:50 +0000 | sandbag | (~syscall@2409:40c1:500a:30b2:a353:426b:4b4d:4f52) (Quit: WeeChat 4.2.2) |
| 2024-05-12 08:10:13 +0000 | syscall1 | (~syscall@2409:40c1:500a:30b2:a353:426b:4b4d:4f52) |
| 2024-05-12 08:10:29 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-12 08:10:54 +0000 | syscall1 | sandbag |
| 2024-05-12 08:11:32 +0000 | sandbag | (~syscall@2409:40c1:500a:30b2:a353:426b:4b4d:4f52) (Changing host) |
| 2024-05-12 08:11:32 +0000 | sandbag | (~syscall@user/sandbag) |
| 2024-05-12 08:12:16 +0000 | <sandbag> | @mauke got it. thanks |
| 2024-05-12 08:12:17 +0000 | <lambdabot> | Unknown command, try @list |
| 2024-05-12 08:12:39 +0000 | <mauke> | lambdabot interprets messages starting with @ as commands :-) |
| 2024-05-12 08:12:57 +0000 | <sandbag> | oops |
| 2024-05-12 08:13:40 +0000 | <mauke> | sandbag: for addressing, I generally just type "sa<Tab>", which my irc client autocompletes to "sandbag: " |
| 2024-05-12 08:14:37 +0000 | <sandbag> | mauke: that worked! thanks for the heads up |
| 2024-05-12 08:14:55 +0000 | <sandbag> | is markdown highlighting supported in irc? |
| 2024-05-12 08:15:30 +0000 | <mauke> | no |
| 2024-05-12 08:15:43 +0000 | <mauke> | remember, IRC is older than the WWW :-) |
| 2024-05-12 08:16:05 +0000 | <sandbag> | bummer. how do I send code snippets in a readable form then? |
| 2024-05-12 08:16:12 +0000 | <mauke> | it's all plain (very plain) text and some client-side extras, like recognizing URLs |
| 2024-05-12 08:16:22 +0000 | <mauke> | external paste sites |
| 2024-05-12 08:16:34 +0000 | <mauke> | like our topic says: Paste code/errors: https://paste.tomsmeding.com |
| 2024-05-12 08:16:55 +0000 | <sandbag> | yes! sorry for not looking at the top :) |
| 2024-05-12 08:17:09 +0000 | <mauke> | don't worry, no one looks there :-) |
| 2024-05-12 08:17:50 +0000 | <mauke> | as a general rule, don't paste into IRC; use a paste site and give us the link to your post |
| 2024-05-12 08:18:02 +0000 | <sandbag> | got it! |
| 2024-05-12 08:19:37 +0000 | <mauke> | hmm... looks like #haskell doesn't filter color codes, so you could annoy everyone by putting random colors in your text |
| 2024-05-12 08:20:46 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-05-12 08:21:06 +0000 | <mauke> | it's 03super green |
| 2024-05-12 08:28:53 +0000 | euleritian | (~euleritia@ip-185-104-138-28.ptr.icomera.net) (Ping timeout: 240 seconds) |
| 2024-05-12 08:29:08 +0000 | euleritian | (~euleritia@ip-185-104-138-28.ptr.icomera.net) |
| 2024-05-12 08:29:43 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-12 08:36:18 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-12 08:42:46 +0000 | <sandbag> | mauke: nice :) |
| 2024-05-12 08:47:38 +0000 | <sandbag> | https://paste.tomsmeding.com/CFWXtmFm, when i define 'html_ = el "html" content', it gives me an error. why? shouldn't el take 2 arguments? |
| 2024-05-12 08:47:58 +0000 | Square | (~Square@user/square) (Ping timeout: 268 seconds) |
| 2024-05-12 08:48:57 +0000 | <mauke> | what's the error message? |
| 2024-05-12 08:50:07 +0000 | <mauke> | in the playground, I get: Main.hs:5:19: error: Variable not in scope: content :: String |
| 2024-05-12 08:50:23 +0000 | euleritian | (~euleritia@ip-185-104-138-28.ptr.icomera.net) (Ping timeout: 264 seconds) |
| 2024-05-12 08:50:37 +0000 | <sandbag> | yeah |
| 2024-05-12 08:50:47 +0000 | <sandbag> | that's what I get |
| 2024-05-12 08:50:49 +0000 | <mauke> | which makes sense to me. 'content' is not defined anywhere |
| 2024-05-12 08:51:13 +0000 | <mauke> | did you mean: html_ content = el "html" content |
| 2024-05-12 08:51:29 +0000 | <sandbag> | oh yes, sorr |
| 2024-05-12 08:52:05 +0000 | <sandbag> | that works as well, I got confused. but if you remove the variable, that will work too |
| 2024-05-12 08:52:28 +0000 | <sandbag> | el needs 2 arguments, and I have given it only one |
| 2024-05-12 08:52:45 +0000 | <mauke> | 2-argument functions are a scam |
| 2024-05-12 08:52:54 +0000 | <mauke> | all haskell functions really only take 1 argument |
| 2024-05-12 08:53:14 +0000 | <mauke> | a "two-argument function" is a function (of one argument) that returns another function (of one argument) |
| 2024-05-12 08:53:47 +0000 | <sandbag> | but it still combines 2 arguments into one right? so initially it was 2 arguments |
| 2024-05-12 08:53:53 +0000 | <mauke> | f x y really means (f x) y |
| 2024-05-12 08:54:23 +0000 | <mauke> | it is the function you get from f x applied to an argument, y |
| 2024-05-12 08:54:37 +0000 | <sandbag> | alright, but how does el function know where to get "content" if I did not pass it? |
| 2024-05-12 08:55:00 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-12 08:55:07 +0000 | <mauke> | html_ content = el "html" content -- the original definition, is the same as: |
| 2024-05-12 08:55:16 +0000 | <mauke> | html_ = \content -> (el "html") content |
| 2024-05-12 08:55:48 +0000 | <sandbag> | i meant html_ = el "html" |
| 2024-05-12 08:56:06 +0000 | <mauke> | which says: html_ is defined as a function (of one argument, content) that applies (el "html") to that argument |
| 2024-05-12 08:56:18 +0000 | <mauke> | which means it is functionally equivalent to just el "html" |
| 2024-05-12 08:56:30 +0000 | <mauke> | because all it does is forward its argument to another function |
| 2024-05-12 08:56:54 +0000 | <mauke> | fundamentally, it's like writing 'f = g' instead of 'f x = g x' |
| 2024-05-12 08:56:57 +0000 | <mauke> | it comes to the same thing |
| 2024-05-12 08:57:09 +0000 | <sandbag> | your snippet makes sense. so the one I sent is similar? |
| 2024-05-12 08:57:58 +0000 | <sandbag> | im new to functional programming. forgive me for any kind of silly questions :) |
| 2024-05-12 08:58:17 +0000 | <mauke> | just as in 'f x = g x' you can "cancel" the x on both sides, so in 'html_ content = (el "html") content' you can cancel the content on both sides |
| 2024-05-12 08:59:44 +0000 | <sandbag> | ah, that makes sense. so i can get away by not passing arguments to some middle function which points to a top function which has the same argument |
| 2024-05-12 09:00:05 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-05-12 09:00:12 +0000 | <mauke> | doesn't even have to be "middle" or "top" |
| 2024-05-12 09:00:43 +0000 | <sandbag> | oh, could be any function? |
| 2024-05-12 09:01:00 +0000 | <mauke> | any time you have a function whose outermost expression (in the function body) is a function application |
| 2024-05-12 09:01:20 +0000 | <mauke> | well, and the thing it's applying the (inner) function to is the argument of the (outer) function |
| 2024-05-12 09:01:27 +0000 | <sandbag> | in that manner, doesn't that eliminate the need of arguments then? |
| 2024-05-12 09:01:27 +0000 | <mauke> | \x -> (... anything here ...) x |
| 2024-05-12 09:01:46 +0000 | <mauke> | not completely |
| 2024-05-12 09:02:00 +0000 | <mauke> | consider \x -> f x x |
| 2024-05-12 09:02:21 +0000 | <mauke> | here we use the argument x not just as the last argument to some other function |
| 2024-05-12 09:02:44 +0000 | <sandbag> | yeah |
| 2024-05-12 09:02:53 +0000 | <mauke> | or even just \x -> f x 42 |
| 2024-05-12 09:03:10 +0000 | <mauke> | you can't directly get the 'x' out of the middle of an expression |
| 2024-05-12 09:03:23 +0000 | <sandbag> | so, if you are referencing or using some other function, at that time arguments aren't required |
| 2024-05-12 09:03:38 +0000 | euleritian | (~euleritia@ip-185-104-138-28.ptr.icomera.net) |
| 2024-05-12 09:03:38 +0000 | <mauke> | but it turns out you can always do it if you allow some simple helper functions |
| 2024-05-12 09:03:57 +0000 | <sandbag> | true |
| 2024-05-12 09:04:19 +0000 | <mauke> | commonly known as S and K, defined as: K x y = x; S x y z = (x z) (y z) |
| 2024-05-12 09:04:40 +0000 | <mauke> | and now you can write all functions without arguments :-) |
| 2024-05-12 09:04:43 +0000 | <sandbag> | looks like a very complex math equation :| |
| 2024-05-12 09:04:48 +0000 | <sandbag> | and i suck at math |
| 2024-05-12 09:05:19 +0000 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Quit: WeeChat 4.2.2) |
| 2024-05-12 09:05:25 +0000 | <sandbag> | anywho, thanks for the explanation. it's much clear now |
| 2024-05-12 09:05:49 +0000 | <mauke> | if you want to get scared, https://en.wikipedia.org/wiki/Combinatory_logic |
| 2024-05-12 09:06:03 +0000 | <sandbag> | i will resume my journey on functional programming |
| 2024-05-12 09:06:09 +0000 | mikess | (~mikess@user/mikess) (Quit: mikess) |
| 2024-05-12 09:06:09 +0000 | <mauke> | "Combinatory logic is a notation to eliminate the need for quantified variables in mathematical logic." |
| 2024-05-12 09:06:21 +0000 | <mauke> | or in our case, to eliminate the need for naming arguments in lambda functions |
| 2024-05-12 09:06:41 +0000 | <sandbag> | that's interesting |
| 2024-05-12 09:07:54 +0000 | <sandbag> | btw, completely offtopic but is ocaml similar to haskell or completely different? |
| 2024-05-12 09:08:02 +0000 | <mauke> | pretty similar in many ways |
| 2024-05-12 09:08:53 +0000 | <sandbag> | ah, that's great. i will pick it up after writing some haskell |
| 2024-05-12 09:08:56 +0000 | <mauke> | very similar syntax and type system |
| 2024-05-12 09:09:39 +0000 | <mauke> | but not lazy and not pure (ad-hoc side effects allowed everywhere) |
| 2024-05-12 09:10:14 +0000 | <[Leary]> | The MLs do share Haskell's parametric polymorphism and some syntax, but Haskell being both pure and lazy is somewhat of an island; there are no widely used programming languages that are genuinely similar. |
| 2024-05-12 09:10:14 +0000 | <sandbag> | functional languages do look a bit similar to python (mostly syntax and less amount of code). if you look at C or Go, you are writing a lot of code. but in python or haskell, it's less |
| 2024-05-12 09:10:51 +0000 | <mauke> | depends on the task and the language |
| 2024-05-12 09:10:59 +0000 | <sandbag> | for python, I can understand because of lots of abstraction. is it similar in haskell? |
| 2024-05-12 09:11:28 +0000 | <sandbag> | [Leary]: true |
| 2024-05-12 09:12:35 +0000 | <sandbag> | mauke: absolutely. |
| 2024-05-12 09:12:49 +0000 | <mauke> | I'd say what python and haskell have in common is fairly high-level abstractions (no need for explicit or manual memory allocation, for example) and an ecosystem of reusable modules |
| 2024-05-12 09:13:07 +0000 | <mauke> | which also applies to perl |
| 2024-05-12 09:14:51 +0000 | <sandbag> | mauke: yeah, perl as well. so is it mostly from C or some other language? |
| 2024-05-12 09:15:19 +0000 | <mauke> | to me, haskell is unique because you can stack abstractions on top of each other to create absolutely brain-breaking code in 3 or 4 lines |
| 2024-05-12 09:16:06 +0000 | <mauke> | java is also famous for being needlessly verbose |
| 2024-05-12 09:16:12 +0000 | <sandbag> | oh, that's interesting |
| 2024-05-12 09:16:43 +0000 | <sandbag> | mauke: absolutely! java is extremely verbose |
| 2024-05-12 09:17:38 +0000 | <sandbag> | i never really understood the importance of OOP. it is just there to complicate things |
| 2024-05-12 09:18:55 +0000 | <mauke> | loeb :: Functor f => f (f a -> a) -> f a; loeb x = y where y = fmap (\f -> f y) x |
| 2024-05-12 09:19:09 +0000 | <Hecate> | glguy: do you accept compat PRs for https://github.com/glguy/language-lua ? I need to work with GHC 9.8 |
| 2024-05-12 09:19:36 +0000 | <mauke> | ^ like this thing. just two lines of code, fairly short; doesn't use any crazy language extensions; and yet ... wtf even is that |
| 2024-05-12 09:20:11 +0000 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-05-12 09:22:28 +0000 | brox66 | (~brox66@user/brox66) |
| 2024-05-12 09:23:44 +0000 | troydm | (~troydm@user/troydm) (Ping timeout: 268 seconds) |
| 2024-05-12 09:23:46 +0000 | mailman1 | (~mailman1@116.71.176.122) |
| 2024-05-12 09:26:11 +0000 | euleritian | (~euleritia@ip-185-104-138-28.ptr.icomera.net) (Ping timeout: 272 seconds) |
| 2024-05-12 09:27:56 +0000 | euleritian | (~euleritia@dynamic-176-001-002-149.176.1.pool.telefonica.de) |
| 2024-05-12 09:28:15 +0000 | mailman1 | (~mailman1@116.71.176.122) (Client Quit) |
| 2024-05-12 09:29:00 +0000 | mailman | (~mailman@116.71.176.122) |
| 2024-05-12 09:30:07 +0000 | mailman | (~mailman@116.71.176.122) (Client Quit) |
| 2024-05-12 09:31:45 +0000 | brox66 | (~brox66@user/brox66) (Quit: Client closed) |
| 2024-05-12 09:33:37 +0000 | mailman | (~mailman@116.71.176.122) |
| 2024-05-12 09:36:00 +0000 | mailman | (~mailman@116.71.176.122) (Client Quit) |
| 2024-05-12 09:36:27 +0000 | mailman | (~mailman@116.71.176.122) |
| 2024-05-12 09:37:24 +0000 | mailman | (~mailman@116.71.176.122) (Client Quit) |
| 2024-05-12 09:37:43 +0000 | khumba | (~khumba@user/khumba) () |
| 2024-05-12 09:38:09 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-12 09:43:29 +0000 | troydm | (~troydm@user/troydm) |
| 2024-05-12 09:47:23 +0000 | mei | (~mei@user/mei) (Ping timeout: 264 seconds) |
| 2024-05-12 09:49:20 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-12 09:50:27 +0000 | mailman | (~mailman@116.71.176.122) |
| 2024-05-12 09:52:58 +0000 | euleritian | (~euleritia@dynamic-176-001-002-149.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-12 09:54:04 +0000 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) |
| 2024-05-12 09:57:58 +0000 | sandbag | (~syscall@user/sandbag) (Ping timeout: 268 seconds) |
| 2024-05-12 10:09:33 +0000 | mailman | (~mailman@116.71.176.122) (Quit: Client closed) |
| 2024-05-12 10:10:28 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-05-12 10:12:55 +0000 | madariaga | (~madariaga@user/madariaga) (Quit: madariaga) |
| 2024-05-12 10:17:37 +0000 | mailman | (~mailman@116.71.176.122) |
| 2024-05-12 10:21:32 +0000 | mailman | (~mailman@116.71.176.122) (Client Quit) |
| 2024-05-12 10:29:21 +0000 | mailman | (~mailman@116.71.176.122) |
| 2024-05-12 10:30:42 +0000 | mailman | (~mailman@116.71.176.122) (Client Quit) |
| 2024-05-12 10:31:36 +0000 | mailman | (~mailman@116.71.176.122) |
| 2024-05-12 10:31:39 +0000 | __monty__ | (~toonn@user/toonn) |
| 2024-05-12 10:35:08 +0000 | mailman98 | (~mailman@116.71.176.122) |
| 2024-05-12 10:38:46 +0000 | mei | (~mei@user/mei) |
| 2024-05-12 10:40:07 +0000 | mailman | (~mailman@116.71.176.122) (Quit: Client closed) |
| 2024-05-12 10:40:51 +0000 | mailman | (~mailman@116.71.176.122) |
| 2024-05-12 10:44:05 +0000 | mailman | (~mailman@116.71.176.122) (Client Quit) |
| 2024-05-12 10:46:41 +0000 | Guest_Plonker | (~Guest_Plo@84.67.69.72) |
| 2024-05-12 10:48:15 +0000 | mailman98 | (~mailman@116.71.176.122) (Quit: Client closed) |
| 2024-05-12 10:50:33 +0000 | <Guest_Plonker> | I'm really intrigued by the idea of learning Haskell, but i'm a software engineering minimalist and the compiler on my linux distro package manager wants to pull in well over a GB of libraries and other programs. Has anyone got advice for getting that figure down to a couple hundred MB at most? |
| 2024-05-12 10:52:15 +0000 | <mauke> | ghc just is that chonky |
| 2024-05-12 10:52:39 +0000 | <mauke> | you could checkout hugs, but that hasn't been maintained in a decade or so |
| 2024-05-12 10:52:57 +0000 | <mauke> | there's also microhs, but no idea how production ready that is |
| 2024-05-12 10:57:28 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 2024-05-12 10:59:19 +0000 | <Guest_Plonker> | MicroHs looks interesting. I'll give it a try. Thanks for the suggestion. |
| 2024-05-12 11:00:57 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-05-12 11:01:41 +0000 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) (Ping timeout: 240 seconds) |
| 2024-05-12 11:02:20 +0000 | euleritian | (~euleritia@dynamic-176-001-002-149.176.1.pool.telefonica.de) |
| 2024-05-12 11:02:39 +0000 | mrmr1553343 | (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
| 2024-05-12 11:02:57 +0000 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) (Quit: WeeChat 4.2.2) |
| 2024-05-12 11:03:23 +0000 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) |
| 2024-05-12 11:10:58 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-05-12 11:11:46 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-05-12 11:20:14 +0000 | euleritian | (~euleritia@dynamic-176-001-002-149.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-12 11:20:34 +0000 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) |
| 2024-05-12 11:28:15 +0000 | mrmr1553343 | (~mrmr@user/mrmr) |
| 2024-05-12 11:29:21 +0000 | Ram-Z | (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) (Quit: ZNC - http://znc.in) |
| 2024-05-12 11:29:54 +0000 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) (Read error: Connection reset by peer) |
| 2024-05-12 11:30:49 +0000 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) |
| 2024-05-12 11:32:03 +0000 | Ram-Z | (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) |
| 2024-05-12 11:33:11 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2024-05-12 11:42:59 +0000 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) (Ping timeout: 272 seconds) |
| 2024-05-12 11:47:02 +0000 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-05-12 11:50:18 +0000 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) |
| 2024-05-12 11:54:43 +0000 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) (Ping timeout: 260 seconds) |
| 2024-05-12 11:55:33 +0000 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) |
| 2024-05-12 12:11:17 +0000 | micro | (~micro@user/micro) (Ping timeout: 252 seconds) |
| 2024-05-12 12:16:11 +0000 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) (Ping timeout: 260 seconds) |
| 2024-05-12 12:16:36 +0000 | euleritian | (~euleritia@dynamic-176-001-002-149.176.1.pool.telefonica.de) |
| 2024-05-12 12:25:15 +0000 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-05-12 12:28:53 +0000 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2024-05-12 12:32:44 +0000 | danza_ | (~francesco@151.35.207.170) |
| 2024-05-12 13:00:45 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-12 13:02:12 +0000 | euleritian | (~euleritia@dynamic-176-001-002-149.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-12 13:02:32 +0000 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) |
| 2024-05-12 13:13:09 +0000 | laker | (~laker78@user/laker78) (Quit: My VPS is down.. email me if you know it) |
| 2024-05-12 13:14:18 +0000 | laker | (~laker78@user/laker78) |
| 2024-05-12 13:17:50 +0000 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) (Ping timeout: 252 seconds) |
| 2024-05-12 13:18:07 +0000 | euleritian | (~euleritia@dynamic-176-003-086-150.176.3.pool.telefonica.de) |
| 2024-05-12 13:20:30 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-12 13:37:48 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-05-12 13:50:37 +0000 | ocra8 | (ocra8@user/ocra8) |
| 2024-05-12 14:00:03 +0000 | stef204 | (~stef204@user/stef204) |
| 2024-05-12 14:01:49 +0000 | stef204 | (~stef204@user/stef204) (Client Quit) |
| 2024-05-12 14:02:11 +0000 | euleritian | (~euleritia@dynamic-176-003-086-150.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-12 14:03:10 +0000 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) |
| 2024-05-12 14:04:36 +0000 | syscall1 | (~syscall@2409:40c1:500a:30b2:fc32:6973:f231:ca65) |
| 2024-05-12 14:04:55 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-12 14:07:53 +0000 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) (Ping timeout: 252 seconds) |
| 2024-05-12 14:08:02 +0000 | euleritian | (~euleritia@dynamic-176-003-086-150.176.3.pool.telefonica.de) |
| 2024-05-12 14:12:05 +0000 | euleritian | (~euleritia@dynamic-176-003-086-150.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-12 14:12:25 +0000 | syscall1 | (~syscall@2409:40c1:500a:30b2:fc32:6973:f231:ca65) (Quit: WeeChat 4.2.2) |
| 2024-05-12 14:12:28 +0000 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) |
| 2024-05-12 14:19:37 +0000 | sandbag | (~syscall@user/sandbag) |
| 2024-05-12 14:20:43 +0000 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 2024-05-12 14:23:17 +0000 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) (Ping timeout: 252 seconds) |
| 2024-05-12 14:25:14 +0000 | [exa] | (~exa@user/exa/x-3587197) |
| 2024-05-12 14:25:52 +0000 | euleritian | (~euleritia@dynamic-176-003-086-150.176.3.pool.telefonica.de) |
| 2024-05-12 14:32:52 +0000 | euleritian | (~euleritia@dynamic-176-003-086-150.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-12 14:33:13 +0000 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) |
| 2024-05-12 14:41:56 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-12 14:44:50 +0000 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2024-05-12 14:48:30 +0000 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2024-05-12 14:50:34 +0000 | jrm | (~jrm@user/jrm) |
| 2024-05-12 15:04:32 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-05-12 15:05:24 +0000 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) (Ping timeout: 255 seconds) |
| 2024-05-12 15:07:24 +0000 | euleritian | (~euleritia@dynamic-176-003-089-231.176.3.pool.telefonica.de) |
| 2024-05-12 15:09:37 +0000 | euleritian | (~euleritia@dynamic-176-003-089-231.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-12 15:09:49 +0000 | euleritian | (~euleritia@dynamic-176-003-089-231.176.3.pool.telefonica.de) |
| 2024-05-12 15:10:57 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-05-12 15:11:27 +0000 | rvalue | (~rvalue@user/rvalue) |
| 2024-05-12 15:11:40 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-12 15:12:32 +0000 | euleritian | (~euleritia@dynamic-176-003-089-231.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-12 15:13:03 +0000 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) |
| 2024-05-12 15:21:42 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 256 seconds) |
| 2024-05-12 15:24:32 +0000 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) (Ping timeout: 256 seconds) |
| 2024-05-12 15:24:39 +0000 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2024-05-12 15:25:28 +0000 | euleritian | (~euleritia@dynamic-176-003-089-231.176.3.pool.telefonica.de) |
| 2024-05-12 15:27:21 +0000 | Guest87 | (~Guest87@2a02:3100:1463:1900:a93a:7295:4380:6c12) |
| 2024-05-12 15:28:45 +0000 | Guest87 | (~Guest87@2a02:3100:1463:1900:a93a:7295:4380:6c12) (Client Quit) |
| 2024-05-12 15:29:32 +0000 | rvalue | (~rvalue@user/rvalue) |
| 2024-05-12 15:41:22 +0000 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) |
| 2024-05-12 15:43:43 +0000 | <glguy> | Hecate: yeah, send it in |
| 2024-05-12 15:47:08 +0000 | <glguy> | Just ping me here. I haven't used that in a while and it's not on my radar |
| 2024-05-12 15:58:32 +0000 | <Hecate> | glguy: <3 |
| 2024-05-12 15:59:45 +0000 | yin | (~yin@user/zero) |
| 2024-05-12 16:01:39 +0000 | sandbag | (~syscall@user/sandbag) (Ping timeout: 255 seconds) |
| 2024-05-12 16:13:58 +0000 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-05-12 16:16:53 +0000 | danza_ | (~francesco@151.35.207.170) (Ping timeout: 240 seconds) |
| 2024-05-12 16:29:49 +0000 | rvalue | (~rvalue@user/rvalue) (Quit: ZNC - https://znc.in) |
| 2024-05-12 16:36:46 +0000 | xdminsy | (~xdminsy@117.147.70.240) (Ping timeout: 246 seconds) |
| 2024-05-12 16:37:50 +0000 | xdminsy | (~xdminsy@117.147.70.240) |
| 2024-05-12 16:40:40 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-05-12 16:41:41 +0000 | destituion | (~destituio@2a02:2121:2c4:e7b9:2895:2152:25e1:7ece) (Read error: Connection reset by peer) |
| 2024-05-12 16:42:45 +0000 | destituion | (~destituio@2001:4644:c37:0:6086:64f4:a213:b80d) |
| 2024-05-12 16:46:35 +0000 | rvalue | (~rvalue@user/rvalue) |
| 2024-05-12 16:52:07 +0000 | yin_ | (~yin@user/zero) |
| 2024-05-12 16:54:04 +0000 | xdminsy | (~xdminsy@117.147.70.240) (Ping timeout: 260 seconds) |
| 2024-05-12 16:54:59 +0000 | xdminsy | (~xdminsy@117.147.70.240) |
| 2024-05-12 16:56:07 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2024-05-12 17:17:39 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-12 17:18:17 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-12 17:22:25 +0000 | <dminuoso> | Yeah, Haskell is not something for the minimalist type. |
| 2024-05-12 17:22:32 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-05-12 17:23:45 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-12 17:23:45 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-12 17:25:41 +0000 | <glguy> | Hecate: I think the main thing is going to be to update it to work on alex-tools 0.6 |
| 2024-05-12 17:26:21 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-12 17:28:44 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-12 17:29:59 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-12 17:31:38 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-12 17:33:13 +0000 | remedan | (~remedan@ip-78-102-118-253.bb.vodafone.cz) (Ping timeout: 272 seconds) |
| 2024-05-12 17:33:21 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-12 17:35:01 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-05-12 17:35:49 +0000 | remedan | (~remedan@ip-78-102-118-253.bb.vodafone.cz) |
| 2024-05-12 17:37:14 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-12 17:37:36 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-12 17:39:20 +0000 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) (Quit: WeeChat 4.2.2) |
| 2024-05-12 17:41:29 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 2024-05-12 17:41:40 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Client Quit) |
| 2024-05-12 17:43:27 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-12 17:44:11 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-12 17:46:04 +0000 | <Hecate> | glguy :/9 |
| 2024-05-12 17:46:07 +0000 | <Hecate> | damnit |
| 2024-05-12 17:46:14 +0000 | <Hecate> | glguy: thanks for merging |
| 2024-05-12 17:47:54 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-05-12 17:50:49 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 256 seconds) |
| 2024-05-12 17:51:00 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-12 17:51:01 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-05-12 17:51:18 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-12 17:56:36 +0000 | euleritian | (~euleritia@dynamic-176-003-089-231.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-12 17:56:48 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-05-12 17:56:55 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-05-12 18:01:51 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-12 18:03:16 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-12 18:03:34 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-05-12 18:12:36 +0000 | pavonia | (~user@user/siracusa) |
| 2024-05-12 18:12:56 +0000 | <EvanR> | Guest_Plonker, the C language development tools are also pretty chonky. If they come with your distribution, that may give a false impression of minimalism |
| 2024-05-12 18:13:33 +0000 | <EvanR> | anywhere you look it's hard to miss the tower of support software we rely on |
| 2024-05-12 18:13:50 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-05-12 18:13:52 +0000 | <EvanR> | but I guess you have to look over the edge of the tower and it's scary |
| 2024-05-12 18:17:03 +0000 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-05-12 18:17:59 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-05-12 18:19:19 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-05-12 18:26:19 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-05-12 18:46:02 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-05-12 18:46:11 +0000 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) |
| 2024-05-12 18:49:27 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-05-12 18:58:12 +0000 | destituion | (~destituio@2001:4644:c37:0:6086:64f4:a213:b80d) (Ping timeout: 260 seconds) |
| 2024-05-12 18:58:12 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Read error: Connection reset by peer) |
| 2024-05-12 18:58:43 +0000 | destituion | (~destituio@2a02:2121:2c4:e7b9:2895:2152:25e1:7ece) |
| 2024-05-12 18:59:37 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2024-05-12 19:01:14 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
| 2024-05-12 19:05:33 +0000 | <Guest_Plonker> | While i don't disagree with you in general, i'm used to far more lightweight than GBs. gcc and build-essentials is maybe a couple hundred MB at most, on a linux-from-scratch (or equivalent). Then, once you can bootstrap C, you can get a simple Scheme Lisp in a single MB. |
| 2024-05-12 19:07:07 +0000 | <Hecate> | Guest_Plonker: which distro do you use btw? |
| 2024-05-12 19:07:34 +0000 | <Guest_Plonker> | Debian, mostly. |
| 2024-05-12 19:08:06 +0000 | <Hecate> | ok |
| 2024-05-12 19:10:29 +0000 | <masterbuilder> | Guest_Plonker: Do you mean the system package? It's under a GB for me |
| 2024-05-12 19:10:37 +0000 | <masterbuilder> | including libraries |
| 2024-05-12 19:10:54 +0000 | <masterbuilder> | But yeah get used to haskell eating up disk space |
| 2024-05-12 19:12:36 +0000 | <Guest_Plonker> | That's fine, if that's the way it has to be, though i still plan to look into MicroHs |
| 2024-05-12 19:12:46 +0000 | <masterbuilder> | By all means! |
| 2024-05-12 19:15:02 +0000 | michalz | (~michalz@185.246.207.197) |
| 2024-05-12 19:18:08 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2024-05-12 19:24:02 +0000 | Guest_Plonker | (~Guest_Plo@84.67.69.72) (Quit: Client closed) |
| 2024-05-12 19:37:53 +0000 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 252 seconds) |
| 2024-05-12 19:38:10 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-12 19:38:50 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-05-12 19:39:23 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-12 19:41:19 +0000 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) (Quit: WeeChat 3.8) |
| 2024-05-12 19:47:05 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-05-12 20:01:46 +0000 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2024-05-12 20:29:27 +0000 | <[exa]> | MicroHs is not very production-like but it's extremely <3 lovely <3 |
| 2024-05-12 20:33:32 +0000 | <[exa]> | actually its RTS has a small C interpreter for the combinators, but I found that might be completely unnecessary |
| 2024-05-12 20:45:24 +0000 | xdminsy | (~xdminsy@117.147.70.240) (Read error: Connection reset by peer) |
| 2024-05-12 21:02:02 +0000 | michalz | (~michalz@185.246.207.197) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-12 21:12:55 +0000 | Square | (~Square@user/square) |
| 2024-05-12 21:18:35 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-05-12 21:19:31 +0000 | ocra8 | (ocra8@user/ocra8) (Quit: WeeChat 4.2.2) |
| 2024-05-12 21:20:11 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-12 21:22:26 +0000 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2024-05-12 21:24:23 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-12 21:28:16 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-12 21:31:12 +0000 | <dmj`> | [exa]: how so |
| 2024-05-12 21:37:57 +0000 | <raehik> | I have a type synonym `type X :: (a, b, c) -> _`. GHC tells me I can't write `type X '(a, b, c) = _` because type declarations can't look like that. Is there any way around this? |
| 2024-05-12 21:43:24 +0000 | <ncf> | raehik: type family X (x :: (a, b, c)) :: Type where X '(a, b, c) = _ |
| 2024-05-12 21:43:56 +0000 | <raehik> | ncf: yeah that's all I can think of. I can't use a type family here because I need to use this type synonym in a class instance :( |
| 2024-05-12 21:44:36 +0000 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
| 2024-05-12 21:51:19 +0000 | <ncf> | raehik: what are you trying to achieve? |
| 2024-05-12 21:52:48 +0000 | <raehik> | I wrote a type-level symbol parser lib that passes around parsers made of type-level tuples |
| 2024-05-12 21:52:56 +0000 | <raehik> | https://github.com/raehik/symparsec |
| 2024-05-12 21:53:50 +0000 | <raehik> | I want to permit reifying these type-level parsers, but that limits the form parsers can take. specifically, they can't be type families or "type synonym families" (use type families inside) |
| 2024-05-12 21:54:52 +0000 | <raehik> | doesn't work for combinator parsers because I need to "unwrap" inner parsers and can't do that as above :( |
| 2024-05-12 21:56:23 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-05-12 22:00:51 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-05-12 22:01:03 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-12 22:02:13 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-05-12 22:05:15 +0000 | yin_ | (~yin@user/zero) (Ping timeout: 255 seconds) |
| 2024-05-12 22:11:19 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-05-12 22:15:15 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-05-12 22:21:04 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2024-05-12 22:21:32 +0000 | yin_ | (~yin@user/zero) |
| 2024-05-12 22:21:48 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-12 22:37:04 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-05-12 22:38:05 +0000 | acidjnk_new | (~acidjnk@p200300d6e714dc538d2f4966c160723d.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2024-05-12 22:41:42 +0000 | yin_ | (~yin@user/zero) (Ping timeout: 255 seconds) |
| 2024-05-12 22:43:38 +0000 | yin_ | (~yin@user/zero) |
| 2024-05-12 22:53:38 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-05-12 22:53:46 +0000 | yin_ | zzz |
| 2024-05-12 22:54:20 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-05-12 22:54:52 +0000 | euleritian | (~euleritia@dynamic-176-006-176-035.176.6.pool.telefonica.de) |
| 2024-05-12 22:58:21 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-05-12 23:02:23 +0000 | yin | (~yin@user/zero) (Ping timeout: 264 seconds) |
| 2024-05-12 23:05:33 +0000 | yin | (~yin@user/zero) |
| 2024-05-12 23:21:57 +0000 | phma_ | (~phma@2001:5b0:211b:f8f8:8558:8264:69ae:a8e6) |
| 2024-05-12 23:22:40 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-05-12 23:24:29 +0000 | phma | (phma@2001:5b0:211f:3048:948d:80d2:e152:3a7b) (Ping timeout: 240 seconds) |
| 2024-05-12 23:26:08 +0000 | yin | (~yin@user/zero) (Ping timeout: 252 seconds) |
| 2024-05-12 23:27:33 +0000 | yin | (~yin@user/zero) |
| 2024-05-12 23:31:57 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2024-05-12 23:35:41 +0000 | yin | (~yin@user/zero) (Ping timeout: 240 seconds) |
| 2024-05-12 23:39:09 +0000 | yin | (~yin@user/zero) |
| 2024-05-12 23:44:21 +0000 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-05-12 23:52:35 +0000 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 272 seconds) |
| 2024-05-12 23:58:21 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |