| 2024-03-25 00:00:10 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-25 00:00:26 +0100 | <edmundnoble_> | I'm probably pointing to the wrong one of these top level definitions, point is all of them have both the include paths in the builddir and cabal_macros.h |
| 2024-03-25 00:01:43 +0100 | <edmundnoble_> | Unconditionally |
| 2024-03-25 00:17:17 +0100 | <baghead> | can ghci run threaded on linux using "ghci -fobject-code +RTS -N14" for 14 cores? |
| 2024-03-25 00:17:39 +0100 | <geekosaur> | ghci always runs -threaded unless the platform doesn't support -threaded at all |
| 2024-03-25 00:18:12 +0100 | sadie_ | (~sadie@c-76-155-235-153.hsd1.co.comcast.net) |
| 2024-03-25 00:18:17 +0100 | <geekosaur> | the +RTS option should work, yes |
| 2024-03-25 00:18:50 +0100 | <baghead> | i guess i mean the code that you invoke from ghci rather than ghci itself |
| 2024-03-25 00:19:14 +0100 | <Axman6> | the code should be able to use threads just fine I believe |
| 2024-03-25 00:19:16 +0100 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-25 00:19:22 +0100 | <geekosaur> | there's no real difference |
| 2024-03-25 00:19:22 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2024-03-25 00:19:47 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-03-25 00:22:30 +0100 | <baghead> | linux only has processes trees tho, not actual threads right? |
| 2024-03-25 00:22:43 +0100 | <geekosaur> | that changed several years back |
| 2024-03-25 00:22:47 +0100 | dolio | (~dolio@130.44.134.54) |
| 2024-03-25 00:22:52 +0100 | <baghead> | oh ok |
| 2024-03-25 00:22:57 +0100 | <geekosaur> | LinuxThreads proved incapable of emulating POSIX threads properly |
| 2024-03-25 00:25:45 +0100 | <geekosaur> | (that said, they were in fact real threads, not just processes) |
| 2024-03-25 00:26:39 +0100 | <geekosaur> | Linux's processes can share a lot of state that processes on other unixlikes can't. but all the POSIX threads edge cases didn't quite work right |
| 2024-03-25 00:28:17 +0100 | sadie_ | (~sadie@c-76-155-235-153.hsd1.co.comcast.net) (Remote host closed the connection) |
| 2024-03-25 00:28:38 +0100 | <ph88> | Do these extensions have to be enabled separately? https://gitlab.haskell.org/ghc/ghc/-/wikis/records/overloaded-record-fields |
| 2024-03-25 00:29:32 +0100 | <geekosaur> | yes, but you don't necessarily need all of them |
| 2024-03-25 00:31:15 +0100 | <geekosaur> | in particular, it makes no sense to turn on both OverloadedLabels and OverloadedRecordDot |
| 2024-03-25 00:31:57 +0100 | <geekosaur> | and DuplicateRecordFields can be used without the others as long as all duplicate fields have the same type |
| 2024-03-25 00:33:08 +0100 | <geekosaur> | (iirc) |
| 2024-03-25 00:34:35 +0100 | <ph88> | what's a good set of extensions to enable to make use of the new record abilities ? |
| 2024-03-25 00:35:24 +0100 | <geekosaur> | I'm not the person to ask about that since I think OverloadedRecordDot was a mistake |
| 2024-03-25 00:37:05 +0100 | <sm> | ph88: yesterday you were asking about rebuilding with stack - in addition to ghcid there stack CMD --file-watch (eg stack build --fast --file-watch). And for special cases those don't handle you can fall back on watchexec. |
| 2024-03-25 00:37:41 +0100 | <geekosaur> | ah, that's what I was trying to remember |
| 2024-03-25 00:38:26 +0100 | CiaoSen | (~Jura@2a05:5800:2bf:a100:e6b9:7aff:fe80:3d03) (Ping timeout: 255 seconds) |
| 2024-03-25 00:39:55 +0100 | <ph88> | sm, ye --file-watch doesn't work with run unfortunately :( watchexec i used for another language but it's a bit buggy sometimes |
| 2024-03-25 00:41:38 +0100 | bilegeek | (~bilegeek@2600:1008:b04a:9621:d0c1:8618:fbe8:cc7b) |
| 2024-03-25 00:43:18 +0100 | <sm> | oh.. I haven't found any watchexec bugs, but it's true it can't detect changes by default in all cases - when I'm saving from VS code / working in a vs code terminal seems to be a notable one. It has some other detection methods but I haven't given them a good try. |
| 2024-03-25 00:43:41 +0100 | <sm> | I'm sure it varies by platform too |
| 2024-03-25 00:45:11 +0100 | shapr` | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 2024-03-25 00:46:36 +0100 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Ping timeout: 245 seconds) |
| 2024-03-25 01:03:32 +0100 | TonyStone | (~TonyStone@074-076-057-186.res.spectrum.com) |
| 2024-03-25 01:04:33 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:a348:5b9b:d1d8:430e) (Remote host closed the connection) |
| 2024-03-25 01:18:41 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-03-25 01:20:29 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Ping timeout: 256 seconds) |
| 2024-03-25 01:22:45 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 256 seconds) |
| 2024-03-25 01:22:49 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-03-25 01:31:49 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3141-4956-88db-6233-762e-794e.rev.sfr.net) (Remote host closed the connection) |
| 2024-03-25 01:32:50 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-03-25 01:34:21 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-03-25 01:34:38 +0100 | mechap | (~mechap@user/mechap) (Ping timeout: 268 seconds) |
| 2024-03-25 01:35:23 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 2024-03-25 01:48:42 +0100 | shapr` | shapr |
| 2024-03-25 01:49:04 +0100 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Quit: sleep) |
| 2024-03-25 02:06:49 +0100 | Guest52 | (~Guest52@185.57.29.142) (Quit: Ping timeout (120 seconds)) |
| 2024-03-25 02:23:50 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 2024-03-25 02:28:23 +0100 | Guest52 | (~Guest52@185.57.29.142) |
| 2024-03-25 02:37:55 +0100 | fedorafan | (~fedorafan@user/fedorafan) (Ping timeout: 260 seconds) |
| 2024-03-25 02:42:10 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-25 02:42:50 +0100 | fedorafan | (~fedorafan@user/fedorafan) |
| 2024-03-25 03:06:27 +0100 | bilegeek | (~bilegeek@2600:1008:b04a:9621:d0c1:8618:fbe8:cc7b) (Quit: Leaving) |
| 2024-03-25 03:14:02 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-25 03:16:56 +0100 | img | (~img@user/img) |
| 2024-03-25 03:19:49 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
| 2024-03-25 03:25:02 +0100 | otto_s | (~user@p5de2f3cc.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-03-25 03:26:16 +0100 | otto_s | (~user@p4ff27516.dip0.t-ipconnect.de) |
| 2024-03-25 03:35:21 +0100 | mulk | (~mulk@p5b2dc2aa.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-03-25 03:37:02 +0100 | xff0x | (~xff0x@ai082039.d.east.v6connect.net) (Ping timeout: 264 seconds) |
| 2024-03-25 03:37:55 +0100 | mulk | (~mulk@p5b112c85.dip0.t-ipconnect.de) |
| 2024-03-25 03:45:50 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-03-25 03:46:05 +0100 | mima | (~mmh@aftr-62-216-211-109.dynamic.mnet-online.de) (Ping timeout: 240 seconds) |
| 2024-03-25 03:58:18 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 260 seconds) |
| 2024-03-25 03:59:42 +0100 | xff0x | (~xff0x@2405:6580:b080:900:3f35:2895:6fd4:d2c6) |
| 2024-03-25 04:00:26 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-03-25 04:30:12 +0100 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-03-25 04:36:01 +0100 | gentauro | (~gentauro@user/gentauro) |
| 2024-03-25 04:38:44 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-03-25 04:39:10 +0100 | Typedfern | (~Typedfern@82.red-83-37-24.dynamicip.rima-tde.net) (Ping timeout: 255 seconds) |
| 2024-03-25 04:41:50 +0100 | td_ | (~td@i53870928.versanet.de) (Ping timeout: 264 seconds) |
| 2024-03-25 04:43:09 +0100 | td_ | (~td@i53870914.versanet.de) |
| 2024-03-25 04:55:12 +0100 | Typedfern | (~Typedfern@82.red-83-37-24.dynamicip.rima-tde.net) |
| 2024-03-25 04:58:11 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-03-25 04:58:56 +0100 | xigua | (~xigua@user/xigua) (Read error: Connection reset by peer) |
| 2024-03-25 04:59:10 +0100 | xigua | (~xigua@user/xigua) |
| 2024-03-25 05:03:35 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2024-03-25 05:06:18 +0100 | aforemny_ | (~aforemny@i59F516FA.versanet.de) |
| 2024-03-25 05:06:37 +0100 | aforemny | (~aforemny@2001:9e8:6cef:a200:5c66:7868:1cde:e3b5) (Ping timeout: 255 seconds) |
| 2024-03-25 05:12:12 +0100 | acidjnk_new | (~acidjnk@p200300d6e733bd6460cb954dffdecc30.dip0.t-ipconnect.de) |
| 2024-03-25 05:14:10 +0100 | acidjnk | (~acidjnk@p200300d6e72b6a8560cb954dffdecc30.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-03-25 05:19:58 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2024-03-25 05:23:35 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 2024-03-25 05:28:45 +0100 | JimL | (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-03-25 05:29:10 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-03-25 05:31:38 +0100 | JimL | (~quassel@89.162.16.26) |
| 2024-03-25 05:41:37 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-25 05:45:22 +0100 | rosco | (~rosco@118.100.177.145) |
| 2024-03-25 05:53:18 +0100 | zmt00 | (~zmt00@user/zmt00) (Quit: Leaving) |
| 2024-03-25 05:55:45 +0100 | zmt00 | (~zmt00@user/zmt00) |
| 2024-03-25 05:58:16 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2024-03-25 06:00:55 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-03-25 06:04:14 +0100 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 2024-03-25 06:05:46 +0100 | Square | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2024-03-25 06:10:36 +0100 | [Leary] | (~Leary]@user/Leary/x-0910699) |
| 2024-03-25 06:29:38 +0100 | rosco | (~rosco@118.100.177.145) (Quit: Lost terminal) |
| 2024-03-25 06:46:26 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-03-25 06:56:13 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2024-03-25 06:58:53 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-03-25 07:04:29 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-03-25 07:05:30 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-03-25 07:06:22 +0100 | qqq | (~qqq@92.43.167.61) |
| 2024-03-25 07:07:18 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-03-25 07:08:09 +0100 | michalz | (~michalz@185.246.207.221) |
| 2024-03-25 07:17:06 +0100 | danza | (~francesco@151.57.70.37) |
| 2024-03-25 07:26:02 +0100 | Guest52 | (~Guest52@185.57.29.142) (Ping timeout: 250 seconds) |
| 2024-03-25 07:30:26 +0100 | Guest52 | (~Guest52@185.57.29.142) |
| 2024-03-25 07:40:32 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-03-25 08:05:59 +0100 | CiaoSen | (~Jura@2a05:5800:2dc:6100:e6b9:7aff:fe80:3d03) |
| 2024-03-25 08:09:05 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-03-25 08:10:45 +0100 | mei | (~mei@user/mei) (Ping timeout: 256 seconds) |
| 2024-03-25 08:17:59 +0100 | vgtw | (~vgtw@user/vgtw) |
| 2024-03-25 08:30:47 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-03-25 08:31:27 +0100 | Benzi-Junior | (~BenziJuni@232-148-209-31.dynamic.hringdu.is) (Ping timeout: 272 seconds) |
| 2024-03-25 08:31:54 +0100 | Benzi-Junior | (~BenziJuni@232-148-209-31.dynamic.hringdu.is) |
| 2024-03-25 08:37:02 +0100 | mechap | (~mechap@user/mechap) |
| 2024-03-25 08:39:28 +0100 | danza | (~francesco@151.57.70.37) (Ping timeout: 255 seconds) |
| 2024-03-25 08:46:56 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-03-25 08:52:09 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-03-25 08:58:33 +0100 | visilii | (~visilii@188.254.126.99) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-03-25 08:59:18 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
| 2024-03-25 09:01:06 +0100 | visilii | (~visilii@188.254.126.99) |
| 2024-03-25 09:01:25 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-03-25 09:04:32 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-03-25 09:07:46 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-25 09:13:07 +0100 | danse-nr3 | (~danse@151.57.70.37) |
| 2024-03-25 09:13:13 +0100 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-03-25 09:13:14 +0100 | danse-nr3 | (~danse@151.57.70.37) (Remote host closed the connection) |
| 2024-03-25 09:13:38 +0100 | danse-nr3 | (~danse@151.57.70.37) |
| 2024-03-25 09:18:16 +0100 | mechap | (~mechap@user/mechap) (Ping timeout: 246 seconds) |
| 2024-03-25 09:20:21 +0100 | mechap | (~mechap@user/mechap) |
| 2024-03-25 09:28:26 +0100 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) (Quit: nyaa~) |
| 2024-03-25 09:28:55 +0100 | mima | (~mmh@aftr-62-216-211-241.dynamic.mnet-online.de) |
| 2024-03-25 09:30:48 +0100 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) |
| 2024-03-25 09:33:07 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-25 09:33:09 +0100 | renpose | (~renpose@user/renpose) |
| 2024-03-25 09:33:37 +0100 | mei | (~mei@user/mei) |
| 2024-03-25 09:47:52 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 255 seconds) |
| 2024-03-25 09:56:08 +0100 | mechap | (~mechap@user/mechap) (Quit: WeeChat 4.2.1) |
| 2024-03-25 09:58:02 +0100 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-03-25 10:02:10 +0100 | <danse-nr3> | some day slack will get a parser |
| 2024-03-25 10:08:58 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-03-25 10:19:23 +0100 | mesaoptimizer | mesaoptimizer2 |
| 2024-03-25 10:26:44 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-03-25 10:30:12 +0100 | Guest52 | (~Guest52@185.57.29.142) (Ping timeout: 250 seconds) |
| 2024-03-25 10:30:37 +0100 | Guest52 | (~Guest52@185.57.29.142) |
| 2024-03-25 10:41:35 +0100 | sadie_ | (~sadie@c-76-155-235-153.hsd1.co.comcast.net) |
| 2024-03-25 10:45:26 +0100 | danse-nr3 | (~danse@151.57.70.37) (Ping timeout: 264 seconds) |
| 2024-03-25 10:45:26 +0100 | mesaoptimizer | (~mesa@user/PapuaHardyNet) |
| 2024-03-25 10:47:16 +0100 | <Inst> | hmmm |
| 2024-03-25 10:47:34 +0100 | <Inst> | just curious, would you gals and guys be interested in joining a social marketplace I want to set up? |
| 2024-03-25 10:47:43 +0100 | <Inst> | I realize my old dream of building wordpress in Haskell could be done this way |
| 2024-03-25 10:47:53 +0100 | <Inst> | Haskript is never going to make any money |
| 2024-03-25 10:48:37 +0100 | danse-nr3 | (~danse@151.57.70.37) |
| 2024-03-25 10:48:48 +0100 | <Inst> | on the other hand, a service that undercuts FiveRR by massive sums, is willing to pay companies to hire off the social marketplace, provides ideally a better experience than LinkedIn, |
| 2024-03-25 10:49:27 +0100 | <Inst> | and sells various services to users to compensate for lost revenue, can |
| 2024-03-25 10:52:04 +0100 | zetef | (~quassel@5.2.182.99) |
| 2024-03-25 10:54:20 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-03-25 10:54:35 +0100 | <danse-nr3> | not sure how this would look like but could give it a try. Products in haskell are so rare |
| 2024-03-25 10:55:45 +0100 | zetef | (~quassel@5.2.182.99) (Remote host closed the connection) |
| 2024-03-25 10:55:46 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-03-25 10:57:16 +0100 | mesaoptimizer | (~mesa@user/PapuaHardyNet) (Remote host closed the connection) |
| 2024-03-25 10:58:27 +0100 | mesaoptimizer | (~mesa@user/PapuaHardyNet) |
| 2024-03-25 10:58:58 +0100 | <danse-nr3> | although saw some products in the past trying to launch leveraging the fact that they are written in haskell, and seems lame |
| 2024-03-25 10:59:23 +0100 | <kuribas> | Is using generics still "boring haskell"? |
| 2024-03-25 10:59:24 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-25 10:59:34 +0100 | <kuribas> | like "DeriveGeneric". |
| 2024-03-25 11:02:01 +0100 | <Hecate> | kuribas: if it allows you to derive JSON interfacee automatically yes |
| 2024-03-25 11:03:52 +0100 | mesaoptimizer | (~mesa@user/PapuaHardyNet) (Quit: Using Circe, the loveliest of all IRC clients) |
| 2024-03-25 11:11:44 +0100 | <tomsmeding> | never mind that the implementation of said JSON derivation code is not boring haskell at all |
| 2024-03-25 11:13:28 +0100 | <kuribas> | ah true. |
| 2024-03-25 11:13:36 +0100 | mesa | (~mesaoptim@dhcp-138-246-3-201.dynamic.eduroam.mwn.de) |
| 2024-03-25 11:13:37 +0100 | mesa | (~mesaoptim@dhcp-138-246-3-201.dynamic.eduroam.mwn.de) (Remote host closed the connection) |
| 2024-03-25 11:13:51 +0100 | <kuribas> | maybe avoid derive any then... |
| 2024-03-25 11:14:21 +0100 | <tomsmeding> | I mean, it depends on what you mean by "boring haskell", and that depends on what you want to achieve with it |
| 2024-03-25 11:14:30 +0100 | mesaoptimizer | (~PapuaHard@user/PapuaHardyNet) |
| 2024-03-25 11:14:53 +0100 | <tomsmeding> | do you want your code to be easy to read, even to more junior haskellers? Then it doesn't really matter how the deriving machinery is implemented, as long as it's a sturdy black box |
| 2024-03-25 11:15:11 +0100 | <tomsmeding> | if you're idealistically motivated, then it matters a whole lot, but then, you know, that's your problem :p |
| 2024-03-25 11:18:19 +0100 | danse-nr3 | (~danse@151.57.70.37) (Read error: Connection reset by peer) |
| 2024-03-25 11:18:59 +0100 | danse-nr3 | (~danse@rm-19-4-142.service.infuturo.it) |
| 2024-03-25 11:18:59 +0100 | ft | (~ft@p508db238.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-03-25 11:23:04 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-03-25 11:24:09 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 2024-03-25 11:25:59 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2024-03-25 11:31:12 +0100 | <kuribas> | tomsmeding: yes that. And actually I think it possible to write clean haskell code without to much type hackery. |
| 2024-03-25 11:31:22 +0100 | <kuribas> | So a bit of both. |
| 2024-03-25 11:36:27 +0100 | <kuribas> | It is a nice challenge to be able to write haskell code that is simple and still well structured and performant. |
| 2024-03-25 11:51:25 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2024-03-25 11:53:23 +0100 | [Leary] | (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 2024-03-25 11:58:33 +0100 | zetef | (~quassel@5.2.182.99) |
| 2024-03-25 12:01:03 +0100 | imdoor | (~imdoor@balticom-142-78-50.balticom.lv) |
| 2024-03-25 12:03:44 +0100 | zetef | (~quassel@5.2.182.99) (Remote host closed the connection) |
| 2024-03-25 12:10:38 +0100 | imdoor | (~imdoor@balticom-142-78-50.balticom.lv) (Quit: imdoor) |
| 2024-03-25 12:12:09 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds) |
| 2024-03-25 12:12:23 +0100 | CiaoSen | (~Jura@2a05:5800:2dc:6100:e6b9:7aff:fe80:3d03) (Ping timeout: 260 seconds) |
| 2024-03-25 12:16:11 +0100 | zer0bitz_ | zer0bitz |
| 2024-03-25 12:19:27 +0100 | fedorafan | (~fedorafan@user/fedorafan) (Ping timeout: 252 seconds) |
| 2024-03-25 12:21:00 +0100 | fedorafan | (~fedorafan@user/fedorafan) |
| 2024-03-25 12:31:28 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-03-25 12:32:00 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-03-25 12:35:16 +0100 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-03-25 12:44:37 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |
| 2024-03-25 12:56:59 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-03-25 13:04:48 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 2024-03-25 13:32:12 +0100 | Guest52 | (~Guest52@185.57.29.142) (Ping timeout: 250 seconds) |
| 2024-03-25 13:32:17 +0100 | elkcl | (~elkcl@broadband-178-140-136-65.ip.moscow.rt.ru) (Ping timeout: 272 seconds) |
| 2024-03-25 13:36:58 +0100 | elkcl | (~elkcl@broadband-178-140-136-65.ip.moscow.rt.ru) |
| 2024-03-25 13:45:54 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) |
| 2024-03-25 13:53:23 +0100 | sadie_ | (~sadie@c-76-155-235-153.hsd1.co.comcast.net) (Remote host closed the connection) |
| 2024-03-25 14:00:54 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-03-25 14:11:12 +0100 | euphores | (~SASL_euph@user/euphores) |
| 2024-03-25 14:14:23 +0100 | danse-nr3 | (~danse@rm-19-4-142.service.infuturo.it) (Ping timeout: 264 seconds) |
| 2024-03-25 14:24:29 +0100 | mmhat | (~mmh@p200300f1c706a252ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2024-03-25 14:24:51 +0100 | mmhat | (~mmh@p200300f1c706a298ee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-03-25 14:37:05 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-03-25 14:37:20 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-03-25 14:41:23 +0100 | <Inst> | also, btw, either this year or next few years will literally be the year of linux on desktop :3 |
| 2024-03-25 14:42:05 +0100 | <Inst> | China is banning Intel and AMD, Microsoft Windows from government computers |
| 2024-03-25 14:42:27 +0100 | <Inst> | China has a love-hate relationship with Apple, so they're likely to push Kylin Linux or some derivatives in |
| 2024-03-25 14:42:38 +0100 | <Inst> | shame that NixOS is so niche, though |
| 2024-03-25 14:44:29 +0100 | <terrorjack> | Inst, probably better for #haskell-offtopic but it's not yet a big deal before m$ shuts down their china branch. also they have a special windows 10 for chinese gov that disables all m$ telemetry which still runs on x86_64 |
| 2024-03-25 14:46:22 +0100 | ystael | (~ystael@user/ystael) |
| 2024-03-25 14:47:21 +0100 | CiaoSen | (~Jura@2a05:5800:2dc:6100:e6b9:7aff:fe80:3d03) |
| 2024-03-25 14:51:58 +0100 | <Inst> | sorry, was just trying to think of some cheerful topics, it's like, Linux is close to going mainstream, FP is pretty mainstream these days |
| 2024-03-25 14:52:05 +0100 | <Inst> | one day maybe Haskell will be too :3 |
| 2024-03-25 14:53:05 +0100 | euphores | (~SASL_euph@user/euphores) |
| 2024-03-25 14:53:09 +0100 | danse-nr3 | (~danse@151.57.75.207) |
| 2024-03-25 14:58:46 +0100 | CiaoSen | (~Jura@2a05:5800:2dc:6100:e6b9:7aff:fe80:3d03) (Ping timeout: 268 seconds) |
| 2024-03-25 15:11:54 +0100 | acarrico | (~acarrico@dhcp-68-142-49-163.greenmountainaccess.net) |
| 2024-03-25 15:14:23 +0100 | forell | (~forell@user/forell) (Ping timeout: 264 seconds) |
| 2024-03-25 15:16:46 +0100 | <terrorjack> | have you heard of job security by obscurity /s |
| 2024-03-25 15:17:55 +0100 | <terrorjack> | joke aside, would be nice to have some success stories for haskell on non compiler or web backend things |
| 2024-03-25 15:21:56 +0100 | forell | (~forell@user/forell) |
| 2024-03-25 15:24:32 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-25 15:25:08 +0100 | mei | (~mei@user/mei) |
| 2024-03-25 15:27:12 +0100 | mei | (~mei@user/mei) (Client Quit) |
| 2024-03-25 15:27:37 +0100 | mei | (~mei@user/mei) |
| 2024-03-25 15:33:53 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2024-03-25 15:36:36 +0100 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 2024-03-25 15:37:43 +0100 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2024-03-25 15:38:05 +0100 | euleritian | (~euleritia@dynamic-176-006-203-223.176.6.pool.telefonica.de) |
| 2024-03-25 15:38:40 +0100 | <probie> | Like pandoc and git-annex? |
| 2024-03-25 15:42:12 +0100 | thaumavorio_ | (~thaumavor@thaumavor.io) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-25 15:43:36 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3440-4e49-dce3-e649-2e34-6242.rev.sfr.net) |
| 2024-03-25 15:45:03 +0100 | thaumavorio | (~thaumavor@thaumavor.io) |
| 2024-03-25 15:49:38 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-03-25 15:53:18 +0100 | <edmundnoble_> | fwiw if anyone's curious about the cabal caching VCS thing I was doing the other day, I solved it for myself by just making a "current cache" symlink which I always use as the builddir. Unfortunately my approach of using hard links to avoid using unnecessary space sort of falls apart due to linked executables being the things that actually take up all of the space in the cache. |
| 2024-03-25 15:54:50 +0100 | <edmundnoble_> | cabal will also just die if I try to delete the executables and repopulate them on demand, because seemingly it just assumes the executables are there if the other artifacts are |
| 2024-03-25 15:55:53 +0100 | <edmundnoble_> | But hey, it works. It'll waste a bunch of space, but I happen to have enough for that right now |
| 2024-03-25 16:10:35 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-03-25 16:15:42 +0100 | husshpuppy | (~franky@user/husshpuppy) |
| 2024-03-25 16:19:28 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 2024-03-25 16:25:27 +0100 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) |
| 2024-03-25 16:25:27 +0100 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) (Changing host) |
| 2024-03-25 16:25:27 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2024-03-25 16:25:56 +0100 | <shapr> | @quote |
| 2024-03-25 16:25:56 +0100 | <lambdabot> | roadfish says: Haskell Platform is promoted as a "batteries included" setup. But it seems these are like alkaline batteries and cabal is a NiMH charger. |
| 2024-03-25 16:28:39 +0100 | gorignak | (~gorignak@user/gorignak) |
| 2024-03-25 16:35:26 +0100 | tremon | (~tremon@83.80.159.219) |
| 2024-03-25 16:42:16 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) |
| 2024-03-25 16:53:27 +0100 | danse-nr3 | (~danse@151.57.75.207) (Remote host closed the connection) |
| 2024-03-25 16:53:52 +0100 | danse-nr3 | (~danse@151.57.75.207) |
| 2024-03-25 16:58:40 +0100 | euleritian | (~euleritia@dynamic-176-006-203-223.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-25 16:58:55 +0100 | tushar | (~tushar@103.46.201.22) |
| 2024-03-25 16:58:57 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-25 17:03:32 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-03-25 17:13:31 +0100 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 2024-03-25 17:15:10 +0100 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2024-03-25 17:17:45 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 2024-03-25 17:23:55 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2024-03-25 17:24:07 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 2024-03-25 17:24:28 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-03-25 17:24:34 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-25 17:28:32 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2024-03-25 17:29:00 +0100 | krei-se | (~krei-se@p57af28c6.dip0.t-ipconnect.de) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-03-25 17:33:48 +0100 | nitrix | (~nitrix@user/nitrix) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-25 17:35:15 +0100 | nitrix | (~nitrix@user/nitrix) |
| 2024-03-25 17:46:24 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 256 seconds) |
| 2024-03-25 17:47:23 +0100 | CrunchyFlakes_ | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-03-25 17:50:16 +0100 | zetef | (~quassel@5.2.182.99) |
| 2024-03-25 17:54:00 +0100 | danse-nr3 | (~danse@151.57.75.207) (Read error: Connection reset by peer) |
| 2024-03-25 17:57:25 +0100 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Quit: oo_miguel) |
| 2024-03-25 17:58:33 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-03-25 17:59:05 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-25 18:00:41 +0100 | michalz_ | (~michalz@185.246.207.200) |
| 2024-03-25 18:01:40 +0100 | michalz | (~michalz@185.246.207.221) (Ping timeout: 256 seconds) |
| 2024-03-25 18:12:42 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3440-4e49-dce3-e649-2e34-6242.rev.sfr.net) (Remote host closed the connection) |
| 2024-03-25 18:13:56 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 2024-03-25 18:15:41 +0100 | drdo | (~drdo@bl5-29-74.dsl.telepac.pt) (Ping timeout: 240 seconds) |
| 2024-03-25 18:19:03 +0100 | krei-se | (~krei-se@p5085d49b.dip0.t-ipconnect.de) |
| 2024-03-25 18:22:34 +0100 | zetef | (~quassel@5.2.182.99) (Remote host closed the connection) |
| 2024-03-25 18:22:50 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-03-25 18:25:30 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-03-25 18:26:01 +0100 | euleritian | (~euleritia@dynamic-176-006-203-223.176.6.pool.telefonica.de) |
| 2024-03-25 18:31:12 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 255 seconds) |
| 2024-03-25 18:35:36 +0100 | imdoor | (~imdoor@balticom-142-78-50.balticom.lv) |
| 2024-03-25 18:36:50 +0100 | phma_ | (~phma@host-67-44-208-68.hnremote.net) |
| 2024-03-25 18:38:10 +0100 | tzh_ | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 2024-03-25 18:38:25 +0100 | mxs6 | (~mxs@user/mxs) |
| 2024-03-25 18:38:27 +0100 | Wstfgl0 | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) |
| 2024-03-25 18:38:51 +0100 | ephemient_ | (uid407513@id-407513.lymington.irccloud.com) |
| 2024-03-25 18:38:58 +0100 | bsima1_ | (9d7e39c8ad@2a03:6000:1812:100::dd) |
| 2024-03-25 18:38:59 +0100 | myxokephale | (~myxos@065-028-251-121.inf.spectrum.com) |
| 2024-03-25 18:38:59 +0100 | fn_lumi_ | (3d621153a5@2a03:6000:1812:100::df7) |
| 2024-03-25 18:38:59 +0100 | jakzale_ | (6291399afa@user/jakzale) |
| 2024-03-25 18:38:59 +0100 | raghavgururajan_ | (ea769b8000@2a03:6000:1812:100::242) |
| 2024-03-25 18:39:00 +0100 | henrytill_ | (e0180937c3@2a03:6000:1812:100::e8c) |
| 2024-03-25 18:39:01 +0100 | shreyasminocha_ | (51fdc93eda@user/shreyasminocha) |
| 2024-03-25 18:39:01 +0100 | aniketd_ | (32aa4844cd@2a03:6000:1812:100::dcb) |
| 2024-03-25 18:39:01 +0100 | brettgilio_ | (a35ba67324@2a03:6000:1812:100::260) |
| 2024-03-25 18:39:01 +0100 | fluffyballoon_ | (45ce440a48@2a03:6000:1812:100::e2) |
| 2024-03-25 18:39:01 +0100 | ursa-major_ | (114efe6c39@2a03:6000:1812:100::11f3) |
| 2024-03-25 18:39:01 +0100 | akspecs_ | (00cc8321af@2a03:6000:1812:100::11a) |
| 2024-03-25 18:39:02 +0100 | samhh__ | (7569f027cf@2a03:6000:1812:100::e4) |
| 2024-03-25 18:39:02 +0100 | fvr_ | (ef3e56ca8b@2a03:6000:1812:100::3c4) |
| 2024-03-25 18:39:30 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-03-25 18:40:13 +0100 | sgarcia_ | (sgarcia@swarm.znchost.com) |
| 2024-03-25 18:40:47 +0100 | turlando_ | (~turlando@user/turlando) |
| 2024-03-25 18:40:57 +0100 | kritzefitz_ | (~kritzefit@debian/kritzefitz) |
| 2024-03-25 18:41:01 +0100 | sus_ | (1b7af6299f@user/zeromomentum) |
| 2024-03-25 18:41:17 +0100 | jkoshy_ | (99b9359beb@user/jkoshy) |
| 2024-03-25 18:41:20 +0100 | kritzefitz | (~kritzefit@debian/kritzefitz) (Killed (lithium.libera.chat (Nickname regained by services))) |
| 2024-03-25 18:41:20 +0100 | kritzefitz_ | kritzefitz |
| 2024-03-25 18:41:26 +0100 | JoelMcCracken_ | (5ea8252fbb@2a03:6000:1812:100::10e3) |
| 2024-03-25 18:41:30 +0100 | kuruczgy_ | (55b66dd3ae@2a03:6000:1812:100::127f) |
| 2024-03-25 18:41:34 +0100 | jmcantrell_ | (644f1bed9a@user/jmcantrell) |
| 2024-03-25 18:41:42 +0100 | ezzieygu1wuf | (~Unknown@user/ezzieyguywuf) |
| 2024-03-25 18:41:47 +0100 | lane_ | (809450f172@2a03:6000:1812:100::1300) |
| 2024-03-25 18:42:02 +0100 | td__ | (~td@i53870914.versanet.de) |
| 2024-03-25 18:42:17 +0100 | hammond__ | (~abner@gateway02.insomnia247.nl) |
| 2024-03-25 18:42:17 +0100 | myme1 | (~myme@2a01:799:d5c:5f00:717f:9bbf:7ce4:8e5) |
| 2024-03-25 18:42:25 +0100 | forell_ | (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) |
| 2024-03-25 18:42:26 +0100 | mstksg | (~jle`@2603-8001-3b02-84d4-ffba-5774-382a-24ec.res6.spectrum.com) |
| 2024-03-25 18:42:33 +0100 | tr_ev | (~trev@user/trev) |
| 2024-03-25 18:43:38 +0100 | trev | (~trev@user/trev) (Killed (NickServ (GHOST command used by tr_ev))) |
| 2024-03-25 18:43:44 +0100 | tr_ev | trev |
| 2024-03-25 18:44:36 +0100 | connrs_ | (~connrs@user/connrs) |
| 2024-03-25 18:45:47 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-03-25 18:46:51 +0100 | imdoor | (~imdoor@balticom-142-78-50.balticom.lv) (*.net *.split) |
| 2024-03-25 18:46:51 +0100 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (*.net *.split) |
| 2024-03-25 18:46:51 +0100 | forell | (~forell@user/forell) (*.net *.split) |
| 2024-03-25 18:46:51 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (*.net *.split) |
| 2024-03-25 18:46:51 +0100 | td_ | (~td@i53870914.versanet.de) (*.net *.split) |
| 2024-03-25 18:46:51 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (*.net *.split) |
| 2024-03-25 18:46:51 +0100 | baghead | (~baghead@cpc91312-watf11-2-0-cust1213.15-2.cable.virginm.net) (*.net *.split) |
| 2024-03-25 18:46:52 +0100 | sgarcia | (sgarcia@swarm.znchost.com) (*.net *.split) |
| 2024-03-25 18:46:52 +0100 | motherfsck | (~motherfsc@user/motherfsck) (*.net *.split) |
| 2024-03-25 18:46:52 +0100 | myxos | (~myxos@065-028-251-121.inf.spectrum.com) (*.net *.split) |
| 2024-03-25 18:46:52 +0100 | Me-me | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) (*.net *.split) |
| 2024-03-25 18:46:52 +0100 | jle` | (~jle`@2603-8001-3b02-84d4-e36f-d1aa-df97-c5e9.res6.spectrum.com) (*.net *.split) |
| 2024-03-25 18:46:52 +0100 | connrs | (~connrs@user/connrs) (*.net *.split) |
| 2024-03-25 18:46:52 +0100 | hammond_ | (proscan@user/hammond2) (*.net *.split) |
| 2024-03-25 18:46:53 +0100 | myme | (~myme@2a01:799:d5c:5f00:bb0e:9829:92b0:ed75) (*.net *.split) |
| 2024-03-25 18:46:53 +0100 | mxs | (~mxs@user/mxs) (*.net *.split) |
| 2024-03-25 18:46:53 +0100 | turlando | (~turlando@user/turlando) (*.net *.split) |
| 2024-03-25 18:46:54 +0100 | phma | (~phma@2001:5b0:211f:9138:897:c3bf:69c4:26b3) (*.net *.split) |
| 2024-03-25 18:46:55 +0100 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) (*.net *.split) |
| 2024-03-25 18:46:55 +0100 | ephemient | (uid407513@id-407513.lymington.irccloud.com) (*.net *.split) |
| 2024-03-25 18:46:55 +0100 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) (*.net *.split) |
| 2024-03-25 18:46:55 +0100 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) (*.net *.split) |
| 2024-03-25 18:46:55 +0100 | jakzale | (6291399afa@user/jakzale) (*.net *.split) |
| 2024-03-25 18:46:55 +0100 | henrytill | (e0180937c3@2a03:6000:1812:100::e8c) (*.net *.split) |
| 2024-03-25 18:46:55 +0100 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) (*.net *.split) |
| 2024-03-25 18:46:55 +0100 | kuruczgy | (55b66dd3ae@2a03:6000:1812:100::127f) (*.net *.split) |
| 2024-03-25 18:46:55 +0100 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) (*.net *.split) |
| 2024-03-25 18:46:55 +0100 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) (*.net *.split) |
| 2024-03-25 18:46:55 +0100 | fluffyballoon | (45ce440a48@2a03:6000:1812:100::e2) (*.net *.split) |
| 2024-03-25 18:46:55 +0100 | jkoshy | (99b9359beb@user/jkoshy) (*.net *.split) |
| 2024-03-25 18:46:55 +0100 | akspecs | (00cc8321af@sourcehut/user/akspecs) (*.net *.split) |
| 2024-03-25 18:46:55 +0100 | jmcantrell | (644f1bed9a@user/jmcantrell) (*.net *.split) |
| 2024-03-25 18:46:55 +0100 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (*.net *.split) |
| 2024-03-25 18:46:56 +0100 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) (*.net *.split) |
| 2024-03-25 18:46:56 +0100 | brettgilio | (a35ba67324@2a03:6000:1812:100::260) (*.net *.split) |
| 2024-03-25 18:46:56 +0100 | raghavgururajan | (ea769b8000@user/raghavgururajan) (*.net *.split) |
| 2024-03-25 18:46:56 +0100 | sus | (1b7af6299f@user/zeromomentum) (*.net *.split) |
| 2024-03-25 18:46:56 +0100 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) (*.net *.split) |
| 2024-03-25 18:46:56 +0100 | lane | (809450f172@2a03:6000:1812:100::1300) (*.net *.split) |
| 2024-03-25 18:46:56 +0100 | noctux | (~noctux@user/noctux) (*.net *.split) |
| 2024-03-25 18:46:56 +0100 | kuruczgy_ | kuruczgy |
| 2024-03-25 18:46:56 +0100 | jkoshy_ | jkoshy |
| 2024-03-25 18:46:56 +0100 | connrs_ | connrs |
| 2024-03-25 18:46:56 +0100 | JoelMcCracken_ | JoelMcCracken |
| 2024-03-25 18:46:56 +0100 | sus_ | sus |
| 2024-03-25 18:46:57 +0100 | jmcantrell_ | jmcantrell |
| 2024-03-25 18:46:57 +0100 | mxs6 | mxs |
| 2024-03-25 18:46:57 +0100 | jakzale_ | jakzale |
| 2024-03-25 18:46:57 +0100 | aniketd_ | aniketd |
| 2024-03-25 18:46:57 +0100 | henrytill_ | henrytill |
| 2024-03-25 18:46:57 +0100 | bsima1_ | bsima1 |
| 2024-03-25 18:46:57 +0100 | ephemient_ | ephemient |
| 2024-03-25 18:46:57 +0100 | fn_lumi_ | fn_lumi |
| 2024-03-25 18:46:58 +0100 | fluffyballoon_ | fluffyballoon |
| 2024-03-25 18:46:58 +0100 | fvr_ | fvr |
| 2024-03-25 18:46:59 +0100 | shreyasminocha_ | shreyasminocha |
| 2024-03-25 18:47:00 +0100 | brettgilio_ | brettgilio |
| 2024-03-25 18:47:00 +0100 | ursa-major_ | ursa-major |
| 2024-03-25 18:47:48 +0100 | califax | (~califax@user/califx) |
| 2024-03-25 18:47:48 +0100 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) |
| 2024-03-25 18:47:48 +0100 | ChanServ | +v haskellbridge |
| 2024-03-25 18:47:53 +0100 | noctux | (~noctux@user/noctux) |
| 2024-03-25 18:49:00 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-03-25 18:50:11 +0100 | califax | (~califax@user/califx) |
| 2024-03-25 18:51:30 +0100 | pavonia | (~user@user/siracusa) |
| 2024-03-25 18:53:02 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-03-25 18:53:08 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
| 2024-03-25 18:53:50 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 2024-03-25 19:28:10 +0100 | average | (uid473595@user/average) |
| 2024-03-25 19:28:48 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-03-25 19:35:46 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2024-03-25 19:41:25 +0100 | califax | (~califax@user/califx) |
| 2024-03-25 19:44:06 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-03-25 19:45:49 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-03-25 19:46:26 +0100 | califax | (~califax@user/califx) |
| 2024-03-25 19:50:44 +0100 | ft | (~ft@p508db238.dip0.t-ipconnect.de) |
| 2024-03-25 19:52:40 +0100 | Wstfgl0 | Me-me |
| 2024-03-25 19:52:44 +0100 | Me-me | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) (Changing host) |
| 2024-03-25 19:52:44 +0100 | Me-me | (~me-me@user/me-me) |
| 2024-03-25 19:55:02 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-03-25 19:55:31 +0100 | califax | (~califax@user/califx) |
| 2024-03-25 19:59:16 +0100 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 2024-03-25 20:03:35 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-25 20:13:16 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 268 seconds) |
| 2024-03-25 20:13:51 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-03-25 20:15:09 +0100 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 2024-03-25 20:15:17 +0100 | califax | (~califax@user/califx) |
| 2024-03-25 20:24:34 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-03-25 20:24:45 +0100 | Square | (~Square@user/square) |
| 2024-03-25 20:33:11 +0100 | notzmv | (~daniel@user/notzmv) (Ping timeout: 255 seconds) |
| 2024-03-25 20:33:47 +0100 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-03-25 20:34:21 +0100 | simendsjo | (~user@31-209-40-186.cust.bredband2.com) |
| 2024-03-25 20:36:05 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2024-03-25 20:36:21 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2024-03-25 20:37:09 +0100 | <tomsmeding> | how would you call this function? |
| 2024-03-25 20:37:16 +0100 | <tomsmeding> | :t \f (x, y) -> (,y) <$> f x |
| 2024-03-25 20:37:17 +0100 | <lambdabot> | Functor f => (t1 -> f t2) -> (t1, t3) -> f (t2, t3) |
| 2024-03-25 20:37:32 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-25 20:38:56 +0100 | imdoor | (~imdoor@balticom-142-78-50.balticom.lv) |
| 2024-03-25 20:39:16 +0100 | <ncf> | something something right strength |
| 2024-03-25 20:39:50 +0100 | <tomsmeding> | I mean, I would call it 'firstM' but it not needing Functor, the M is not really applicable |
| 2024-03-25 20:40:19 +0100 | <tomsmeding> | there's conventional *M and *A suffixes but no *F, and in any case this belongs, intuitively, in the *A/*M sets |
| 2024-03-25 20:40:36 +0100 | <ncf> | https://hackage.haskell.org/package/profunctors-5.6.2/docs/src/Data.Profunctor.Strong.html#line-120 |
| 2024-03-25 20:40:49 +0100 | <tomsmeding> | first' |
| 2024-03-25 20:41:50 +0100 | <ncf> | or uuuh |
| 2024-03-25 20:41:57 +0100 | <ncf> | :t _1 |
| 2024-03-25 20:41:58 +0100 | <lambdabot> | (Field1 s t a b, Functor f) => (a -> f b) -> s -> f t |
| 2024-03-25 20:42:25 +0100 | tomsmeding | doesn't have lens as a dependency and is not intending to change that |
| 2024-03-25 20:43:49 +0100 | <tomsmeding> | hm |
| 2024-03-25 20:43:56 +0100 | <tomsmeding> | I'll just stay with firstM I think :) |
| 2024-03-25 20:44:18 +0100 | <tomsmeding> | the awkward thing is that I then also have secondM and bimapM and they don't even have the same typeclass constraint on f (think about it) |
| 2024-03-25 20:46:05 +0100 | <ncf> | secondM should have Functor and bimapM should have Applicative |
| 2024-03-25 20:46:11 +0100 | <tomsmeding> | indeed |
| 2024-03-25 20:46:14 +0100 | <ncf> | ...not the greatest names |
| 2024-03-25 20:46:17 +0100 | <tomsmeding> | no |
| 2024-03-25 20:46:34 +0100 | dcoutts_ | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-03-25 20:46:38 +0100 | <tomsmeding> | they make more sense to me than first', especially because I intend to use them in a monadic context |
| 2024-03-25 20:47:40 +0100 | <ncf> | i mean first' is the class method |
| 2024-03-25 20:48:58 +0100 | dcoutts_ | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-03-25 20:50:19 +0100 | <tomsmeding> | profunctors is not in my dependency tree either :p |
| 2024-03-25 20:51:34 +0100 | <ncf> | what kind of primitive technology are you building that doesn't depend on profunctors |
| 2024-03-25 20:51:55 +0100 | <tomsmeding> | my dependencies are: base, containers, mtl, monad-chronicle, these |
| 2024-03-25 20:52:41 +0100 | <tomsmeding> | the latter two only because I'm defining an instance of MonadChronicle at some point that I don't really use -- just its methods, but it felt neat to write the instance anyway |
| 2024-03-25 20:52:49 +0100 | <tomsmeding> | as in, I don't use MonadChronicle polymorphically |
| 2024-03-25 20:52:55 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-03-25 20:53:25 +0100 | califax | (~califax@user/califx) |
| 2024-03-25 20:57:56 +0100 | <sm> | terrorjack: +1 on success stories.. "real world apps" is a related FAQ, I just gathered some lists. Here are a few: |
| 2024-03-25 20:57:59 +0100 | <sm> | https://news.ycombinator.com/item?id=31664490 (2022) |
| 2024-03-25 20:57:59 +0100 | <sm> | https://www.reddit.com/r/haskell/comments/eddwbu/top_nonprogrammingrelated_haskell_apps/ (2019) |
| 2024-03-25 20:57:59 +0100 | <sm> | https://www.reddit.com/r/haskell/comments/2wicxt/what_are_the_best_real_world_applications/ (2015) |
| 2024-03-25 20:59:22 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds) |
| 2024-03-25 21:01:35 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-03-25 21:02:26 +0100 | renpose | (~renpose@user/renpose) (Ping timeout: 250 seconds) |
| 2024-03-25 21:05:22 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-03-25 21:13:11 +0100 | mesaoptimizer | (~PapuaHard@user/PapuaHardyNet) (Ping timeout: 264 seconds) |
| 2024-03-25 21:20:27 +0100 | renpose | (~renpose@user/renpose) |
| 2024-03-25 21:23:26 +0100 | husshpuppy | (~franky@user/husshpuppy) (Quit: Lost terminal) |
| 2024-03-25 21:27:15 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-25 21:27:52 +0100 | euleritian | (~euleritia@dynamic-176-006-203-223.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-25 21:28:11 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-25 21:30:52 +0100 | <shapr> | I've had friends / coworkers say Haskell isn't for real world use, I point them to my tiny utilities like https://github.com/shapr/sandwatch and https://github.com/shapr/bloohm and https://github.com/shapr/takedouble |
| 2024-03-25 21:37:05 +0100 | <shapr> | I also say that Haskell is fast enough to use in a CLI wrapper like sandwatch |
| 2024-03-25 21:38:16 +0100 | <geekosaur> | they're just afraid |
| 2024-03-25 21:43:16 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-03-25 21:43:19 +0100 | <shapr> | change is hard, I can understand that |
| 2024-03-25 21:45:08 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3440-76b1-98e2-5a13-613b-b33b.rev.sfr.net) |
| 2024-03-25 21:46:02 +0100 | <glguy> | I'm glad I don't live in the real world; it sounds like a bleak place |
| 2024-03-25 21:47:34 +0100 | [Leary] | (~Leary]@user/Leary/x-0910699) |
| 2024-03-25 21:53:15 +0100 | simendsjo | (~user@31-209-40-186.cust.bredband2.com) (Ping timeout: 272 seconds) |
| 2024-03-25 21:54:12 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-03-25 21:55:58 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-25 22:00:50 +0100 | mesaoptimizer2 | mesaoptimizer |
| 2024-03-25 22:04:24 +0100 | renpose | (~renpose@user/renpose) (Ping timeout: 250 seconds) |
| 2024-03-25 22:05:36 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2024-03-25 22:14:27 +0100 | Guest52 | (~Guest52@185.57.29.142) |
| 2024-03-25 22:21:29 +0100 | dorin | (~dorin@user/dorin) |
| 2024-03-25 22:24:04 +0100 | dorin | (~dorin@user/dorin) (Client Quit) |
| 2024-03-25 22:25:26 +0100 | dorin | (~dorin@user/dorin) |
| 2024-03-25 22:31:52 +0100 | imdoor | (~imdoor@balticom-142-78-50.balticom.lv) (Remote host closed the connection) |
| 2024-03-25 22:34:26 +0100 | <EvanR> | real world is deeply magical |
| 2024-03-25 22:34:54 +0100 | <tomsmeding> | EvanR: you would say that haskell is not sufficiently `magic`al? |
| 2024-03-25 22:35:15 +0100 | <geekosaur> | :t magic |
| 2024-03-25 22:35:15 +0100 | <lambdabot> | error: Variable not in scope: magic |
| 2024-03-25 22:35:18 +0100 | <EvanR> | I'll tell you yesterday, installs tardis |
| 2024-03-25 22:35:21 +0100 | <geekosaur> | apparently not 😛 |
| 2024-03-25 22:45:23 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-03-25 22:45:41 +0100 | califax | (~califax@user/califx) |
| 2024-03-25 22:51:55 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-03-25 22:52:46 +0100 | Inst | (~Inst@120.244.192.126) (Remote host closed the connection) |
| 2024-03-25 22:53:11 +0100 | Inst | (~Inst@120.244.192.126) |
| 2024-03-25 22:53:46 +0100 | Square | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2024-03-25 22:56:59 +0100 | lyxia | (~lyxia@poisson.chat) (Quit: WeeChat 4.2.1) |
| 2024-03-25 22:57:26 +0100 | lyxia | (~lyxia@poisson.chat) |
| 2024-03-25 23:01:31 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-03-25 23:01:51 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-03-25 23:09:17 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-03-25 23:19:19 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3440-76b1-98e2-5a13-613b-b33b.rev.sfr.net) (Remote host closed the connection) |
| 2024-03-25 23:20:48 +0100 | michalz_ | (~michalz@185.246.207.200) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-25 23:22:37 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-25 23:27:45 +0100 | <shapr> | @quote |
| 2024-03-25 23:27:45 +0100 | <lambdabot> | xDie says: <xDie> > 1.1.1.1.1.1.1.1.1.1.1.1 + 2.3 |
| 2024-03-25 23:27:53 +0100 | shapr | is confused |
| 2024-03-25 23:28:42 +0100 | <Rembane> | Now that's a cursed IP address. |
| 2024-03-25 23:30:09 +0100 | <ncf> | > 1.1.1.1.1.1.1.1.1.1.1.1 + 2.3 |
| 2024-03-25 23:30:10 +0100 | <lambdabot> | error: |
| 2024-03-25 23:30:10 +0100 | <lambdabot> | • Could not deduce (Fractional (b0 -> c)) |
| 2024-03-25 23:30:10 +0100 | <lambdabot> | (maybe you haven't applied a function to enough arguments?) |
| 2024-03-25 23:33:44 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-03-25 23:36:34 +0100 | ph88 | (~ph88@ip5b403f30.dynamic.kabel-deutschland.de) |
| 2024-03-25 23:37:35 +0100 | ph88 | (~ph88@ip5b403f30.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-03-25 23:38:16 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-03-25 23:39:15 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-03-25 23:40:37 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-25 23:42:11 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-25 23:42:36 +0100 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2024-03-25 23:47:51 +0100 | average | (uid473595@user/average) (Quit: Connection closed for inactivity) |
| 2024-03-25 23:53:25 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-25 23:55:34 +0100 | sadie_ | (~sadie@c-76-155-235-153.hsd1.co.comcast.net) |
| 2024-03-25 23:59:08 +0100 | johnw | (~johnw@69.62.242.138) |