| 2024-04-09 00:01:16 +0200 | <ski> | (was that a `/me' ?) |
| 2024-04-09 00:01:53 +0200 | nickiminjaj | (~nickiminj@188.146.120.15) |
| 2024-04-09 00:01:53 +0200 | nickiminjaj | (~nickiminj@188.146.120.15) (Changing host) |
| 2024-04-09 00:01:53 +0200 | nickiminjaj | (~nickiminj@user/laxhh) |
| 2024-04-09 00:04:25 +0200 | <sm> | it was, ski |
| 2024-04-09 00:05:50 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-04-09 00:06:47 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-04-09 00:08:03 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 00:08:27 +0200 | nickiminjaj | (~nickiminj@user/laxhh) (Quit: Textual IRC Client: www.textualapp.com) |
| 2024-04-09 00:08:29 +0200 | gmg | (~user@user/gehmehgeh) (Client Quit) |
| 2024-04-09 00:10:56 +0200 | Pixi | (~Pixi@user/pixi) (Ping timeout: 268 seconds) |
| 2024-04-09 00:14:52 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-09 00:17:48 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 00:24:28 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-09 00:30:30 +0200 | Pixi | (~Pixi@user/pixi) |
| 2024-04-09 00:33:22 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-04-09 00:35:13 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 00:36:21 +0200 | <Inst> | yeah i stuff them in there too, especially once type errors pop up |
| 2024-04-09 00:39:57 +0200 | <Inst> | wait, are free monads still horribly unperformant? |
| 2024-04-09 00:40:15 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 260 seconds) |
| 2024-04-09 00:40:25 +0200 | <Inst> | like, every time you semicolon, you add another layer of free monads? |
| 2024-04-09 00:44:23 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-09 00:44:40 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 00:48:41 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-04-09 00:48:46 +0200 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
| 2024-04-09 00:48:46 +0200 | califax_ | (~califax@user/califx) |
| 2024-04-09 00:50:02 +0200 | califax_ | califax |
| 2024-04-09 00:53:23 +0200 | sp1ff | (~user@c-24-21-45-157.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 2024-04-09 00:53:37 +0200 | sp1ff | (~user@c-24-21-45-157.hsd1.wa.comcast.net) |
| 2024-04-09 00:54:56 +0200 | helle | (~helle@user/meow/Helle) |
| 2024-04-09 00:55:21 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-04-09 01:00:54 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds) |
| 2024-04-09 01:02:09 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-04-09 01:03:46 +0200 | Square | (~Square4@user/square) (Ping timeout: 246 seconds) |
| 2024-04-09 01:05:29 +0200 | philopsos | (~caecilius@user/philopsos) (Quit: Lost terminal) |
| 2024-04-09 01:08:11 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-13-184-148-6-204.dsl.bell.ca) |
| 2024-04-09 01:08:41 +0200 | docrdoac^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2024-04-09 01:11:14 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-04-09 01:13:41 +0200 | sus | (1b7af6299f@user/zeromomentum) (Ping timeout: 240 seconds) |
| 2024-04-09 01:14:05 +0200 | lane | (809450f172@2a03:6000:1812:100::1300) (Ping timeout: 240 seconds) |
| 2024-04-09 01:14:37 +0200 | wryish | (~wryish@2605:4c40:119:efa3:0:727d:19eb:1) (Quit: %blank%) |
| 2024-04-09 01:14:54 +0200 | wryish | (~wryish@2605:4c40:119:efa3:0:727d:19eb:1) |
| 2024-04-09 01:15:18 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-04-09 01:16:29 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-04-09 01:16:36 +0200 | lane | (809450f172@2a03:6000:1812:100::1300) |
| 2024-04-09 01:16:37 +0200 | sus | (1b7af6299f@user/zeromomentum) |
| 2024-04-09 01:18:29 +0200 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) (Ping timeout: 240 seconds) |
| 2024-04-09 01:18:55 +0200 | mei | (~mei@user/mei) |
| 2024-04-09 01:18:59 +0200 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) |
| 2024-04-09 01:20:09 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-2678-8497-aa5c-7fa9.res6.spectrum.com) (Remote host closed the connection) |
| 2024-04-09 01:20:30 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-2678-8497-aa5c-7fa9.res6.spectrum.com) |
| 2024-04-09 01:20:31 +0200 | <Inst> | wait |
| 2024-04-09 01:20:46 +0200 | <Inst> | if you rebuild free monads on a binary tree structure, don't you just end up with... hell, you don't even need binary trees |
| 2024-04-09 01:20:50 +0200 | <Inst> | you literally end up with a lisp |
| 2024-04-09 01:20:51 +0200 | <Inst> | hahahahaa |
| 2024-04-09 01:23:12 +0200 | <Inst> | nah, you don't even need that, can just define an AST via data declaration |
| 2024-04-09 01:24:08 +0200 | migas97 | (~migas@static.140.65.63.178.clients.your-server.de) (Quit: The Lounge - https://thelounge.github.io) |
| 2024-04-09 01:24:28 +0200 | migas97 | (~migas@static.140.65.63.178.clients.your-server.de) |
| 2024-04-09 01:25:41 +0200 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) (Ping timeout: 240 seconds) |
| 2024-04-09 01:25:58 +0200 | <geekosaur> | yes? |
| 2024-04-09 01:26:10 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc9124c21742e07a126c.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-04-09 01:26:12 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 260 seconds) |
| 2024-04-09 01:26:52 +0200 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) |
| 2024-04-09 01:37:59 +0200 | kimiamania | (~671c7418@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 2024-04-09 01:38:23 +0200 | kimiamania | (~671c7418@user/kimiamania) |
| 2024-04-09 01:38:59 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-04-09 01:39:16 +0200 | img | (~img@user/img) |
| 2024-04-09 01:47:11 +0200 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-04-09 01:47:28 +0200 | <Inst> | sorry ;_; |
| 2024-04-09 01:47:55 +0200 | <Inst> | just had occasion to share this link, and was going over it |
| 2024-04-09 01:47:56 +0200 | <Inst> | https://fumieval.hatenablog.com/entry/20121111/1352624678 |
| 2024-04-09 01:48:49 +0200 | <Inst> | i guess i'm at the stage where i finally learned to love monads |
| 2024-04-09 01:49:50 +0200 | <Inst> | i'm thinking about LogicT / ListT right now, and I'm wondering if people use the nondeterminism to manage concurrency |
| 2024-04-09 01:50:56 +0200 | <geekosaur> | it's not that kind of nondeterminism. it's not so much "randomness" as "all possible solutions, unbiased" |
| 2024-04-09 01:51:10 +0200 | <Inst> | i hated the term nondeterminism |
| 2024-04-09 01:51:15 +0200 | <Inst> | choice, i guess |
| 2024-04-09 01:51:46 +0200 | shoggouth | (uid607148@user/shoggouth) (Quit: Connection closed for inactivity) |
| 2024-04-09 01:51:48 +0200 | <Inst> | but LogicT / List monad is very impressive because StateT / ReaderT / WriterT really only give you back capabilities you had in imperative programming, although WriterT is interesting |
| 2024-04-09 01:52:02 +0200 | <geekosaur> | (but, being a computer, there si in fact internal order, you just don't have access to that order in your code) |
| 2024-04-09 01:52:26 +0200 | <Inst> | LogicT / List monad is closer to logic programming--it's offering something totally different |
| 2024-04-09 01:52:34 +0200 | <geekosaur> | yes |
| 2024-04-09 01:53:01 +0200 | <Inst> | and even working with only [], you can still use sequenceA to spin up a bunch of threads with forkIO or some safer concurrency abstractions |
| 2024-04-09 01:53:20 +0200 | <Inst> | mapConcurrently springs to mind |
| 2024-04-09 01:54:38 +0200 | <geekosaur> | have you looked at Control.Parallel.Strategies? |
| 2024-04-09 01:54:39 +0200 | arahael | (~arahael@119-18-1-21.771201.syd.nbn.aussiebb.net) (Ping timeout: 272 seconds) |
| 2024-04-09 01:55:04 +0200 | ftweedal | (~ftweedal@159.196.12.92) (Ping timeout: 255 seconds) |
| 2024-04-09 01:55:11 +0200 | <Inst> | But that also explains the weird model SPJ et al did in Verse |
| 2024-04-09 01:55:28 +0200 | <Inst> | it's basically just a ListT / LogicT eDSL |
| 2024-04-09 01:55:55 +0200 | <Inst> | you mean usingIO? |
| 2024-04-09 01:56:48 +0200 | ftweedal | (~ftweedal@159.196.12.92) |
| 2024-04-09 01:57:21 +0200 | <geekosaur> | actually I meant the non-IO ones |
| 2024-04-09 01:57:30 +0200 | <geekosaur> | parallelism without forkIO |
| 2024-04-09 01:58:12 +0200 | pavonia | (~user@user/siracusa) |
| 2024-04-09 01:58:53 +0200 | <Inst> | I can use the spark parallelism with difficulty |
| 2024-04-09 01:59:10 +0200 | <Inst> | but I was more thinking about concurrency controlled in LogicT |
| 2024-04-09 01:59:17 +0200 | <Inst> | because that is still absolutely mind-blowing |
| 2024-04-09 01:59:44 +0200 | <geekosaur> | tbh I've thought more about concurrency via Cont than via LogicT |
| 2024-04-09 02:01:07 +0200 | <Inst> | why Cont? |
| 2024-04-09 02:02:30 +0200 | <Inst> | actually, come to think of it, why isn't there a ConcurrentT? |
| 2024-04-09 02:02:45 +0200 | <geekosaur> | every time you invoke your continuation you yield, and potentially a different computation can run. |
| 2024-04-09 02:02:48 +0200 | <Inst> | I guess it's because Cont is mother of all monads? |
| 2024-04-09 02:03:09 +0200 | <geekosaur> | I recognized this back before I even knew about continuations as such |
| 2024-04-09 02:04:12 +0200 | <geekosaur> | (having "there's gotta be a better way" thoughts while working on JNOS/Linux in the 90s; JNOS did cooperative multitasking, uglily) |
| 2024-04-09 02:05:53 +0200 | <geekosaur> | anyway, instead of yielding to the continuation's caller (via runCont or etc.) you yield to a continuation scheduler which runs other continuations and eventually resumes the continuation you yielded |
| 2024-04-09 02:06:00 +0200 | <Inst> | mhm |
| 2024-04-09 02:06:09 +0200 | <geekosaur> | freebsd experimented with a threading model based on this for a while |
| 2024-04-09 02:09:45 +0200 | <geekosaur> | I was talking with someone earlier today who implemented threading in Idris this way, too |
| 2024-04-09 02:10:12 +0200 | <geekosaur> | sorry, last night my time |
| 2024-04-09 02:12:43 +0200 | <Inst> | basic problem is still the RTS and existing threading system, unless you think (and I am completely, not only somewhat, out of my depth to judge) delimited continuations fixed this |
| 2024-04-09 02:13:29 +0200 | <geekosaur> | well, they're by necessity cooperative threading since you need to explicitly yield |
| 2024-04-09 02:13:41 +0200 | <geekosaur> | so this is something you would use in the absence of proper threads |
| 2024-04-09 02:14:41 +0200 | <geekosaur> | (or when working with code written with such an assumption, as with JNOS/Linux; it was a port from DOS and had its own cooperative threading system, and had zero chance of working with real threads) |
| 2024-04-09 02:15:30 +0200 | <c_wraith> | and then you override all syscalls to implicitly yield. |
| 2024-04-09 02:17:09 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2024-04-09 02:21:43 +0200 | <geekosaur> | not just syscalls, it implemented its own userspace TCP/IP, multiple virtual consoles, etc. all of those assumed exclusive access to data structures |
| 2024-04-09 02:22:04 +0200 | <geekosaur> | no locking whatsoever, it was assumed that at yield time everything was up to date and consistent |
| 2024-04-09 02:23:20 +0200 | <Inst> | "90s" |
| 2024-04-09 02:23:25 +0200 | <geekosaur> | although I suppose by syscall you could mean those routines, but as written they weren't sufficiently encapsulated. (very old code expecting to run on DOS…) |
| 2024-04-09 02:23:42 +0200 | tertek | (~tertek@user/tertek) (Quit: %quit%) |
| 2024-04-09 02:23:49 +0200 | <geekosaur> | 80s even |
| 2024-04-09 02:24:02 +0200 | tertek | (~tertek@user/tertek) |
| 2024-04-09 02:24:26 +0200 | <geekosaur> | but then, DOS. not like it had real OS services or threading to call upon |
| 2024-04-09 02:26:44 +0200 | sam113102 | (~sam@24.157.253.231) |
| 2024-04-09 02:26:55 +0200 | pnoumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-04-09 02:27:05 +0200 | <Inst> | https://www.langelaar.net/jnos2/documents/about.html ? |
| 2024-04-09 02:27:51 +0200 | zfnmxt | (~zfnmxt@107.189.30.63) (Ping timeout: 252 seconds) |
| 2024-04-09 02:27:51 +0200 | dispater- | (~dispater@mail.brprice.uk) (Ping timeout: 252 seconds) |
| 2024-04-09 02:27:54 +0200 | <geekosaur> | yep |
| 2024-04-09 02:28:08 +0200 | doyougnu- | (~doyougnu@045-046-170-068.res.spectrum.com) |
| 2024-04-09 02:28:09 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) |
| 2024-04-09 02:28:11 +0200 | dispater | (~dispater@mail.brprice.uk) |
| 2024-04-09 02:29:05 +0200 | hc | (~hc@mail.hce.li) |
| 2024-04-09 02:29:18 +0200 | mniip_ | (mniip@libera/staff/mniip) |
| 2024-04-09 02:29:36 +0200 | JamesMowery1 | (~JamesMowe@ip98-171-80-211.ph.ph.cox.net) |
| 2024-04-09 02:29:39 +0200 | drdo8 | (~drdo@bl5-29-74.dsl.telepac.pt) |
| 2024-04-09 02:29:45 +0200 | doyougnu | (~doyougnu@045-046-170-068.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-04-09 02:29:45 +0200 | flocks_ | (~flocks@134.122.90.60) (Ping timeout: 252 seconds) |
| 2024-04-09 02:29:45 +0200 | foul_owl | (~kerry@157.97.134.168) (Ping timeout: 252 seconds) |
| 2024-04-09 02:29:45 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Ping timeout: 252 seconds) |
| 2024-04-09 02:29:46 +0200 | sp1ff | (~user@c-24-21-45-157.hsd1.wa.comcast.net) (Ping timeout: 252 seconds) |
| 2024-04-09 02:29:46 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 252 seconds) |
| 2024-04-09 02:29:46 +0200 | tomboy65 | (~tomboy64@user/tomboy64) (Ping timeout: 252 seconds) |
| 2024-04-09 02:29:46 +0200 | TonyStone31 | (~TonyStone@user/TonyStone) (Ping timeout: 252 seconds) |
| 2024-04-09 02:29:46 +0200 | hc_ | (~hc@mail.hce.li) (Ping timeout: 252 seconds) |
| 2024-04-09 02:29:46 +0200 | sam113101 | (~sam@24.157.253.231) (Ping timeout: 252 seconds) |
| 2024-04-09 02:29:46 +0200 | JamesMowery | (~JamesMowe@ip98-171-80-211.ph.ph.cox.net) (Ping timeout: 252 seconds) |
| 2024-04-09 02:29:46 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Ping timeout: 252 seconds) |
| 2024-04-09 02:29:46 +0200 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-04-09 02:29:46 +0200 | drdo | (~drdo@bl5-29-74.dsl.telepac.pt) (Ping timeout: 252 seconds) |
| 2024-04-09 02:29:46 +0200 | mikko | (~mikko@user/mikko) (Ping timeout: 252 seconds) |
| 2024-04-09 02:29:46 +0200 | _xor | (~xor@ip-208-102-243-175.dynamic.fuse.net) (Ping timeout: 252 seconds) |
| 2024-04-09 02:29:46 +0200 | helle | (~helle@user/meow/Helle) (Ping timeout: 252 seconds) |
| 2024-04-09 02:29:46 +0200 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (Ping timeout: 252 seconds) |
| 2024-04-09 02:29:46 +0200 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) (Ping timeout: 252 seconds) |
| 2024-04-09 02:29:46 +0200 | tdammers | (~tdammers@219-131-178-143.ftth.glasoperator.nl) (Ping timeout: 252 seconds) |
| 2024-04-09 02:29:46 +0200 | andjjj23 | (~irc@107.170.228.47) (Ping timeout: 252 seconds) |
| 2024-04-09 02:29:46 +0200 | siers69 | (~ij@user/ij) (Ping timeout: 252 seconds) |
| 2024-04-09 02:29:48 +0200 | drdo8 | drdo |
| 2024-04-09 02:29:48 +0200 | JamesMowery1 | JamesMowery |
| 2024-04-09 02:29:50 +0200 | sam113102 | sam113101 |
| 2024-04-09 02:29:53 +0200 | mniip | (mniip@libera/staff/mniip) (Read error: Connection reset by peer) |
| 2024-04-09 02:29:55 +0200 | _xor | (~xor@ip-208-102-243-175.dynamic.fuse.net) |
| 2024-04-09 02:30:03 +0200 | B-J | (~BenziJuni@232-148-209-31.dynamic.hringdu.is) (Ping timeout: 252 seconds) |
| 2024-04-09 02:30:03 +0200 | bliminse | (~bliminse@user/bliminse) (Ping timeout: 252 seconds) |
| 2024-04-09 02:30:03 +0200 | acarrico | (~acarrico@dhcp-68-142-49-163.greenmountainaccess.net) (Ping timeout: 252 seconds) |
| 2024-04-09 02:30:03 +0200 | Moyst_ | (~moyst@user/moyst) (Ping timeout: 252 seconds) |
| 2024-04-09 02:30:12 +0200 | sp1ff` | (~user@c-24-21-45-157.hsd1.wa.comcast.net) |
| 2024-04-09 02:30:19 +0200 | bliminse | (~bliminse@user/bliminse) |
| 2024-04-09 02:30:28 +0200 | helle | (~helle@193.33.150.48) |
| 2024-04-09 02:30:28 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2024-04-09 02:30:39 +0200 | siers | (~ij@user/ij) |
| 2024-04-09 02:30:39 +0200 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) |
| 2024-04-09 02:30:39 +0200 | ChanServ | +v haskellbridge |
| 2024-04-09 02:30:45 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2024-04-09 02:30:48 +0200 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) |
| 2024-04-09 02:30:51 +0200 | TonyStone31 | (~TonyStone@user/TonyStone) |
| 2024-04-09 02:31:09 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) |
| 2024-04-09 02:31:16 +0200 | acarrico | (~acarrico@dhcp-68-142-49-163.greenmountainaccess.net) |
| 2024-04-09 02:31:18 +0200 | Moyst_ | (~moyst@user/moyst) |
| 2024-04-09 02:31:27 +0200 | Benzi-Junior | (~BenziJuni@232-148-209-31.dynamic.hringdu.is) |
| 2024-04-09 02:31:35 +0200 | andjjj23 | (~irc@107.170.228.47) |
| 2024-04-09 02:31:56 +0200 | flocks | (~flocks@134.122.90.60) |
| 2024-04-09 02:32:57 +0200 | sanpo | (~sanpo@user/sanpo) |
| 2024-04-09 02:35:11 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-04-09 02:37:36 +0200 | mei | (~mei@user/mei) |
| 2024-04-09 02:42:13 +0200 | tdammers | (~tdammers@219-131-178-143.ftth.glasoperator.nl) |
| 2024-04-09 02:42:13 +0200 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) |
| 2024-04-09 02:42:44 +0200 | mikko | (~mikko@dsl-trebng22-58c1a8-185.dhcp.inet.fi) |
| 2024-04-09 02:42:44 +0200 | mikko | (~mikko@dsl-trebng22-58c1a8-185.dhcp.inet.fi) (Changing host) |
| 2024-04-09 02:42:44 +0200 | mikko | (~mikko@user/mikko) |
| 2024-04-09 02:43:13 +0200 | foul_owl | (~kerry@157.97.134.168) |
| 2024-04-09 03:11:04 +0200 | sadie_ | (~sadie@c-76-155-235-153.hsd1.co.comcast.net) (Remote host closed the connection) |
| 2024-04-09 03:23:56 +0200 | outis | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-04-09 03:24:02 +0200 | pnoumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Remote host closed the connection) |
| 2024-04-09 03:24:04 +0200 | ftweedal | (~ftweedal@159.196.12.92) (Ping timeout: 256 seconds) |
| 2024-04-09 03:33:35 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 264 seconds) |
| 2024-04-09 03:36:05 +0200 | xff0x | (~xff0x@2405:6580:b080:900:d77c:415b:b254:7fcb) (Ping timeout: 240 seconds) |
| 2024-04-09 03:46:27 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 2024-04-09 03:48:35 +0200 | ftweedal | (~ftweedal@211.30.26.196) |
| 2024-04-09 03:53:41 +0200 | otto_s | (~user@p5de2f26b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2024-04-09 03:55:41 +0200 | otto_s | (~user@p5b044870.dip0.t-ipconnect.de) |
| 2024-04-09 04:02:42 +0200 | ftweedal | (~ftweedal@211.30.26.196) (Read error: Connection reset by peer) |
| 2024-04-09 04:06:25 +0200 | rosco | (~rosco@2001:240:240a:2351:1cb4:5869:63ed:c853) |
| 2024-04-09 04:14:33 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2024-04-09 04:16:48 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-04-09 04:21:35 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 272 seconds) |
| 2024-04-09 04:26:34 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-04-09 04:39:11 +0200 | rosco | (~rosco@2001:240:240a:2351:1cb4:5869:63ed:c853) (Read error: Connection reset by peer) |
| 2024-04-09 04:39:50 +0200 | rosco | (~rosco@33.62.31.150.dy.iij4u.or.jp) |
| 2024-04-09 04:40:07 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-04-09 04:53:03 +0200 | td_ | (~td@i53870933.versanet.de) (Ping timeout: 268 seconds) |
| 2024-04-09 04:53:09 +0200 | <Inst> | hmmm |
| 2024-04-09 04:53:16 +0200 | <Inst> | is there a function encoding of an algebraic data type? |
| 2024-04-09 04:54:00 +0200 | <geekosaur> | several, I think: Church, Scott, etc. |
| 2024-04-09 04:54:40 +0200 | td_ | (~td@i53870916.versanet.de) |
| 2024-04-09 04:55:36 +0200 | <geekosaur> | https://en.wikipedia.org/wiki/Church_encoding https://en.wikipedia.org/wiki/Mogensen%E2%80%93Scott_encoding |
| 2024-04-09 04:56:34 +0200 | <geekosaur> | those should link to others |
| 2024-04-09 04:57:04 +0200 | <Inst> | i'm playing around with Julia now and I already miss the Haskell type-checker |
| 2024-04-09 04:57:54 +0200 | <Inst> | now, I'm not good enough (probably not for a few years) to implement a ML-style type-checker of my own via functions... i'm just really amused that with sufficient skill, you can take Haskell anywhere |
| 2024-04-09 04:58:57 +0200 | <Inst> | HM, rather |
| 2024-04-09 04:59:34 +0200 | <EvanR> | Syntax -> (Program -> a) -> (Issues -> a) -> a |
| 2024-04-09 05:04:40 +0200 | divya | (~user@202.170.201.65) |
| 2024-04-09 05:21:35 +0200 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-04-09 05:28:35 +0200 | Katarushisu10 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2024-04-09 05:28:39 +0200 | Katarushisu1 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-04-09 05:28:39 +0200 | Katarushisu10 | Katarushisu1 |
| 2024-04-09 05:28:51 +0200 | rosco_ | (~rosco@33.62.31.150.dy.iij4u.or.jp) |
| 2024-04-09 05:32:52 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-04-09 05:33:34 +0200 | igemnace | (~ian@user/igemnace) |
| 2024-04-09 05:39:39 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2024-04-09 05:43:15 +0200 | Guest|80 | (~Guest|80@129.0.212.234) |
| 2024-04-09 05:45:08 +0200 | rosco_ | (~rosco@33.62.31.150.dy.iij4u.or.jp) (Ping timeout: 256 seconds) |
| 2024-04-09 05:46:47 +0200 | rosco_ | (rosco@gateway/vpn/airvpn/rosco) |
| 2024-04-09 05:49:40 +0200 | Guest|80 | (~Guest|80@129.0.212.234) (Quit: Connection closed) |
| 2024-04-09 05:53:22 +0200 | aforemny_ | (~aforemny@i59F516D1.versanet.de) |
| 2024-04-09 05:53:23 +0200 | aforemny | (~aforemny@i59F516E6.versanet.de) (Ping timeout: 264 seconds) |
| 2024-04-09 05:53:25 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-04-09 06:00:08 +0200 | rosco_ | (rosco@gateway/vpn/airvpn/rosco) (Ping timeout: 260 seconds) |
| 2024-04-09 06:01:40 +0200 | rosco_ | (~rosco@33.62.31.150.dy.iij4u.or.jp) |
| 2024-04-09 06:07:09 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-04-09 06:08:22 +0200 | michalz | (~michalz@185.246.207.203) |
| 2024-04-09 06:15:23 +0200 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Read error: Connection reset by peer) |
| 2024-04-09 06:22:22 +0200 | systemfault | (sid267009@about/typescript/member/systemfault) (Quit: Updating details, brb) |
| 2024-04-09 06:22:34 +0200 | systemfault | (sid267009@about/typescript/member/systemfault) |
| 2024-04-09 06:22:55 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-04-09 06:27:35 +0200 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-04-09 06:28:13 +0200 | divya | (~user@202.170.201.65) (Ping timeout: 255 seconds) |
| 2024-04-09 06:28:44 +0200 | rosco_ | (~rosco@33.62.31.150.dy.iij4u.or.jp) (Quit: Lost terminal) |
| 2024-04-09 06:28:57 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-04-09 06:33:02 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
| 2024-04-09 06:33:43 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) |
| 2024-04-09 06:37:15 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-13-184-148-6-204.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2024-04-09 06:45:02 +0200 | sroso | (~sroso@user/SrOso) |
| 2024-04-09 06:47:42 +0200 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-04-09 06:50:38 +0200 | Core9494 | (~rosco@2001:240:2477:6cbc:852a:8e11:1d83:5ae0) |
| 2024-04-09 06:54:07 +0200 | rosco | (~rosco@33.62.31.150.dy.iij4u.or.jp) (Ping timeout: 246 seconds) |
| 2024-04-09 06:59:22 +0200 | ftweedal | (~ftweedal@202.86.32.122) |
| 2024-04-09 07:02:23 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2024-04-09 07:02:51 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 255 seconds) |
| 2024-04-09 07:04:53 +0200 | euleritian | (~euleritia@dynamic-176-006-184-000.176.6.pool.telefonica.de) |
| 2024-04-09 07:07:26 +0200 | danza | (~francesco@an-19-163-234.service.infuturo.it) |
| 2024-04-09 07:08:15 +0200 | zetef | (~quassel@5.2.182.99) |
| 2024-04-09 07:17:01 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 272 seconds) |
| 2024-04-09 07:18:11 +0200 | euleritian | (~euleritia@dynamic-176-006-184-000.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-09 07:18:31 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-09 07:19:08 +0200 | sanpo | (~sanpo@user/sanpo) (Quit: Client closed) |
| 2024-04-09 07:21:39 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2024-04-09 07:35:20 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-04-09 07:37:44 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-04-09 07:40:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-04-09 07:41:23 +0200 | euleritian | (~euleritia@dynamic-176-006-184-000.176.6.pool.telefonica.de) |
| 2024-04-09 07:46:09 +0200 | redmp | (~redmp@mobile-166-170-39-106.mycingular.net) |
| 2024-04-09 07:49:03 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-04-09 07:51:17 +0200 | redmp | (~redmp@mobile-166-170-39-106.mycingular.net) (Quit: leaving) |
| 2024-04-09 07:58:31 +0200 | ubert | (~Thunderbi@p200300ecdf3957b4cb1ee850dd579499.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-04-09 08:00:03 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-04-09 08:00:49 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:af1c:2933:77d:8603) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-04-09 08:00:50 +0200 | ftweedal | (~ftweedal@202.86.32.122) (Ping timeout: 268 seconds) |
| 2024-04-09 08:02:01 +0200 | sanpo | (~sanpo@user/sanpo) |
| 2024-04-09 08:02:08 +0200 | sadie_ | (~sadie@c-76-155-235-153.hsd1.co.comcast.net) |
| 2024-04-09 08:02:10 +0200 | ftweedal | (~ftweedal@211.30.26.196) |
| 2024-04-09 08:02:14 +0200 | Athas | (athas@sigkill.dk) |
| 2024-04-09 08:08:15 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-04-09 08:08:37 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2024-04-09 08:08:52 +0200 | ft | (~ft@p4fc2a20e.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-04-09 08:09:52 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
| 2024-04-09 08:09:52 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-04-09 08:11:52 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-04-09 08:13:03 +0200 | sanpo | (~sanpo@user/sanpo) (Quit: Client closed) |
| 2024-04-09 08:15:02 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b940:c420:b928:a6e:e519) |
| 2024-04-09 08:15:26 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2024-04-09 08:15:35 +0200 | pastly | (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection) |
| 2024-04-09 08:16:08 +0200 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-04-09 08:16:36 +0200 | euleritian | (~euleritia@dynamic-176-006-184-000.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-09 08:16:55 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-09 08:21:28 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-04-09 08:27:52 +0200 | qqq | (~qqq@92.43.167.61) |
| 2024-04-09 08:28:22 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2024-04-09 08:28:47 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-04-09 08:30:05 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds) |
| 2024-04-09 08:32:10 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-04-09 08:34:18 +0200 | xdminsy | (~xdminsy@117.147.70.203) |
| 2024-04-09 08:37:25 +0200 | kishor | (~user@2401:4900:4dd7:d4a2:3e5a:eade:f6b6:16a5) |
| 2024-04-09 08:37:47 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-04-09 08:38:28 +0200 | kishor | (~user@2401:4900:4dd7:d4a2:3e5a:eade:f6b6:16a5) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2024-04-09 08:38:46 +0200 | xdminsy | (~xdminsy@117.147.70.203) (Remote host closed the connection) |
| 2024-04-09 08:39:28 +0200 | nilradical | (~nilradica@202.86.32.122) |
| 2024-04-09 08:39:28 +0200 | nilradical | (~nilradica@202.86.32.122) (Changing host) |
| 2024-04-09 08:39:28 +0200 | nilradical | (~nilradica@user/naso) |
| 2024-04-09 08:39:43 +0200 | xdminsy | (~xdminsy@117.147.70.203) |
| 2024-04-09 08:41:03 +0200 | echoreply | (~echoreply@45.32.163.16) (Quit: WeeChat 2.8) |
| 2024-04-09 08:41:06 +0200 | kishor | (~user@2401:4900:4dd7:d4a2:3e5a:eade:f6b6:16a5) |
| 2024-04-09 08:41:32 +0200 | <kishor> | asf |
| 2024-04-09 08:42:12 +0200 | <kishor> | Hey there! Anyone? |
| 2024-04-09 08:42:22 +0200 | echoreply | (~echoreply@45.32.163.16) |
| 2024-04-09 08:42:52 +0200 | <kishor> | Anyone? |
| 2024-04-09 08:43:21 +0200 | <kishor> | I have question which language to learn first haskell or c? |
| 2024-04-09 08:44:26 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-04-09 08:44:41 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-04-09 08:45:06 +0200 | <c_wraith> | whichever you want or need to. |
| 2024-04-09 08:45:25 +0200 | <c_wraith> | There isn't some required order. |
| 2024-04-09 08:45:41 +0200 | <c_wraith> | Some people even learn python first! |
| 2024-04-09 08:45:46 +0200 | <danza> | given your question, learn rust which is somewhat in between the two |
| 2024-04-09 08:46:47 +0200 | <kishor> | i really love functional programming from what i heard? |
| 2024-04-09 08:47:22 +0200 | <c_wraith> | There's also no finish line |
| 2024-04-09 08:47:37 +0200 | <c_wraith> | You can start, stop, switch, or whatever as you like. |
| 2024-04-09 08:47:43 +0200 | <kishor> | But they say learn c so that you will be good with the basics about pointers and learn how other languages work in depth... |
| 2024-04-09 08:47:57 +0200 | <danza> | yeah i agree about that |
| 2024-04-09 08:48:11 +0200 | <kishor> | what languages y'all know? |
| 2024-04-09 08:48:17 +0200 | <danza> | (there would also be assembly but well) |
| 2024-04-09 08:48:31 +0200 | <kishor> | too low level bud.... |
| 2024-04-09 08:48:41 +0200 | <Axman6> | I'm not sure this is a particularly productive approach to learning... |
| 2024-04-09 08:48:50 +0200 | <Axman6> | C is too low level |
| 2024-04-09 08:48:53 +0200 | <Axman6> | C++ is too low level |
| 2024-04-09 08:49:02 +0200 | <Axman6> | Java is too low level |
| 2024-04-09 08:49:09 +0200 | <Axman6> | Haskell is too low level |
| 2024-04-09 08:49:16 +0200 | <Axman6> | Idris is too low level |
| 2024-04-09 08:49:27 +0200 | <Axman6> | but for what? |
| 2024-04-09 08:49:27 +0200 | <danza> | take a break Axman6 we got the ... concept |
| 2024-04-09 08:49:51 +0200 | <kishor> | What language y'all know.. |
| 2024-04-09 08:50:07 +0200 | <Axman6> | kishor: what software do you want to write? Your question is kind of like asking "which language should I learn?" it depends who you want to speak to |
| 2024-04-09 08:51:00 +0200 | <kishor> | I completed high school. learned c++ and python to a good level.. |
| 2024-04-09 08:51:35 +0200 | <danza> | then you already know pointers and object oriented enough, if variety is worth anything for you |
| 2024-04-09 08:52:06 +0200 | <kishor> | they don't teach pointers in c++ |
| 2024-04-09 08:52:27 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-04-09 08:52:27 +0200 | <danza> | huh maybe i forgot was using it long time ago |
| 2024-04-09 08:53:05 +0200 | <kishor> | That why i ask what programming language y'all use, so that i can get the perspective of y'all |
| 2024-04-09 08:53:42 +0200 | <kishor> | ... |
| 2024-04-09 08:53:57 +0200 | <danza> | not gonna work i am afraid. I don't know rust enough to know whether that would expose you to pointers enough ... but seriously one can learn that and a lot more from assembly |
| 2024-04-09 08:54:16 +0200 | <kishor> | any others... |
| 2024-04-09 08:54:31 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2024-04-09 08:54:47 +0200 | <kishor> | anyone use haskell in production. |
| 2024-04-09 08:57:00 +0200 | <kishor> | no rep |
| 2024-04-09 08:57:37 +0200 | <kishor> | exit |
| 2024-04-09 08:58:03 +0200 | kishor | (~user@2401:4900:4dd7:d4a2:3e5a:eade:f6b6:16a5) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2024-04-09 08:59:26 +0200 | danza | (~francesco@an-19-163-234.service.infuturo.it) (Ping timeout: 255 seconds) |
| 2024-04-09 08:59:30 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-04-09 09:02:07 +0200 | zetef | (~quassel@5.2.182.99) (Ping timeout: 255 seconds) |
| 2024-04-09 09:04:02 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-04-09 09:04:28 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-09 09:05:46 +0200 | Eoco | (~ian@128.101.131.218) (Ping timeout: 256 seconds) |
| 2024-04-09 09:07:26 +0200 | tititest | (~tititest@ip-037-201-154-121.um10.pools.vodafone-ip.de) |
| 2024-04-09 09:08:26 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-09 09:12:18 +0200 | romesrf | (~romes@192.22.63.94.rev.vodafone.pt) |
| 2024-04-09 09:12:59 +0200 | alt-romes | (~romes@185.128.9.208) |
| 2024-04-09 09:13:09 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 09:15:31 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc64d0e49d55bdfde17a.dip0.t-ipconnect.de) |
| 2024-04-09 09:15:31 +0200 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-04-09 09:16:15 +0200 | ftweedal | (~ftweedal@211.30.26.196) () |
| 2024-04-09 09:16:40 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-04-09 09:16:53 +0200 | romesrf | (~romes@192.22.63.94.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2024-04-09 09:18:19 +0200 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-04-09 09:19:35 +0200 | Core9494 | (~rosco@2001:240:2477:6cbc:852a:8e11:1d83:5ae0) (Read error: Connection reset by peer) |
| 2024-04-09 09:19:48 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 252 seconds) |
| 2024-04-09 09:20:04 +0200 | rosco | (~rosco@33.62.31.150.dy.iij4u.or.jp) |
| 2024-04-09 09:21:01 +0200 | zetef | (~quassel@5.2.182.99) |
| 2024-04-09 09:22:08 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-09 09:22:47 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 264 seconds) |
| 2024-04-09 09:24:01 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 09:25:18 +0200 | alt-romes | (~romes@185.128.9.208) (Ping timeout: 252 seconds) |
| 2024-04-09 09:31:01 +0200 | <Axman6> | pSo while we're on the topic of other languages - I'm working in C++ at the moment, and looking for a nice way to get something like ExceptT Err (Writer [Warning]) a; I've got some processes which might exit with an error, or collect warnings. I could use exceptions for the warnings, but it would be nice to have relatively elegant code for collecting warnings |
| 2024-04-09 09:32:09 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-09 09:32:37 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 09:33:25 +0200 | igemnace | (~ian@user/igemnace) |
| 2024-04-09 09:34:18 +0200 | <Axman6> | I guess I could just pass in an object wrapping a vector<warning> and push them onto it |
| 2024-04-09 09:34:44 +0200 | <Axman6> | I want my programmable semi-colons dangit! |
| 2024-04-09 09:39:18 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-04-09 09:40:27 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-09 09:43:12 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2024-04-09 09:43:49 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 268 seconds) |
| 2024-04-09 09:47:18 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 09:55:11 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-09 09:56:10 +0200 | sanpo | (~sanpo@user/sanpo) |
| 2024-04-09 09:56:31 +0200 | sanpo | (~sanpo@user/sanpo) () |
| 2024-04-09 09:56:53 +0200 | zetef | (~quassel@5.2.182.99) (Ping timeout: 240 seconds) |
| 2024-04-09 09:57:16 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 09:59:56 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-04-09 10:01:33 +0200 | romesrf | (~romes@2001:8a0:6d17:b700:cc01:f6b1:3221:747d) |
| 2024-04-09 10:01:42 +0200 | romesrf | (~romes@2001:8a0:6d17:b700:cc01:f6b1:3221:747d) (Client Quit) |
| 2024-04-09 10:03:38 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-04-09 10:04:15 +0200 | nilradical | (~nilradica@202.86.32.122) |
| 2024-04-09 10:04:15 +0200 | nilradical | (~nilradica@202.86.32.122) (Changing host) |
| 2024-04-09 10:04:15 +0200 | nilradical | (~nilradica@user/naso) |
| 2024-04-09 10:06:07 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-09 10:06:34 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-04-09 10:08:03 +0200 | danse-nr3 | (~danse-nr3@151.47.145.80) |
| 2024-04-09 10:08:10 +0200 | <lyxia> | Use effect handlers! https://github.com/maciejpirog/cpp-effects |
| 2024-04-09 10:08:10 +0200 | zetef | (~quassel@5.2.182.99) |
| 2024-04-09 10:10:23 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 10:10:26 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2024-04-09 10:10:49 +0200 | Rodney_ | (~Rodney@176.254.244.83) (Read error: Connection reset by peer) |
| 2024-04-09 10:13:10 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Ping timeout: 256 seconds) |
| 2024-04-09 10:13:12 +0200 | hamishmack | (sid389057@id-389057.hampstead.irccloud.com) (Ping timeout: 256 seconds) |
| 2024-04-09 10:14:32 +0200 | mzg_ | mzg |
| 2024-04-09 10:16:27 +0200 | hamishmack | (sid389057@id-389057.hampstead.irccloud.com) |
| 2024-04-09 10:16:32 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) |
| 2024-04-09 10:18:16 +0200 | zetef | (~quassel@5.2.182.99) (Ping timeout: 256 seconds) |
| 2024-04-09 10:18:37 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-09 10:23:58 +0200 | qqq | (~qqq@92.43.167.61) (Read error: Connection reset by peer) |
| 2024-04-09 10:25:02 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 10:28:30 +0200 | qqq | (~qqq@92.43.167.61) |
| 2024-04-09 10:31:38 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-04-09 10:34:15 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-09 10:36:24 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-04-09 10:37:20 +0200 | foul_owl | (~kerry@157.97.134.168) (Ping timeout: 260 seconds) |
| 2024-04-09 10:40:39 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 10:41:25 +0200 | Rodney_ | (~Rodney@176.254.244.83) |
| 2024-04-09 10:42:53 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-04-09 10:43:26 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2024-04-09 10:47:53 +0200 | zetef | (~quassel@95.77.17.251) |
| 2024-04-09 10:48:22 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-09 10:50:33 +0200 | danse-nr3 | (~danse-nr3@151.47.145.80) (Ping timeout: 256 seconds) |
| 2024-04-09 10:52:05 +0200 | foul_owl | (~kerry@185.219.141.164) |
| 2024-04-09 10:53:09 +0200 | tititest | (~tititest@ip-037-201-154-121.um10.pools.vodafone-ip.de) (Quit: Leaving.) |
| 2024-04-09 10:54:43 +0200 | helle | (~helle@193.33.150.48) (Changing host) |
| 2024-04-09 10:54:43 +0200 | helle | (~helle@user/meow/Helle) |
| 2024-04-09 10:56:00 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 10:58:22 +0200 | chele | (~chele@user/chele) |
| 2024-04-09 10:59:36 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:c80b:f006:1536:a382) |
| 2024-04-09 11:00:26 +0200 | danse-nr3 | (~danse-nr3@151.47.145.80) |
| 2024-04-09 11:01:54 +0200 | Core3656 | (~rosco@2001:240:2479:6b64:3d23:ee4e:6da9:2d51) |
| 2024-04-09 11:02:40 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-09 11:03:07 +0200 | benjaminl | (~benjaminl@user/benjaminl) (Ping timeout: 272 seconds) |
| 2024-04-09 11:03:12 +0200 | rosco | (~rosco@33.62.31.150.dy.iij4u.or.jp) (Ping timeout: 252 seconds) |
| 2024-04-09 11:04:57 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 11:06:56 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-04-09 11:12:17 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-09 11:15:03 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 11:17:43 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-04-09 11:22:31 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 255 seconds) |
| 2024-04-09 11:22:53 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-09 11:22:57 +0200 | nullobject | (~josh@159.196.168.242) |
| 2024-04-09 11:24:36 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 11:29:37 +0200 | outis | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2024-04-09 11:33:15 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-04-09 11:33:50 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-09 11:36:46 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 11:37:33 +0200 | Square | (~Square4@user/square) |
| 2024-04-09 11:39:32 +0200 | benjaminl | (~benjaminl@user/benjaminl) |
| 2024-04-09 11:39:46 +0200 | nullobject | (~josh@159.196.168.242) (Changing host) |
| 2024-04-09 11:39:46 +0200 | nullobject | (~josh@user/nullobject) |
| 2024-04-09 11:44:01 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-09 11:44:53 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 11:45:22 +0200 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
| 2024-04-09 11:46:05 +0200 | califax | (~califax@user/califx) |
| 2024-04-09 11:51:50 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-09 11:56:07 +0200 | danse-nr3 | (~danse-nr3@151.47.145.80) (Remote host closed the connection) |
| 2024-04-09 11:59:42 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 11:59:51 +0200 | avner66 | (~avner66@c-73-167-224-210.hsd1.ct.comcast.net) |
| 2024-04-09 12:01:31 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 256 seconds) |
| 2024-04-09 12:03:13 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:c80b:f006:1536:a382) (Ping timeout: 256 seconds) |
| 2024-04-09 12:03:13 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-09 12:03:27 +0200 | euleritian | (~euleritia@dynamic-176-006-191-150.176.6.pool.telefonica.de) |
| 2024-04-09 12:03:43 +0200 | euleritian | (~euleritia@dynamic-176-006-191-150.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-09 12:04:03 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-09 12:04:15 +0200 | danse-nr3 | (~danse-nr3@151.47.145.80) |
| 2024-04-09 12:04:22 +0200 | danse-nr3 | (~danse-nr3@151.47.145.80) (Remote host closed the connection) |
| 2024-04-09 12:04:54 +0200 | danse-nr3 | (~danse-nr3@151.47.145.80) |
| 2024-04-09 12:05:03 +0200 | avner66 | (~avner66@c-73-167-224-210.hsd1.ct.comcast.net) (Read error: Connection reset by peer) |
| 2024-04-09 12:05:24 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:d47a:8ba8:18a1:4503) |
| 2024-04-09 12:05:31 +0200 | avner66 | (~avner66@c-73-167-224-210.hsd1.ct.comcast.net) |
| 2024-04-09 12:06:03 +0200 | enikar | (~enikar@chezlefab.net) (Changing host) |
| 2024-04-09 12:06:03 +0200 | enikar | (~enikar@user/enikar) |
| 2024-04-09 12:06:05 +0200 | avner66 | (~avner66@c-73-167-224-210.hsd1.ct.comcast.net) (Remote host closed the connection) |
| 2024-04-09 12:07:31 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 255 seconds) |
| 2024-04-09 12:07:40 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-04-09 12:08:18 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-09 12:08:44 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 12:11:34 +0200 | nullobject | (~josh@user/nullobject) (Quit: WeeChat 3.5) |
| 2024-04-09 12:13:11 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 264 seconds) |
| 2024-04-09 12:21:02 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-09 12:22:06 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-09 12:24:37 +0200 | nullobject | (~josh@user/nullobject) |
| 2024-04-09 12:25:20 +0200 | akegalj | (~akegalj@78-1-50-53.adsl.net.t-com.hr) |
| 2024-04-09 12:25:33 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-04-09 12:26:06 +0200 | sadie_ | (~sadie@c-76-155-235-153.hsd1.co.comcast.net) (Remote host closed the connection) |
| 2024-04-09 12:33:14 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.1.2) |
| 2024-04-09 12:33:18 +0200 | akegalj | (~akegalj@78-1-50-53.adsl.net.t-com.hr) (Quit: leaving) |
| 2024-04-09 12:35:15 +0200 | akegalj | (~akegalj@78-1-50-53.adsl.net.t-com.hr) |
| 2024-04-09 12:35:53 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-04-09 12:36:13 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2024-04-09 12:37:21 +0200 | probie | (cc0b34050a@user/probie) |
| 2024-04-09 12:38:50 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-04-09 12:52:20 +0200 | sroso | (~sroso@user/SrOso) (Read error: Connection reset by peer) |
| 2024-04-09 12:53:28 +0200 | causal | (~eric@50.35.88.207) |
| 2024-04-09 12:56:10 +0200 | rosco | (~rosco@2001:240:2479:6b64:d644:7976:db05:4c48) |
| 2024-04-09 12:57:43 +0200 | sroso | (~sroso@user/SrOso) |
| 2024-04-09 12:59:46 +0200 | Core3656 | (~rosco@2001:240:2479:6b64:3d23:ee4e:6da9:2d51) (Ping timeout: 256 seconds) |
| 2024-04-09 13:01:46 +0200 | xsarnik | (xsarnik@lounge.fi.muni.cz) (Quit: Ping timeout (120 seconds)) |
| 2024-04-09 13:02:01 +0200 | xsarnik | (xsarnik@lounge.fi.muni.cz) |
| 2024-04-09 13:02:33 +0200 | zetef | (~quassel@95.77.17.251) (Ping timeout: 252 seconds) |
| 2024-04-09 13:06:27 +0200 | xff0x | (~xff0x@2405:6580:b080:900:847:f391:691d:6dc4) |
| 2024-04-09 13:12:33 +0200 | foul_owl | (~kerry@185.219.141.164) (Ping timeout: 268 seconds) |
| 2024-04-09 13:14:38 +0200 | zetef | (~quassel@95.77.17.251) |
| 2024-04-09 13:17:09 +0200 | random-jellyfish | (~developer@2a02:2f04:11e:c600:74f3:c13a:dd36:bd6b) |
| 2024-04-09 13:17:09 +0200 | random-jellyfish | (~developer@2a02:2f04:11e:c600:74f3:c13a:dd36:bd6b) (Changing host) |
| 2024-04-09 13:17:09 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-04-09 13:20:23 +0200 | danse-nr3 | (~danse-nr3@151.47.145.80) (Ping timeout: 264 seconds) |
| 2024-04-09 13:24:35 +0200 | arahael | (~arahael@119-18-1-21.771201.syd.nbn.aussiebb.net) |
| 2024-04-09 13:25:48 +0200 | zetef | (~quassel@95.77.17.251) (Ping timeout: 260 seconds) |
| 2024-04-09 13:28:53 +0200 | elbear | (~lucian@82.79.23.245) |
| 2024-04-09 13:30:16 +0200 | <elbear> | hey. I'm trying to join the haskell discourse and I've been waiting for 5+ minutes for the activation mail. I also clicked resend and checked spam. anyone know if the systems are running properly? |
| 2024-04-09 13:31:37 +0200 | rosco | (~rosco@2001:240:2479:6b64:d644:7976:db05:4c48) (Read error: Connection reset by peer) |
| 2024-04-09 13:31:50 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2024-04-09 13:31:55 +0200 | rosco | (~rosco@33.62.31.150.dy.iij4u.or.jp) |
| 2024-04-09 13:38:26 +0200 | Inst_ | (~Inst@user/Inst) |
| 2024-04-09 13:40:54 +0200 | liamzy__ | (~Inst@user/Inst) |
| 2024-04-09 13:41:10 +0200 | Inst | (~Inst@user/Inst) (Ping timeout: 256 seconds) |
| 2024-04-09 13:41:16 +0200 | liamzy__ | Inst |
| 2024-04-09 13:41:26 +0200 | danse-nr3 | (~danse-nr3@fi-19-205-233.service.infuturo.it) |
| 2024-04-09 13:41:41 +0200 | danse-nr3 | (~danse-nr3@fi-19-205-233.service.infuturo.it) (Remote host closed the connection) |
| 2024-04-09 13:41:49 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 256 seconds) |
| 2024-04-09 13:42:06 +0200 | danse-nr3 | (~danse-nr3@fi-19-205-233.service.infuturo.it) |
| 2024-04-09 13:42:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-09 13:43:47 +0200 | Inst_ | (~Inst@user/Inst) (Ping timeout: 252 seconds) |
| 2024-04-09 13:46:14 +0200 | pastly | (~pastly@gateway/tor-sasl/pastly) (Ping timeout: 260 seconds) |
| 2024-04-09 13:46:50 +0200 | nullobject | (~josh@user/nullobject) (Ping timeout: 256 seconds) |
| 2024-04-09 13:47:35 +0200 | <danse-nr3> | probie, i am not sure what did upset you yesterday, i did not mean to disrespect you was just not in the mood for arguing |
| 2024-04-09 13:49:22 +0200 | <Inst> | I guess it has nothing to do with SPJ, since he left for Epic, but Microsoft Office now has Scheme built in? |
| 2024-04-09 13:49:35 +0200 | <Inst> | And the professional version is apparently going to get Clojure! |
| 2024-04-09 13:50:50 +0200 | <Inst> | oh, it's a third party, i think? |
| 2024-04-09 13:52:55 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-04-09 13:53:11 +0200 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-04-09 13:57:21 +0200 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
| 2024-04-09 14:04:03 +0200 | Eoco | (~ian@128.101.131.218) (Ping timeout: 268 seconds) |
| 2024-04-09 14:08:13 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 14:08:25 +0200 | Inst_ | (~Inst@user/Inst) |
| 2024-04-09 14:08:52 +0200 | [Leary] | (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 2024-04-09 14:09:01 +0200 | elbear | (~lucian@82.79.23.245) (Ping timeout: 256 seconds) |
| 2024-04-09 14:09:19 +0200 | foul_owl | (~kerry@185.216.231.182) |
| 2024-04-09 14:09:28 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2024-04-09 14:10:48 +0200 | Inst | (~Inst@user/Inst) (Ping timeout: 255 seconds) |
| 2024-04-09 14:14:42 +0200 | elbear | (~lucian@82.79.23.245) |
| 2024-04-09 14:15:45 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-09 14:17:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-09 14:24:30 +0200 | elbear | (~lucian@82.79.23.245) (Ping timeout: 252 seconds) |
| 2024-04-09 14:25:17 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 14:26:15 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 268 seconds) |
| 2024-04-09 14:26:23 +0200 | [Leary] | (~Leary]@user/Leary/x-0910699) |
| 2024-04-09 14:27:45 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-04-09 14:34:13 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-09 14:37:47 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 14:44:25 +0200 | elbear | (~lucian@79.118.150.93) |
| 2024-04-09 14:45:03 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-09 14:46:06 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 14:49:27 +0200 | n8n | (n8n@user/n8n) |
| 2024-04-09 14:55:18 +0200 | Eoco | (~ian@128.101.131.218) (Ping timeout: 252 seconds) |
| 2024-04-09 14:58:06 +0200 | AlexNoo | (~AlexNoo@178.34.160.182) (Read error: Connection reset by peer) |
| 2024-04-09 14:58:28 +0200 | AlexNoo | (~AlexNoo@178.34.160.182) |
| 2024-04-09 15:03:17 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 15:10:01 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-09 15:10:57 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 15:12:29 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 240 seconds) |
| 2024-04-09 15:18:08 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-09 15:20:29 +0200 | ystael | (~ystael@user/ystael) |
| 2024-04-09 15:25:43 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 15:31:05 +0200 | Achylles | (~Achylles@45.182.57.107) |
| 2024-04-09 15:33:57 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-09 15:36:51 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 256 seconds) |
| 2024-04-09 15:40:16 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-04-09 15:41:03 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 15:48:21 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-09 15:48:58 +0200 | xdminsy | (~xdminsy@117.147.70.203) (Quit: Konversation terminated!) |
| 2024-04-09 15:49:47 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-04-09 15:50:08 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-09 15:52:21 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2024-04-09 15:52:30 +0200 | rosco | (~rosco@33.62.31.150.dy.iij4u.or.jp) (Read error: Connection reset by peer) |
| 2024-04-09 15:52:46 +0200 | rosco | (~rosco@33.62.31.150.dy.iij4u.or.jp) |
| 2024-04-09 15:54:20 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-04-09 15:55:17 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 15:55:31 +0200 | euleritian | (~euleritia@dynamic-176-006-182-181.176.6.pool.telefonica.de) |
| 2024-04-09 15:58:26 +0200 | erisco_ | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2024-04-09 15:59:06 +0200 | Achylles | (~Achylles@45.182.57.107) (Ping timeout: 252 seconds) |
| 2024-04-09 15:59:26 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 256 seconds) |
| 2024-04-09 15:59:26 +0200 | erisco_ | erisco |
| 2024-04-09 16:02:55 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-09 16:04:01 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-09 16:04:02 +0200 | nonzen | (~nonzen@user/nonzen) (Quit: Gone) |
| 2024-04-09 16:04:02 +0200 | sajith_ | (~sajith@user/sajith) (Quit: Gone) |
| 2024-04-09 16:04:25 +0200 | nonzen | (~nonzen@user/nonzen) |
| 2024-04-09 16:04:57 +0200 | sajith | (~sajith@user/sajith) |
| 2024-04-09 16:06:23 +0200 | nonzen | (~nonzen@user/nonzen) (Client Quit) |
| 2024-04-09 16:06:23 +0200 | sajith | (~sajith@user/sajith) (Remote host closed the connection) |
| 2024-04-09 16:07:03 +0200 | nonzen | (~nonzen@user/nonzen) |
| 2024-04-09 16:07:35 +0200 | sajith | (~sajith@user/sajith) |
| 2024-04-09 16:08:37 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 16:09:01 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 272 seconds) |
| 2024-04-09 16:12:47 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2024-04-09 16:13:22 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-04-09 16:13:39 +0200 | danse-nr3 | (~danse-nr3@fi-19-205-233.service.infuturo.it) (Ping timeout: 255 seconds) |
| 2024-04-09 16:14:36 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-04-09 16:15:17 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-09 16:15:42 +0200 | rosco | (~rosco@33.62.31.150.dy.iij4u.or.jp) (Read error: Connection reset by peer) |
| 2024-04-09 16:15:51 +0200 | rosco | (~rosco@33.62.31.150.dy.iij4u.or.jp) |
| 2024-04-09 16:17:07 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-09 16:18:05 +0200 | danse-nr3 | (~danse-nr3@fi-19-205-233.service.infuturo.it) |
| 2024-04-09 16:19:27 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 16:21:03 +0200 | mcksp | (~mcksp@host2.98.gci-net.pl) |
| 2024-04-09 16:23:37 +0200 | euleritian | (~euleritia@dynamic-176-006-182-181.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-09 16:23:55 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-09 16:27:10 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-09 16:28:55 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 16:32:04 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-04-09 16:32:23 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2024-04-09 16:32:29 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-04-09 16:35:05 +0200 | mei | (~mei@user/mei) |
| 2024-04-09 16:36:05 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-09 16:38:06 +0200 | zetef | (~quassel@95.77.17.251) |
| 2024-04-09 16:38:54 +0200 | <mcksp> | Hi! I'm using scotty and want to write some middlewarehttps://hackage.haskell.org/package/scotty-0.22/docs/Web-Scotty.html#v:middleware |
| 2024-04-09 16:38:55 +0200 | <mcksp> | which type is |
| 2024-04-09 16:38:55 +0200 | <mcksp> | Middleware -> ScottyM () |
| 2024-04-09 16:38:56 +0200 | <mcksp> | Middleware is Application -> Application |
| 2024-04-09 16:38:56 +0200 | <mcksp> | Application is Request -> (Response -> IO ResponseReceived) -> IO ResponseReceived |
| 2024-04-09 16:38:57 +0200 | <mcksp> | I have some functions written already that uses scotty functions that are all ActionM a type (ActionT ConfigM a to be precise, but probably it doesn't matter) |
| 2024-04-09 16:38:57 +0200 | <mcksp> | Also scotty itself has many helper functions that are more straightforward than WAI functions, i.e getting specific header. |
| 2024-04-09 16:38:58 +0200 | <mcksp> | So my question - am I forced to use only WAI functions in middleware, since those are IO a type, or can I somehow use ActionM a types there and cast it to IO. |
| 2024-04-09 16:39:10 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-04-09 16:42:33 +0200 | zetef | (~quassel@95.77.17.251) (Ping timeout: 252 seconds) |
| 2024-04-09 16:52:22 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 16:56:46 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) |
| 2024-04-09 16:58:49 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2024-04-09 16:59:47 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-09 17:00:15 +0200 | lg188 | (~lg188@82.18.98.230) (Ping timeout: 260 seconds) |
| 2024-04-09 17:06:06 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 17:06:33 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2024-04-09 17:06:50 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 2024-04-09 17:12:56 +0200 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-04-09 17:13:06 +0200 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 256 seconds) |
| 2024-04-09 17:13:39 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-09 17:13:55 +0200 | akegalj | (~akegalj@78-1-50-53.adsl.net.t-com.hr) (Quit: leaving) |
| 2024-04-09 17:14:38 +0200 | <carbolymer> | there was a tool which was checking for dependencies which can be updated and printing a report |
| 2024-04-09 17:14:42 +0200 | <carbolymer> | but I forgot the name |
| 2024-04-09 17:14:45 +0200 | <carbolymer> | anyone remembers? |
| 2024-04-09 17:16:38 +0200 | <carbolymer> | I think I was looking for `cabal outdated` |
| 2024-04-09 17:19:04 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 17:21:11 +0200 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-04-09 17:21:41 +0200 | elbear | (~lucian@79.118.150.93) (Ping timeout: 240 seconds) |
| 2024-04-09 17:22:07 +0200 | <geekosaur> | there's several on hackage as well |
| 2024-04-09 17:24:28 +0200 | elbear | (~lucian@79.118.150.93) |
| 2024-04-09 17:25:17 +0200 | <janus> | are there any codebases consistently using 'do' instead of let-in? |
| 2024-04-09 17:26:00 +0200 | <janus> | carbolymer: maybe https://packdeps.haskellers.com/ |
| 2024-04-09 17:26:21 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-09 17:26:30 +0200 | <carbolymer> | janus: this is only for hackage.haskell.org, right? |
| 2024-04-09 17:27:02 +0200 | <carbolymer> | janus: we have our own packages repo so I'm more interested in picking outdated version from there |
| 2024-04-09 17:28:18 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 17:29:23 +0200 | elbear | (~lucian@79.118.150.93) (Ping timeout: 264 seconds) |
| 2024-04-09 17:30:14 +0200 | igemnace | (~ian@user/igemnace) |
| 2024-04-09 17:31:03 +0200 | <janus> | carbolymer: the tool is open source, the repo is linked from the page i linked |
| 2024-04-09 17:31:16 +0200 | danse-nr3 | (~danse-nr3@fi-19-205-233.service.infuturo.it) (Ping timeout: 260 seconds) |
| 2024-04-09 17:31:39 +0200 | <haskellbridge> | <eldritchcookie> mcksp: unless ScottyM is MonadUnliftIO you are out of luck |
| 2024-04-09 17:31:42 +0200 | <carbolymer> | oh right, thanks I may take a alook |
| 2024-04-09 17:31:51 +0200 | <janus> | carbolymer: if you run your own hackage-server, i added a feature that makes hackage able to send email notifications when deps go out of bounds |
| 2024-04-09 17:37:32 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-09 17:39:57 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 17:43:20 +0200 | elbear | (~lucian@79.118.150.93) |
| 2024-04-09 17:47:44 +0200 | elbear | (~lucian@79.118.150.93) (Ping timeout: 255 seconds) |
| 2024-04-09 17:48:10 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-09 17:51:16 +0200 | nschoe | (~nschoe@2a01:e0a:8e:a190:9eab:1f62:ace9:e44f) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-04-09 17:51:33 +0200 | nschoe | (~nschoe@2a01:e0a:8e:a190:aa00:da1d:4eed:33ec) |
| 2024-04-09 17:53:21 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 17:55:45 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-04-09 17:56:20 +0200 | <mauke> | eldritchcookie: what if you use scottyAppT recklessly? |
| 2024-04-09 17:58:42 +0200 | <jackdk> | `newtype ScottyT m a = ScottyT { runS :: ReaderT Options (State (ScottyState m)) a }` <- IIRC you can only make UnliftIO instances for IdentityT and ReaderT |
| 2024-04-09 18:00:14 +0200 | elbear | (~lucian@79.118.150.93) |
| 2024-04-09 18:01:49 +0200 | Achylles | (~Achylles@45.182.57.107) |
| 2024-04-09 18:02:39 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-09 18:03:18 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-04-09 18:05:44 +0200 | mei | (~mei@user/mei) |
| 2024-04-09 18:10:33 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-04-09 18:11:17 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 2024-04-09 18:11:29 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 18:17:59 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2024-04-09 18:18:59 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-09 18:23:27 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-04-09 18:24:07 +0200 | euleritian | (~euleritia@dynamic-176-006-182-181.176.6.pool.telefonica.de) |
| 2024-04-09 18:25:49 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 18:28:05 +0200 | Square | (~Square4@user/square) (Ping timeout: 240 seconds) |
| 2024-04-09 18:33:01 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-09 18:33:54 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-09 18:34:25 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-04-09 18:36:40 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:d47a:8ba8:18a1:4503) (Quit: ubert) |
| 2024-04-09 18:42:58 +0200 | Square2 | (~Square@user/square) |
| 2024-04-09 18:48:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-09 18:55:53 +0200 | euleritian | (~euleritia@dynamic-176-006-182-181.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-09 18:56:10 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-09 19:00:07 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2024-04-09 19:04:32 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 2024-04-09 19:07:12 +0200 | elbear | (~lucian@79.118.150.93) (Ping timeout: 252 seconds) |
| 2024-04-09 19:08:58 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-04-09 19:14:14 +0200 | n8n | (n8n@user/n8n) (Quit: WeeChat 4.2.2) |
| 2024-04-09 19:15:04 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-04-09 19:19:04 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-09 19:19:44 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-09 19:20:31 +0200 | elbear | (~lucian@79.118.150.93) |
| 2024-04-09 19:32:07 +0200 | elbear | (~lucian@79.118.150.93) (Ping timeout: 255 seconds) |
| 2024-04-09 19:35:25 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 256 seconds) |
| 2024-04-09 19:37:51 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-04-09 19:38:29 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Ping timeout: 240 seconds) |
| 2024-04-09 19:39:03 +0200 | poollovernathan | (~u0_a408@108.145.176.161) |
| 2024-04-09 19:43:17 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-09 19:43:44 +0200 | elbear | (~lucian@79.118.150.93) |
| 2024-04-09 19:46:29 +0200 | SteelBlueSilk | (~SteelBlue@user/SteelBlueSilk) |
| 2024-04-09 19:47:07 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-09 19:54:00 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2024-04-09 19:55:01 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-09 19:55:28 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-09 19:59:45 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-09 19:59:58 +0200 | ft | (~ft@p4fc2a20e.dip0.t-ipconnect.de) |
| 2024-04-09 20:05:29 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 2024-04-09 20:06:35 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Remote host closed the connection) |
| 2024-04-09 20:07:01 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-04-09 20:10:02 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-09 20:10:35 +0200 | pylover | (~pylover@5.237.5.177) |
| 2024-04-09 20:11:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-09 20:13:25 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-09 20:13:45 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-09 20:14:44 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-09 20:15:29 +0200 | poollovernathan | (~u0_a408@108.145.176.161) (Read error: Connection reset by peer) |
| 2024-04-09 20:15:38 +0200 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 2024-04-09 20:19:34 +0200 | siw5ohs0 | (~aiw5ohs0@user/aiw5ohs0) |
| 2024-04-09 20:19:44 +0200 | siw5ohs0 | (~aiw5ohs0@user/aiw5ohs0) () |
| 2024-04-09 20:20:44 +0200 | poollovernathan | (~u0_a408@108.145.176.161) |
| 2024-04-09 20:22:20 +0200 | pylover | (~pylover@5.237.5.177) (Quit: Client closed) |
| 2024-04-09 20:22:53 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2024-04-09 20:26:57 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-04-09 20:28:48 +0200 | arjun | (~arjun@user/arjun) |
| 2024-04-09 20:33:10 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-04-09 20:40:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-09 20:46:28 +0200 | jle` | (~jle`@2603-8001-3b02-84d4-6afd-70f5-ecb9-5dde.res6.spectrum.com) (Quit: WeeChat 4.2.1) |
| 2024-04-09 20:46:38 +0200 | n8n | (n8n@user/n8n) |
| 2024-04-09 20:46:39 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-09 20:46:44 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-04-09 20:46:58 +0200 | jle` | (~jle`@2603-8001-3b02-84d4-a77f-f741-f7ec-5267.res6.spectrum.com) |
| 2024-04-09 20:47:16 +0200 | elbear | (~lucian@79.118.150.93) (Quit: leaving) |
| 2024-04-09 20:49:49 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-09 20:49:53 +0200 | crook1389 | (uid581388@id-581388.ilkley.irccloud.com) |
| 2024-04-09 20:49:58 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-04-09 20:51:37 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2024-04-09 20:53:03 +0200 | arjun | (~arjun@user/arjun) (Quit: Quit!) |
| 2024-04-09 20:54:00 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds) |
| 2024-04-09 20:55:44 +0200 | Achylles | (~Achylles@45.182.57.107) (Quit: Leaving) |
| 2024-04-09 21:02:27 +0200 | foul_owl | (~kerry@185.216.231.182) (Read error: Connection reset by peer) |
| 2024-04-09 21:02:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-09 21:03:13 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-04-09 21:09:46 +0200 | <Inst_> | oh. my. god |
| 2024-04-09 21:09:57 +0200 | <Inst_> | i'm thankful for it all now |
| 2024-04-09 21:10:06 +0200 | <Inst_> | i'm working an algol-syntax language without currying |
| 2024-04-09 21:10:13 +0200 | <Inst_> | and "functional programming support |
| 2024-04-09 21:10:21 +0200 | <EvanR> | condolences |
| 2024-04-09 21:10:33 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-04-09 21:11:34 +0200 | <juri_> | I've been writing C for the last few months. well, assembly-wrapped-in-c. |
| 2024-04-09 21:12:34 +0200 | <Inst_> | working julia, maybe more experienced hackers would explain to me how to do it |
| 2024-04-09 21:13:22 +0200 | <geekosaur> | wouldn't this be more appropriate for -offtopic? |
| 2024-04-09 21:13:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-09 21:13:39 +0200 | <Inst_> | just saying, i'm appreciating Haskell more |
| 2024-04-09 21:14:15 +0200 | <Inst_> | oh, my dear >>>, I forgive you for having the wrong precedence now |
| 2024-04-09 21:16:44 +0200 | Inst_ | Inst |
| 2024-04-09 21:19:52 +0200 | foul_owl | (~kerry@185.219.141.162) |
| 2024-04-09 21:26:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-09 21:30:30 +0200 | <ski> | "without currying" -- no first-class functions ? |
| 2024-04-09 21:32:49 +0200 | <Inst> | got it fixed, good ole lambda nesting |
| 2024-04-09 21:35:43 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-09 21:38:20 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-04-09 21:42:51 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-09 21:45:56 +0200 | ft | (~ft@p4fc2a20e.dip0.t-ipconnect.de) (Quit: Lost terminal) |
| 2024-04-09 21:49:11 +0200 | dcoutts__ | (~duncan@cpc69400-oxfd27-2-0-cust750.4-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2024-04-09 21:49:11 +0200 | ft | (~ft@p4fc2a20e.dip0.t-ipconnect.de) |
| 2024-04-09 21:49:21 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-04-09 21:57:59 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-09 22:04:37 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-04-09 22:05:50 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-04-09 22:10:11 +0200 | dcoutts | (~duncan@cpc69400-oxfd27-2-0-cust750.4-3.cable.virginm.net) |
| 2024-04-09 22:10:13 +0200 | dcoutts | (~duncan@cpc69400-oxfd27-2-0-cust750.4-3.cable.virginm.net) (Remote host closed the connection) |
| 2024-04-09 22:10:34 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-04-09 22:10:36 +0200 | dcoutts | (~duncan@cpc69400-oxfd27-2-0-cust750.4-3.cable.virginm.net) |
| 2024-04-09 22:12:19 +0200 | mcksp | (~mcksp@host2.98.gci-net.pl) (Quit: Client closed) |
| 2024-04-09 22:13:34 +0200 | Square2 | (~Square@user/square) (Remote host closed the connection) |
| 2024-04-09 22:14:48 +0200 | Square | (~Square4@user/square) |
| 2024-04-09 22:20:47 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2024-04-09 22:21:14 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-04-09 22:25:29 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 2024-04-09 22:26:35 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2024-04-09 22:27:34 +0200 | poollove1nathan | (~u0_a408@pool-100-7-100-131.rcmdva.fios.verizon.net) |
| 2024-04-09 22:27:35 +0200 | poollovernathan | (~u0_a408@108.145.176.161) (Read error: Connection reset by peer) |
| 2024-04-09 22:28:35 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 2024-04-09 22:40:14 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
| 2024-04-09 22:41:53 +0200 | dcoutts | (~duncan@cpc69400-oxfd27-2-0-cust750.4-3.cable.virginm.net) (Read error: Connection reset by peer) |
| 2024-04-09 22:43:53 +0200 | dcoutts | (~duncan@cpc69400-oxfd27-2-0-cust750.4-3.cable.virginm.net) |
| 2024-04-09 22:51:54 +0200 | rosco | (~rosco@33.62.31.150.dy.iij4u.or.jp) (Ping timeout: 255 seconds) |
| 2024-04-09 22:53:14 +0200 | michalz | (~michalz@185.246.207.203) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-04-09 22:53:51 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-04-09 22:57:06 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 252 seconds) |
| 2024-04-09 22:59:07 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-04-09 23:01:19 +0200 | nullobject | (~josh@user/nullobject) |
| 2024-04-09 23:02:30 +0200 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2024-04-09 23:04:41 +0200 | EvanR | (~EvanR@user/evanr) |
| 2024-04-09 23:08:47 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-09 23:12:39 +0200 | hueso | (~root@user/hueso) (Ping timeout: 260 seconds) |
| 2024-04-09 23:13:48 +0200 | hueso | (~root@user/hueso) |
| 2024-04-09 23:15:53 +0200 | dcoutts | (~duncan@cpc69400-oxfd27-2-0-cust750.4-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2024-04-09 23:19:23 +0200 | poollovernathan | (~u0_a408@108.145.176.161) |
| 2024-04-09 23:20:13 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-04-09 23:22:19 +0200 | dtman34 | (~dtman34@2601:447:d001:ed50:1acf:2b1a:7f58:c229) |
| 2024-04-09 23:22:56 +0200 | poollove1nathan | (~u0_a408@pool-100-7-100-131.rcmdva.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-04-09 23:26:50 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 2024-04-09 23:29:38 +0200 | crook1389 | (uid581388@id-581388.ilkley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-04-09 23:32:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-09 23:33:16 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-04-09 23:35:06 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-04-09 23:36:47 +0200 | dcoutts | (~duncan@82.13.254.239) |
| 2024-04-09 23:40:04 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-09 23:51:51 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |