2024/06/06

2024-06-06 00:03:35 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2024-06-06 00:10:53 +0200acidjnk(~acidjnk@p200300d6e714dc088cf41374fbd85107.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2024-06-06 00:12:53 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2024-06-06 00:14:21 +0200titibandit(e33ffbab65@user/titibandit) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3))
2024-06-06 00:15:17 +0200yin(~yin@user/zero)
2024-06-06 00:17:51 +0200Sgeo(~Sgeo@user/sgeo)
2024-06-06 00:32:45 +0200mrmr15533434(~mrmr@user/mrmr) (Ping timeout: 256 seconds)
2024-06-06 00:40:34 +0200mrmr1553343(~mrmr@user/mrmr)
2024-06-06 00:46:51 +0200y04nn(~username@2a03:1b20:8:f011::e10d) (Read error: Connection reset by peer)
2024-06-06 00:47:40 +0200y04nn(~username@2a03:1b20:8:f011::e10d)
2024-06-06 00:51:31 +0200troojg(~troojg@99.36.5.199)
2024-06-06 00:52:11 +0200Guest15(~Guest63@129.170.197.82)
2024-06-06 00:53:51 +0200 <Guest15> foo :: [(Int, [Int])] -> M.Map Int [Int]
2024-06-06 00:53:51 +0200 <Guest15> foo xs = foldr go M.empty xs
2024-06-06 00:53:52 +0200 <Guest15>     where go (x, ys) map = foldr (M.adjust (x :)) map ys
2024-06-06 00:53:52 +0200 <Guest15> I have a function like this, which I’m using to construct a dependency graph. The fold within a fold makes me suspect that there is a cleverer way of doing this/a different abstraction I should be using here - if anyone has thoughts, let me know
2024-06-06 00:55:02 +0200 <EvanR> to go from [(k,v)] to Map k v you use M.fromList ?
2024-06-06 00:55:33 +0200 <EvanR> ok it's doing something else
2024-06-06 00:56:13 +0200 <EvanR> map used as a local variable is punking my brain
2024-06-06 00:57:14 +0200 <Guest15> Yes - also, the initial map is actually a set of ints and empty lists, not M.empty - that was a mistake on my part
2024-06-06 00:57:38 +0200 <c_wraith> How do you feel about changing [Int] to (Set Int)?
2024-06-06 00:58:49 +0200m5zs7k(aquares@web10.mydevil.net) (Ping timeout: 268 seconds)
2024-06-06 00:59:17 +0200 <Guest15> I need to perform a topological sort over the graph eventually, but I can still fold over a set so it should be no issue
2024-06-06 00:59:50 +0200 <c_wraith> Well, that function has no guarantee of preserving uniqueness of entries in the lists...
2024-06-06 01:00:04 +0200m5zs7k(aquares@web10.mydevil.net)
2024-06-06 01:00:32 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-06-06 01:06:09 +0200 <Guest15> If I passed the function something like M.fromList [(1, [2,3 ]), (5, [2, 3])] I would want M.fromList [(2, [1, 5]), (3, [1, 5])]
2024-06-06 01:06:19 +0200 <Guest15> As in, I actually want the all of the mappings between a particular element that appears in various inner lists and a first element of one of the tuples to be concatenated into one list
2024-06-06 01:06:25 +0200 <Guest15> Unless I'm misunderstanding what you're saying
2024-06-06 01:06:53 +0200 <Guest15> *some first element
2024-06-06 01:09:17 +0200yin(~yin@user/zero) (Ping timeout: 240 seconds)
2024-06-06 01:10:14 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds)
2024-06-06 01:10:59 +0200 <troojg> 6D /
2024-06-06 01:11:27 +0200 <c_wraith> I'm not even sure what operation that is.
2024-06-06 01:11:32 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2024-06-06 01:11:46 +0200 <c_wraith> In graph terms, what are you doing? reversing the edge lists?
2024-06-06 01:18:35 +0200troojg(~troojg@99.36.5.199) (Ping timeout: 264 seconds)
2024-06-06 01:20:08 +0200 <Guest15> I used ints for readability but in practice, there’s an expression with an identifier and a list of identifiers of other expressions that it depends on i.e. (v, deps) :: (VarName, [VarName]) - and I have a list of these tuples.
2024-06-06 01:20:09 +0200 <Guest15> So what I want to do is create a dependency graph with edges of the form (node1, node2) such that for some (v, deps), node1 belongs to deps and v == node2 i.e. M.fromList [(1, [2,3 ]), (5, [2, 3])] becomes M.fromList [(2, [1, 5]), (3, [1, 5])]
2024-06-06 01:20:09 +0200 <Guest15> Then I want to perform a topological sort on that dependency graph, so I can evaluate the expressions in an order that ensures every expression has fully normalized versions of the expressions it depends on when it gets evaluated
2024-06-06 01:37:30 +0200troojg(~troojg@99.36.5.199)
2024-06-06 01:40:02 +0200yin(~yin@user/zero)
2024-06-06 01:45:44 +0200troojg(~troojg@99.36.5.199) (Ping timeout: 252 seconds)
2024-06-06 01:46:04 +0200troojg(~troojg@99.36.5.199)
2024-06-06 01:50:41 +0200troojg(~troojg@99.36.5.199) (Ping timeout: 252 seconds)
2024-06-06 01:51:16 +0200Guest15(~Guest63@129.170.197.82) (Quit: Client closed)
2024-06-06 02:04:48 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds)
2024-06-06 02:05:50 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2024-06-06 02:08:50 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 260 seconds)
2024-06-06 02:10:47 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
2024-06-06 02:11:01 +0200ec(~ec@gateway/tor-sasl/ec)
2024-06-06 02:11:07 +0200euleritian(~euleritia@dynamic-176-006-188-240.176.6.pool.telefonica.de)
2024-06-06 02:12:35 +0200halloy7862(~halloy786@syn-069-206-166-125.res.spectrum.com) (Ping timeout: 272 seconds)
2024-06-06 02:29:23 +0200td_(~td@i5387092C.versanet.de) (Ping timeout: 264 seconds)
2024-06-06 02:29:41 +0200td_(~td@i5387092C.versanet.de)
2024-06-06 02:32:23 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-06-06 02:32:29 +0200sudden(~cat@user/sudden) (Ping timeout: 240 seconds)
2024-06-06 02:35:02 +0200califax(~califax@user/califx)
2024-06-06 02:38:04 +0200td_(~td@i5387092C.versanet.de) (Ping timeout: 246 seconds)
2024-06-06 02:40:05 +0200td_(~td@i5387091A.versanet.de)
2024-06-06 02:46:02 +0200sudden(~cat@user/sudden)
2024-06-06 02:58:43 +0200raym(~ray@115.187.32.4) (Ping timeout: 246 seconds)
2024-06-06 03:05:10 +0200raym(~ray@115.187.32.4)
2024-06-06 03:10:37 +0200jcarpenter2(~lol@2603:3016:1e01:b940:ddd9:d9a8:9614:5623) (Ping timeout: 246 seconds)
2024-06-06 03:11:10 +0200jcarpenter2(~lol@96.78.87.198)
2024-06-06 03:17:16 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds)
2024-06-06 03:20:25 +0200philopsos1(~caecilius@user/philopsos)
2024-06-06 03:20:46 +0200xff0x(~xff0x@2405:6580:b080:900:e70a:1a75:924f:8502) (Ping timeout: 246 seconds)
2024-06-06 03:23:36 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-06-06 03:23:38 +0200Guest24(~Guest24@syn-024-102-106-103.res.spectrum.com)
2024-06-06 03:26:00 +0200robobub(uid248673@id-248673.uxbridge.irccloud.com)
2024-06-06 03:26:20 +0200Guest24(~Guest24@syn-024-102-106-103.res.spectrum.com) (Client Quit)
2024-06-06 03:28:11 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2024-06-06 03:31:49 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-06-06 03:41:23 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2024-06-06 03:45:07 +0200sprout_(~quassel@84-80-106-227.fixed.kpn.net)
2024-06-06 03:46:04 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-06-06 03:46:38 +0200danse-nr3(~danse-nr3@151.37.102.5)
2024-06-06 03:47:11 +0200sprout(~quassel@2a02-a448-3a80-0-d87b-5f06-a0ad-e4e3.fixed6.kpn.net) (Ping timeout: 260 seconds)
2024-06-06 03:54:53 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 268 seconds)
2024-06-06 04:00:23 +0200Square(~Square@user/square)
2024-06-06 04:00:34 +0200Ranhir(~Ranhir@157.97.53.139) (Read error: Connection reset by peer)
2024-06-06 04:00:53 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich)
2024-06-06 04:01:33 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-06-06 04:02:09 +0200petrichor(~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in)
2024-06-06 04:02:59 +0200petrichor(~znc-user@user/petrichor)
2024-06-06 04:05:04 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2024-06-06 04:06:17 +0200td_(~td@i5387091A.versanet.de) (Ping timeout: 268 seconds)
2024-06-06 04:06:31 +0200Ranhir(~Ranhir@157.97.53.139)
2024-06-06 04:07:37 +0200td_(~td@i53870901.versanet.de)
2024-06-06 04:23:35 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds)
2024-06-06 04:25:24 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2024-06-06 05:02:32 +0200y04nn(~username@2a03:1b20:8:f011::e10d) (Ping timeout: 256 seconds)
2024-06-06 05:03:01 +0200td_(~td@i53870901.versanet.de) (Ping timeout: 268 seconds)
2024-06-06 05:04:41 +0200td_(~td@i53870907.versanet.de)
2024-06-06 05:04:43 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds)
2024-06-06 05:09:48 +0200yin(~yin@user/zero) (Ping timeout: 268 seconds)
2024-06-06 05:15:40 +0200danse-nr3(~danse-nr3@151.37.102.5) (Read error: Connection reset by peer)
2024-06-06 05:15:40 +0200rembo10_(~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in)
2024-06-06 05:16:24 +0200rembo10(~rembo10@main.remulis.com)
2024-06-06 05:16:30 +0200danse-nr3(~danse-nr3@151.37.236.59)
2024-06-06 05:26:09 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds)
2024-06-06 05:38:54 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-06-06 05:41:21 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
2024-06-06 05:46:58 +0200euleritian(~euleritia@dynamic-176-006-188-240.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-06-06 05:47:15 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-06-06 05:52:55 +0200aforemny(~aforemny@2001:9e8:6cda:3f00:3468:7a02:917d:2f6b)
2024-06-06 05:53:54 +0200aforemny_(~aforemny@i59F516CD.versanet.de) (Ping timeout: 268 seconds)
2024-06-06 05:55:28 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-06-06 05:56:01 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-06-06 05:59:22 +0200michalz(~michalz@185.246.207.205)
2024-06-06 05:59:56 +0200michalz(~michalz@185.246.207.205) (Client Quit)
2024-06-06 06:02:44 +0200michalz(~michalz@185.246.207.221)
2024-06-06 06:31:53 +0200sabino(~sabino@user/sabino) (Quit: Lambda _ -> x)
2024-06-06 06:49:36 +0200xdminsy(~xdminsy@117.147.70.212) (Quit: Konversation terminated!)
2024-06-06 06:50:10 +0200 <Inst> yin: i was just wondering because i wanted to do `or` in lieu of <|> or when I needed a custom implementation
2024-06-06 06:50:16 +0200xdminsy(~xdminsy@117.147.70.212)
2024-06-06 06:53:01 +0200andrei_n(~andrei_n@user/andrei-n:62396)
2024-06-06 07:11:36 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds)
2024-06-06 07:13:15 +0200euleritian(~euleritia@77.22.252.56)
2024-06-06 07:14:54 +0200CiaoSen(~Jura@2a05:5800:222:5600:e6b9:7aff:fe80:3d03)
2024-06-06 07:17:46 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds)
2024-06-06 07:19:04 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2024-06-06 07:21:47 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-06-06 07:28:23 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-06-06 07:30:05 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-06-06 07:37:11 +0200euleritian(~euleritia@77.22.252.56) (Ping timeout: 264 seconds)
2024-06-06 07:38:07 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds)
2024-06-06 07:39:29 +0200euleritian(~euleritia@dynamic-176-006-188-240.176.6.pool.telefonica.de)
2024-06-06 07:45:04 +0200acidjnk(~acidjnk@p200300d6e714dc12b175fd0aabb0962d.dip0.t-ipconnect.de)
2024-06-06 07:46:54 +0200haetsal(~quassel@221.138.168.192)
2024-06-06 07:48:15 +0200philopsos1(~caecilius@user/philopsos)
2024-06-06 07:49:10 +0200 <haetsal> I am planning to learn Haskell and Clojure. Which language should I learn first?
2024-06-06 07:50:19 +0200bilegeek(~bilegeek@2600:1008:b01f:a4f3:2e65:d01c:1be0:49de)
2024-06-06 07:51:26 +0200 <haskellbridge> <Jade> You're asking in a very biased space, I think
2024-06-06 07:52:27 +0200 <haetsal> T.T Where should I ask the question? At Rust channel?
2024-06-06 07:57:19 +0200euleritian(~euleritia@dynamic-176-006-188-240.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-06-06 07:57:39 +0200euleritian(~euleritia@dynamic-176-006-188-240.176.6.pool.telefonica.de)
2024-06-06 07:59:36 +0200 <probie> haetsal: Either learn them concurrently, or flip a coin to decide. They're both functional languages that attempt to eschew side effects (although Clojure has a few more difficulties here because you'll often use java objects), but apart from that they're quite different
2024-06-06 08:02:54 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-06-06 08:15:16 +0200y04nn(~username@2a03:1b20:8:f011::e10d)
2024-06-06 08:43:52 +0200bilegeek(~bilegeek@2600:1008:b01f:a4f3:2e65:d01c:1be0:49de) (Quit: Leaving)
2024-06-06 08:47:12 +0200ft(~ft@p508db8fc.dip0.t-ipconnect.de) (Quit: leaving)
2024-06-06 08:50:34 +0200andrei_n(~andrei_n@user/andrei-n:62396) (Ping timeout: 268 seconds)
2024-06-06 08:57:59 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-06-06 08:59:29 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2024-06-06 09:07:11 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-06 09:07:32 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 268 seconds)
2024-06-06 09:13:41 +0200danse-nr3(~danse-nr3@151.37.236.59) (Ping timeout: 240 seconds)
2024-06-06 09:19:24 +0200Jackneill(~Jackneill@94-21-193-177.pool.digikabel.hu)
2024-06-06 09:28:32 +0200titibandit(e33ffbab65@user/titibandit)
2024-06-06 09:30:48 +0200danza(~francesco@151.57.73.68)
2024-06-06 09:41:55 +0200 <haskellbridge> <maerwald> haetsal: I like the "functions first" approach, but Clojure is a disaster imo
2024-06-06 09:45:59 +0200 <haskellbridge> <maerwald> Not a friend of ad-hoc polymorphism in general. But clojure takes it to a new level
2024-06-06 09:47:25 +0200 <haskellbridge> <maerwald> Back when I did clojurescript, stuff would just crash at runtime or produce garbage due to the ridiculous amount of ad-hoc polymorphism
2024-06-06 09:47:48 +0200 <haskellbridge> <maerwald> Impossible to change code once you wrote it
2024-06-06 09:48:38 +0200danza(~francesco@151.57.73.68) (Ping timeout: 252 seconds)
2024-06-06 09:58:06 +0200euleritian(~euleritia@dynamic-176-006-188-240.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-06-06 09:58:23 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-06-06 10:03:18 +0200y04nn(~username@2a03:1b20:8:f011::e10d) (Ping timeout: 255 seconds)
2024-06-06 10:15:47 +0200chele(~chele@user/chele)
2024-06-06 10:17:49 +0200andrei_n(~andrei_n@user/andrei-n:62396)
2024-06-06 10:22:41 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-06 10:26:43 +0200andrei_n(~andrei_n@user/andrei-n:62396) (Ping timeout: 246 seconds)
2024-06-06 10:28:06 +0200danse-nr3(~danse-nr3@151.57.73.68)
2024-06-06 10:32:29 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-06 10:35:15 +0200CiaoSen(~Jura@2a05:5800:222:5600:e6b9:7aff:fe80:3d03) (Ping timeout: 256 seconds)
2024-06-06 10:35:27 +0200Rodney_(~Rodney@176.254.244.83) (Ping timeout: 272 seconds)
2024-06-06 10:38:52 +0200andrei_n(~andrei_n@user/andrei-n:62396)
2024-06-06 10:43:22 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Ping timeout: 255 seconds)
2024-06-06 10:52:59 +0200gehmehgeh(~user@user/gehmehgeh)
2024-06-06 10:54:03 +0200gehmehgehgmg
2024-06-06 10:56:06 +0200TactfulCitrus(~al@2a02:8012:87a6:0:fbe0:6116:6e30:e047)
2024-06-06 10:57:59 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-06-06 11:06:36 +0200ubert(~Thunderbi@2a02:8109:ab8a:5a00:c2bd:e8a0:397a:8bec)
2024-06-06 11:07:45 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-06 11:08:45 +0200cfricke(~cfricke@user/cfricke)
2024-06-06 11:14:27 +0200m5zs7k(aquares@web10.mydevil.net) (Ping timeout: 252 seconds)
2024-06-06 11:15:35 +0200m5zs7k(aquares@web10.mydevil.net)
2024-06-06 11:15:58 +0200lxsameer(~lxsameer@Serene/lxsameer)
2024-06-06 11:20:01 +0200andrei_n(~andrei_n@user/andrei-n:62396) (Ping timeout: 256 seconds)
2024-06-06 11:20:51 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-06 11:21:40 +0200andrei_n(~andrei_n@2a02:a03f:c091:a800:52:e7b5:a091:a058)
2024-06-06 11:21:40 +0200andrei_n(~andrei_n@2a02:a03f:c091:a800:52:e7b5:a091:a058) (Changing host)
2024-06-06 11:21:40 +0200andrei_n(~andrei_n@user/andrei-n:62396)
2024-06-06 11:27:12 +0200__monty__(~toonn@user/toonn)
2024-06-06 11:27:34 +0200andrei_n(~andrei_n@user/andrei-n:62396) (Quit: Leaving)
2024-06-06 11:28:47 +0200sprout_sprout
2024-06-06 11:38:09 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds)
2024-06-06 11:42:59 +0200euleritian(~euleritia@dynamic-176-006-188-240.176.6.pool.telefonica.de)
2024-06-06 11:43:07 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-06-06 11:43:15 +0200euleritian(~euleritia@dynamic-176-006-188-240.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-06-06 11:43:32 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-06-06 11:46:06 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 260 seconds)
2024-06-06 11:55:32 +0200 <leah2> i know both, learning haskell first has more didactic purpose :)
2024-06-06 11:59:16 +0200danse-nr3(~danse-nr3@151.57.73.68) (Ping timeout: 268 seconds)
2024-06-06 12:02:34 +0200gmg(~user@user/gehmehgeh)
2024-06-06 12:03:49 +0200danse-nr3(~danse-nr3@151.57.73.68)
2024-06-06 12:05:43 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 255 seconds)
2024-06-06 12:10:19 +0200JamesMowery(~JamesMowe@ip174-74-159-82.ph.ph.cox.net) (Ping timeout: 256 seconds)
2024-06-06 12:14:19 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2024-06-06 12:15:07 +0200 <ncf> learn to think with types as soon as possible
2024-06-06 12:15:13 +0200ec(~ec@gateway/tor-sasl/ec)
2024-06-06 12:15:55 +0200 <ncf> (so, haskell)
2024-06-06 12:21:47 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds)
2024-06-06 12:23:07 +0200destituion(~destituio@2a02:2121:28c:be84:e630:c442:c264:e6ae) (Ping timeout: 272 seconds)
2024-06-06 12:23:30 +0200destituion(~destituio@85.221.111.174)
2024-06-06 12:33:44 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2024-06-06 12:34:29 +0200ec(~ec@gateway/tor-sasl/ec)
2024-06-06 12:39:35 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 272 seconds)
2024-06-06 12:52:16 +0200troojg(~troojg@99.36.5.199)
2024-06-06 12:57:14 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2024-06-06 13:01:19 +0200troojg(~troojg@99.36.5.199) (Ping timeout: 256 seconds)
2024-06-06 13:05:02 +0200xff0x(~xff0x@2405:6580:b080:900:6354:9783:4ed:b1bf)
2024-06-06 13:05:51 +0200rvalue(~rvalue@user/rvalue) (Ping timeout: 256 seconds)
2024-06-06 13:05:53 +0200CiaoSen(~Jura@2a05:5800:222:5600:e6b9:7aff:fe80:3d03)
2024-06-06 13:18:23 +0200danse-nr3(~danse-nr3@151.57.73.68) (Ping timeout: 260 seconds)
2024-06-06 13:19:13 +0200danse-nr3(~danse-nr3@151.43.26.225)
2024-06-06 13:23:05 +0200cfricke(~cfricke@user/cfricke)
2024-06-06 13:25:25 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-06 13:29:18 +0200TactfulCitrus(~al@2a02:8012:87a6:0:fbe0:6116:6e30:e047) (Ping timeout: 268 seconds)
2024-06-06 13:32:44 +0200rvalue(~rvalue@user/rvalue)
2024-06-06 13:35:10 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2024-06-06 13:37:19 +0200danse-nr3(~danse-nr3@151.43.26.225) (Ping timeout: 268 seconds)
2024-06-06 13:39:14 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-06 13:53:24 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-06 14:05:02 +0200danse-nr3(~danse-nr3@151.43.31.160)
2024-06-06 14:09:34 +0200danse-nr3(~danse-nr3@151.43.31.160) (Remote host closed the connection)
2024-06-06 14:11:41 +0200mrmr1553343(~mrmr@user/mrmr) (Ping timeout: 240 seconds)
2024-06-06 14:15:49 +0200rosco(~rosco@183.171.72.198)
2024-06-06 14:19:37 +0200mrmr15533434(~mrmr@user/mrmr)
2024-06-06 14:29:29 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-06-06 14:32:04 +0200CrunchyFlakes(~CrunchyFl@146.52.130.128)
2024-06-06 14:35:08 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2024-06-06 14:43:23 +0200byorgey(~byorgey@155.138.238.211)
2024-06-06 14:43:23 +0200byorgey(~byorgey@155.138.238.211) (Changing host)
2024-06-06 14:43:23 +0200byorgey(~byorgey@user/byorgey)
2024-06-06 14:45:22 +0200destituion(~destituio@85.221.111.174) (Ping timeout: 246 seconds)
2024-06-06 14:45:30 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-06-06 14:45:58 +0200rvalue(~rvalue@user/rvalue)
2024-06-06 14:48:34 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds)
2024-06-06 14:50:52 +0200destituion(~destituio@2a02:2121:28c:be84:bcd6:b428:e58d:1c11)
2024-06-06 14:52:41 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2024-06-06 15:03:19 +0200vadparaszt(~Rodney@176.254.244.83)
2024-06-06 15:17:33 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 4.2.2)
2024-06-06 15:22:41 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-06 15:24:08 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-06 15:25:38 +0200danse-nr3(~danse-nr3@151.35.247.12)
2024-06-06 15:26:59 +0200mulk(~mulk@p5b2dc1a2.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2024-06-06 15:35:23 +0200mulk(~mulk@p5b2dc1a2.dip0.t-ipconnect.de)
2024-06-06 15:36:56 +0200 <haskellbridge> <zwro> idris first!
2024-06-06 15:40:07 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-06-06 15:40:37 +0200rvalue(~rvalue@user/rvalue)
2024-06-06 15:41:01 +0200euphores(~SASL_euph@user/euphores) (Ping timeout: 246 seconds)
2024-06-06 15:44:35 +0200AlexNoo_(~AlexNoo@178.34.163.65)
2024-06-06 15:45:04 +0200y04nn(~username@2a03:1b20:8:f011::e10d)
2024-06-06 15:46:47 +0200AlexZenon(~alzenon@178.34.150.84) (Ping timeout: 260 seconds)
2024-06-06 15:48:00 +0200bionade24(~quassel@server2.oscloud.info) (Quit: Apocalypse Incoming!)
2024-06-06 15:48:01 +0200AlexNoo(~AlexNoo@178.34.150.84) (Ping timeout: 246 seconds)
2024-06-06 15:48:50 +0200bionade24(~quassel@2a03:4000:33:45b::1)
2024-06-06 15:49:16 +0200euphores(~SASL_euph@user/euphores)
2024-06-06 15:50:28 +0200AlexZenon(~alzenon@178.34.163.65)
2024-06-06 15:51:39 +0200yin(~yin@user/zero)
2024-06-06 15:55:40 +0200AlexNoo_AlexNoo
2024-06-06 15:59:28 +0200rosco(~rosco@183.171.72.198) (Quit: Lost terminal)
2024-06-06 16:01:53 +0200xdminsy(~xdminsy@117.147.70.212) (Quit: Konversation terminated!)
2024-06-06 16:08:00 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-06 16:10:53 +0200cfricke(~cfricke@user/cfricke)
2024-06-06 16:17:24 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-06 16:26:42 +0200CrunchyFlakes(~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer)
2024-06-06 16:28:59 +0200CrunchyFlakes(~CrunchyFl@146.52.130.128)
2024-06-06 16:38:10 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-06 16:41:05 +0200y04nn(~username@2a03:1b20:8:f011::e10d) (Ping timeout: 268 seconds)
2024-06-06 16:47:14 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-06-06 16:47:43 +0200rvalue(~rvalue@user/rvalue)
2024-06-06 16:49:17 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2024-06-06 16:49:23 +0200euleritian(~euleritia@dynamic-176-001-213-095.176.1.pool.telefonica.de)
2024-06-06 17:08:10 +0200CiaoSen(~Jura@2a05:5800:222:5600:e6b9:7aff:fe80:3d03) (Ping timeout: 246 seconds)
2024-06-06 17:08:13 +0200yin(~yin@user/zero) (Ping timeout: 268 seconds)
2024-06-06 17:09:50 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-06 17:10:20 +0200Sgeo(~Sgeo@user/sgeo)
2024-06-06 17:12:29 +0200m5zs7k(aquares@web10.mydevil.net) (Ping timeout: 252 seconds)
2024-06-06 17:12:57 +0200sabino(~sabino@user/sabino)
2024-06-06 17:18:12 +0200chele(~chele@user/chele) (Remote host closed the connection)
2024-06-06 17:23:20 +0200xdminsy(~xdminsy@117.147.70.212)
2024-06-06 17:24:24 +0200m5zs7k(aquares@web10.mydevil.net)
2024-06-06 17:29:25 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 4.2.2)
2024-06-06 17:32:54 +0200danse-nr3(~danse-nr3@151.35.247.12) (Quit: Leaving)
2024-06-06 17:36:10 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 246 seconds)
2024-06-06 17:46:07 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-06 17:54:20 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-06 17:58:59 +0200philopsos1(~caecilius@user/philopsos)
2024-06-06 18:08:02 +0200billchenchina(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe)
2024-06-06 18:08:02 +0200billchenchina(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Client Quit)
2024-06-06 18:15:07 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-06 18:20:05 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2024-06-06 18:21:40 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 246 seconds)
2024-06-06 18:28:47 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-06-06 18:30:59 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-06 18:34:47 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2024-06-06 18:40:47 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-06 18:46:52 +0200ubert(~Thunderbi@2a02:8109:ab8a:5a00:c2bd:e8a0:397a:8bec) (Remote host closed the connection)
2024-06-06 18:50:35 +0200Square(~Square@user/square) (Ping timeout: 268 seconds)
2024-06-06 19:04:09 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-06 19:06:38 +0200euleritian(~euleritia@dynamic-176-001-213-095.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-06-06 19:06:56 +0200euleritian(~euleritia@77.22.252.56)
2024-06-06 19:14:12 +0200ft(~ft@p508db8fc.dip0.t-ipconnect.de)
2024-06-06 19:18:19 +0200driib3(~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat)
2024-06-06 19:20:11 +0200m5zs7k(aquares@web10.mydevil.net) (Ping timeout: 268 seconds)
2024-06-06 19:24:51 +0200m5zs7k(aquares@web10.mydevil.net)
2024-06-06 19:28:42 +0200driib3(~driib@vmi931078.contaboserver.net)
2024-06-06 19:38:16 +0200EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2024-06-06 19:38:35 +0200EvanR(~EvanR@user/evanr)
2024-06-06 19:50:51 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds)
2024-06-06 19:55:14 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-06-06 19:57:52 +0200yin(~yin@user/zero)
2024-06-06 20:01:24 +0200euphores(~SASL_euph@user/euphores)
2024-06-06 20:10:04 +0200Sciencentistguy(~sciencent@hacksoc/ordinary-member) (Quit: o/)
2024-06-06 20:10:47 +0200TactfulCitrus(~al@2a02:8012:87a6:0:fbe0:6116:6e30:e047)
2024-06-06 20:15:47 +0200Sciencentistguy(~sciencent@hacksoc/ordinary-member)
2024-06-06 20:28:50 +0200euleritian(~euleritia@77.22.252.56) (Ping timeout: 252 seconds)
2024-06-06 20:29:05 +0200euleritian(~euleritia@dynamic-176-001-213-095.176.1.pool.telefonica.de)
2024-06-06 20:39:39 +0200kimiamania(~65804703@user/kimiamania) (Quit: PegeLinux)
2024-06-06 20:40:31 +0200kimiamania(~65804703@user/kimiamania)
2024-06-06 20:43:21 +0200target_i(~target_i@user/target-i/x-6023099)
2024-06-06 20:45:17 +0200son0p(~ff@186.121.13.247) (Ping timeout: 240 seconds)
2024-06-06 20:46:13 +0200pavonia(~user@user/siracusa)
2024-06-06 20:46:42 +0200sawilagar(~sawilagar@user/sawilagar)
2024-06-06 20:47:02 +0200beowuff(~beowuff@50.125.248.222) (Quit: I'm outta here! Need to install BSD on ALL THE THINGS!)
2024-06-06 21:00:40 +0200euleritian(~euleritia@dynamic-176-001-213-095.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-06-06 21:00:58 +0200euleritian(~euleritia@77.22.252.56)
2024-06-06 21:18:37 +0200danza(~francesco@151.35.242.164)
2024-06-06 21:20:45 +0200danza(~francesco@151.35.242.164) (Max SendQ exceeded)
2024-06-06 21:22:11 +0200sabino(~sabino@user/sabino) (Ping timeout: 264 seconds)
2024-06-06 21:32:51 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2024-06-06 21:38:02 +0200phma(phma@2001:5b0:210b:ecc8:cdb8:a70d:f88f:fa0) (Read error: Connection reset by peer)
2024-06-06 21:38:58 +0200phma(phma@2001:5b0:210d:f768:2600:12a9:978d:9103)
2024-06-06 21:39:23 +0200TactfulCitrus(~al@2a02:8012:87a6:0:fbe0:6116:6e30:e047) (Ping timeout: 256 seconds)
2024-06-06 21:43:10 +0200y04nn(~username@2a03:1b20:8:f011::e10d)
2024-06-06 21:44:39 +0200causal(~eric@50.35.88.207) (Quit: WeeChat 4.1.1)
2024-06-06 21:44:52 +0200todi(~todi@p57803331.dip0.t-ipconnect.de)
2024-06-06 21:55:17 +0200Rodney_(~Rodney@176.254.244.83)
2024-06-06 21:58:49 +0200vadparaszt(~Rodney@176.254.244.83) (Ping timeout: 272 seconds)
2024-06-06 22:18:15 +0200phma(phma@2001:5b0:210d:f768:2600:12a9:978d:9103) (Read error: Connection reset by peer)
2024-06-06 22:25:26 +0200 <haskellbridge> <oak> My personal recommendation is to skip Clojure altogether, and if you want to learn proper LISP, maybe go to Common Lisp or something
2024-06-06 22:25:28 +0200 <haskellbridge> <oak> Couple of years ago I worked with Clojure professionally for some time, and I never want to touch Clojure again :D We were just doing this small HTTP microservice based project, but still the starting times even for the very simplest web service were around 45-90 seconds each
2024-06-06 22:25:31 +0200 <haskellbridge> <oak> Then you could try to hack around it by using different hot reload solutions, but it felt like too much hackery
2024-06-06 22:25:33 +0200 <haskellbridge> <oak> Then later I was doing another HTTP microservice project, basically it connected to one API, pulled JSON from there, and then pushed XML back to the requester. That I did with Haskell and Servant and RIO, it was very nice, even very complex refactorings that took many hours, instantly worked when I got the code to the state it compiles
2024-06-06 22:25:37 +0200 <haskellbridge> <oak> Some people complaint that Haskell is slow to compile, but still the incremental builds and starting HTTP server again every time was around 3-5 secs every time. Not 45-90 seconds :D
2024-06-06 22:25:40 +0200phma(phma@2001:5b0:2172:c168:223e:807a:618e:7153)
2024-06-06 22:25:40 +0200 <haskellbridge> <oak> Maybe Clojure could be nicer nowadays when it has other options than to use JVM as a backend
2024-06-06 22:25:40 +0200 <haskellbridge> <oak> I think the reason why Clojure has gained so much popularity is political. It is easy to sell to companies as "another JVM language"
2024-06-06 22:25:41 +0200 <haskellbridge> <zwro> i chose scheme when i wanted to learn a lisp but always had curiosity for typed racket
2024-06-06 22:26:02 +0200CrunchyFlakes(~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer)
2024-06-06 22:28:39 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
2024-06-06 22:35:44 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2024-06-06 22:39:32 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-06-06 22:51:17 +0200yin(~yin@user/zero) (Ping timeout: 240 seconds)
2024-06-06 22:52:03 +0200michalz(~michalz@185.246.207.221) (Quit: ZNC 1.9.0 - https://znc.in)
2024-06-06 22:54:29 +0200son0p(~ff@186.121.8.17)
2024-06-06 23:01:03 +0200Inst(~Inst@user/Inst) (Read error: Connection reset by peer)
2024-06-06 23:03:01 +0200Inst(~Inst@user/Inst)
2024-06-06 23:07:42 +0200CiaoSen(~Jura@2a05:5800:222:5600:e6b9:7aff:fe80:3d03)
2024-06-06 23:08:58 +0200hiredman(~hiredman@frontier1.downey.family) (Ping timeout: 268 seconds)
2024-06-06 23:17:58 +0200hiredman(~hiredman@frontier1.downey.family)
2024-06-06 23:19:27 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 268 seconds)
2024-06-06 23:21:24 +0200beowuff(~beowuff@ec2-52-39-41-195.us-west-2.compute.amazonaws.com)
2024-06-06 23:27:51 +0200beowuff(~beowuff@ec2-52-39-41-195.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds)
2024-06-06 23:28:57 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-06-06 23:30:13 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2024-06-06 23:32:43 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds)
2024-06-06 23:36:52 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2024-06-06 23:39:17 +0200ystael(~ystael@user/ystael) (Ping timeout: 240 seconds)
2024-06-06 23:45:21 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 268 seconds)