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