| 2023-12-13 00:00:32 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2023-12-13 00:00:51 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-12-13 00:02:12 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-12-13 00:04:40 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds) |
| 2023-12-13 00:04:47 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 264 seconds) |
| 2023-12-13 00:07:46 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 276 seconds) |
| 2023-12-13 00:10:38 +0100 | <Axman6> | probie: yeah but we're all nerds in this city, hardly average |
| 2023-12-13 00:13:56 +0100 | <jjhoo> | int-e: yes, geometric. I was on the wikipedia about geometric series... got confused when writing |
| 2023-12-13 00:15:36 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2023-12-13 00:17:01 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 00:17:56 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 00:23:36 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3241-6fde-605e-bbc1-347b-4f81.rev.sfr.net) |
| 2023-12-13 00:23:51 +0100 | taupiqueur | (~taupiqueu@2a02-8440-3241-6fde-605e-bbc1-347b-4f81.rev.sfr.net) |
| 2023-12-13 00:24:43 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 260 seconds) |
| 2023-12-13 00:25:12 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 268 seconds) |
| 2023-12-13 00:25:29 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-12-13 00:29:14 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-12-13 00:34:34 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-12-13 00:34:56 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 00:35:06 +0100 | acidjnk_new | (~acidjnk@p200300d6e72b9347b4dc018a2c6658c2.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2023-12-13 00:36:43 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-12-13 00:38:50 +0100 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.1.1) |
| 2023-12-13 00:39:07 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-12-13 00:39:39 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2023-12-13 00:40:21 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 245 seconds) |
| 2023-12-13 00:46:56 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-12-13 00:54:16 +0100 | johnw | (~johnw@69.62.242.138) |
| 2023-12-13 00:55:44 +0100 | sebagutiem | (~sebagutie@2800:300:62e1:7fa1:80a7:2aab:4b46:cdd5) |
| 2023-12-13 01:00:51 +0100 | sebagutiem | (~sebagutie@2800:300:62e1:7fa1:80a7:2aab:4b46:cdd5) (Quit: Me boi a la berga) |
| 2023-12-13 01:03:10 +0100 | <EvanR> | there's two halves of people in this channel, the below average half that don't understand statistics, and those that do |
| 2023-12-13 01:03:41 +0100 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 240 seconds) |
| 2023-12-13 01:03:47 +0100 | <monochrom> | heh |
| 2023-12-13 01:08:15 +0100 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-12-13 01:09:43 +0100 | leungbk | (~user@142-129-149-172.res.spectrum.com) |
| 2023-12-13 01:10:19 +0100 | <glguy> | ?quote 50% |
| 2023-12-13 01:10:19 +0100 | <lambdabot> | Tac-Tics says: Haskell is 50% style and 60% research... and -10% code bloat |
| 2023-12-13 01:11:00 +0100 | Eoco | (~ian@128.101.131.218) (Quit: WeeChat 4.1.1) |
| 2023-12-13 01:11:01 +0100 | <monochrom> | haha cute |
| 2023-12-13 01:11:33 +0100 | Eoco | (~ian@128.101.131.218) |
| 2023-12-13 01:15:23 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-12-13 01:15:33 +0100 | <iqubic> | If both the Travesable and the Applicative are [], then sequenceA ~ transpose, right? |
| 2023-12-13 01:15:44 +0100 | <iqubic> | Is that correct? |
| 2023-12-13 01:19:59 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2023-12-13 01:20:08 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-12-13 01:21:11 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2023-12-13 01:21:39 +0100 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-12-13 01:28:20 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-12-13 01:29:37 +0100 | iqubic | (~avi@2601:602:9502:c70:589:c039:227d:3881) (Remote host closed the connection) |
| 2023-12-13 01:29:53 +0100 | iqubic | (~avi@2601:602:9502:c70:589:c039:227d:3881) |
| 2023-12-13 01:30:02 +0100 | <iqubic> | If both the Travesable and the Applicative are [], then sequenceA ~ transpose, right? |
| 2023-12-13 01:30:08 +0100 | <iqubic> | I might be wrong about that. |
| 2023-12-13 01:31:24 +0100 | Square2 | (~Square4@user/square) |
| 2023-12-13 01:31:35 +0100 | <geekosaur> | no, because there's a Cartesian product involved in the Applicative |
| 2023-12-13 01:32:14 +0100 | Katarushisu1 | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 2023-12-13 01:32:33 +0100 | Katarushisu1 | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2023-12-13 01:32:49 +0100 | leungbk | (~user@142-129-149-172.res.spectrum.com) (Quit: ERC 5.6-git (IRC client for GNU Emacs 30.0.50)) |
| 2023-12-13 01:32:50 +0100 | <monochrom> | You can easily come up with a simple test case. |
| 2023-12-13 01:33:20 +0100 | araujo | (~araujo@45.146.54.162) |
| 2023-12-13 01:33:41 +0100 | Square | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2023-12-13 01:34:16 +0100 | <[Leary]> | @check \xss -> sequenceA xss == transpose xss |
| 2023-12-13 01:34:17 +0100 | <lambdabot> | *** Failed! Falsifiable (after 1 test): |
| 2023-12-13 01:34:17 +0100 | <lambdabot> | [] |
| 2023-12-13 01:36:07 +0100 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 260 seconds) |
| 2023-12-13 01:36:47 +0100 | migas9 | (~migas@static.140.65.63.178.clients.your-server.de) (Quit: The Lounge - https://thelounge.github.io) |
| 2023-12-13 01:37:09 +0100 | migas9 | (~migas@static.140.65.63.178.clients.your-server.de) |
| 2023-12-13 02:02:27 +0100 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2023-12-13 02:02:55 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds) |
| 2023-12-13 02:03:04 +0100 | taupiqueur | (~taupiqueu@2a02-8440-3241-6fde-605e-bbc1-347b-4f81.rev.sfr.net) (Quit: WeeChat 4.1.2) |
| 2023-12-13 02:03:32 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2023-12-13 02:05:57 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3241-6fde-605e-bbc1-347b-4f81.rev.sfr.net) (Remote host closed the connection) |
| 2023-12-13 02:06:47 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2023-12-13 02:07:06 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2023-12-13 02:08:34 +0100 | <glguy> | [Leary]: I think perhaps the only time that's true is for [[x]] |
| 2023-12-13 02:09:05 +0100 | <glguy> | @check \xss -> sequenceA xss /= transpose xss |
| 2023-12-13 02:09:06 +0100 | <lambdabot> | *** Failed! Falsifiable (after 2 tests and 1 shrink): |
| 2023-12-13 02:09:06 +0100 | <lambdabot> | [[()]] |
| 2023-12-13 02:11:07 +0100 | inedia | (~irc@23.153.248.82) (Ping timeout: 255 seconds) |
| 2023-12-13 02:12:08 +0100 | ricardo1 | (~ricardo@84.16.179.218) (Read error: Connection reset by peer) |
| 2023-12-13 02:16:01 +0100 | <Joao003> | Am I the only one that uses `toEnum' to coerce types of class `Enum'? |
| 2023-12-13 02:20:40 +0100 | <monochrom> | s/coerce/convert/ but nothing wrong with toEnum. |
| 2023-12-13 02:22:22 +0100 | johnw | (~johnw@69.62.242.138) |
| 2023-12-13 02:23:54 +0100 | <mosul> | 9 |
| 2023-12-13 02:26:15 +0100 | pointlessslippe1 | (~pointless@212.82.82.3) |
| 2023-12-13 02:32:45 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-12-13 02:38:01 +0100 | leungbk | (~user@2603-8000-1201-2dd2-8882-cb72-f59a-f58f.res6.spectrum.com) |
| 2023-12-13 02:38:02 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2023-12-13 02:38:33 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2023-12-13 02:43:04 +0100 | xff0x | (~xff0x@ai085147.d.east.v6connect.net) (Ping timeout: 255 seconds) |
| 2023-12-13 02:43:14 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 2023-12-13 02:55:28 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2023-12-13 03:00:04 +0100 | tv | (~tv@user/tv) (Ping timeout: 246 seconds) |
| 2023-12-13 03:00:28 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2023-12-13 03:00:29 +0100 | tv | (~tv@user/tv) |
| 2023-12-13 03:00:46 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2023-12-13 03:01:35 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2023-12-13 03:01:53 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2023-12-13 03:03:35 +0100 | pointlessslippe1 | (~pointless@212.82.82.3) (Ping timeout: 264 seconds) |
| 2023-12-13 03:07:01 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2023-12-13 03:07:27 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2023-12-13 03:11:47 +0100 | pointlessslippe1 | (~pointless@212.82.82.3) |
| 2023-12-13 03:17:18 +0100 | mikess | (~sam@user/mikess) (Quit: leaving) |
| 2023-12-13 03:28:14 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2023-12-13 03:29:02 +0100 | Joao003 | (~Joao003@190.108.99.230) (Quit: Bye!) |
| 2023-12-13 03:30:20 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-12-13 03:33:09 +0100 | leungbk | (~user@2603-8000-1201-2dd2-8882-cb72-f59a-f58f.res6.spectrum.com) (Remote host closed the connection) |
| 2023-12-13 03:36:45 +0100 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-12-13 03:42:54 +0100 | rosco | (~rosco@42.153.141.164) |
| 2023-12-13 03:49:27 +0100 | fryguybob | (~fryguybob@024-094-050-022.inf.spectrum.com) |
| 2023-12-13 03:50:45 +0100 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) |
| 2023-12-13 03:51:19 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds) |
| 2023-12-13 04:03:42 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-12-13 04:08:48 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-12-13 04:15:39 +0100 | edr | (~edr@user/edr) (Quit: Leaving) |
| 2023-12-13 04:17:45 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-12-13 04:20:14 +0100 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2023-12-13 04:21:24 +0100 | puke | (~puke@user/puke) |
| 2023-12-13 04:22:34 +0100 | td_ | (~td@i53870913.versanet.de) (Ping timeout: 276 seconds) |
| 2023-12-13 04:23:39 +0100 | malte | (~malte@mal.tc) (Ping timeout: 260 seconds) |
| 2023-12-13 04:23:42 +0100 | td_ | (~td@i53870903.versanet.de) |
| 2023-12-13 04:25:07 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 246 seconds) |
| 2023-12-13 04:25:55 +0100 | malte | (~malte@mal.tc) |
| 2023-12-13 04:31:51 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-12-13 04:34:26 +0100 | rosco | (~rosco@42.153.141.164) (Read error: Connection reset by peer) |
| 2023-12-13 04:34:40 +0100 | rosco | (~rosco@2001:e68:5411:21b:709e:ff04:8b05:a76c) |
| 2023-12-13 04:38:42 +0100 | <Square2> | What would you say is the biggest reason Haskell hasn't gained more industry use? |
| 2023-12-13 04:40:24 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2023-12-13 04:42:16 +0100 | <c_wraith> | it requires learning something actually new, instead of another syntax for C or perl |
| 2023-12-13 04:42:34 +0100 | <c_wraith> | that terrifies people who are really into words like "meritocracy" |
| 2023-12-13 04:45:35 +0100 | Nixkernal_ | (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 264 seconds) |
| 2023-12-13 04:46:54 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2023-12-13 04:49:01 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:21a7:e3e2:1963:5573) (Remote host closed the connection) |
| 2023-12-13 04:49:16 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:21a7:e3e2:1963:5573) |
| 2023-12-13 04:50:53 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2023-12-13 04:58:37 +0100 | Nixkernal | (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) |
| 2023-12-13 05:00:18 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-12-13 05:00:18 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-12-13 05:00:18 +0100 | finn_elija | FinnElija |
| 2023-12-13 05:03:55 +0100 | <haskellbridge> | 06<sm> good question.. the most often state reason is difficulty of hiring (large numbers of cheap) developers |
| 2023-12-13 05:05:19 +0100 | <Square2> | c_wraith, I feel there must be other reasons. Manay developers who get into Haskell fall in love with it. Me included. I wonder if you end up in hard to debug situations. Or some friction that shows up in enterprise situations. Just guessing. |
| 2023-12-13 05:05:33 +0100 | <haskellbridge> | 06<sm> another is just the perception and somewhat fact that it's too exotic and risky, industry usually has a limited novelty budget |
| 2023-12-13 05:06:07 +0100 | <haskellbridge> | 06<sm> another is the reputed frequency and difficulty of avoiding space leaks and memory hogging |
| 2023-12-13 05:06:18 +0100 | <EvanR> | haskell is ivory tower nonsense you need a PhD to understand. And there are way too many operators |
| 2023-12-13 05:06:29 +0100 | <EvanR> | actual testimony |
| 2023-12-13 05:07:17 +0100 | <haskellbridge> | 06<sm> but it's getting there |
| 2023-12-13 05:07:42 +0100 | <haskellbridge> | 06<sm> (industry) |
| 2023-12-13 05:10:52 +0100 | <Square2> | sm, thanks for your input. |
| 2023-12-13 05:19:06 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-12-13 05:24:13 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-12-13 05:29:21 +0100 | <probie> | Square2: There are gaps in the ecosystem, the tooling is nothing exceptional, and it's very easy to forget to add a strictness annotation somewhere and end up with a space leak |
| 2023-12-13 05:30:23 +0100 | <Square2> | probie, Do you have an example of "gaps in the ecosystem"? |
| 2023-12-13 05:31:30 +0100 | <probie> | Most recently, I couldn't find a GraphQL server library that I was comfortable with using in production |
| 2023-12-13 05:36:24 +0100 | aforemny_ | (~aforemny@i59F516CF.versanet.de) |
| 2023-12-13 05:37:13 +0100 | aforemny | (~aforemny@2001:9e8:6cc3:3a00:a23:6c46:4b53:30b) (Ping timeout: 246 seconds) |
| 2023-12-13 05:37:20 +0100 | <probie> | Also, I don't think there's up to date llvm bindings, which isn't a show stopper for an AOT compiler (just do what GHC does and generate the LLVM IR yourself), but that's not good enough if you writing an interpreter and want to use LLVM as a JIT |
| 2023-12-13 05:38:37 +0100 | <probie> | At least last time I checked, the machine learning libraries available weren't that great (although I think hasktorch is getting better) |
| 2023-12-13 05:43:44 +0100 | <probie> | Also, being insufficiently mainstream means that most third party services you might want to integrate with won't have a Haskell SDK, which can be an issue if their "REST API" is poorly documented |
| 2023-12-13 05:50:00 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2023-12-13 05:50:33 +0100 | tri_ | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2023-12-13 05:55:51 +0100 | qqq | (~qqq@92.43.167.61) |
| 2023-12-13 05:56:47 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2023-12-13 05:57:44 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-12-13 05:59:27 +0100 | <probie> | and back to gaps - there's not really any maintained GIS libraries (at least not that I could find) |
| 2023-12-13 06:00:22 +0100 | dove | (~irc@23.153.248.82) |
| 2023-12-13 06:12:33 +0100 | trev | (~trev@user/trev) |
| 2023-12-13 06:20:37 +0100 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-12-13 06:21:02 +0100 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-12-13 06:22:01 +0100 | trev | (~trev@user/trev) |
| 2023-12-13 06:33:16 +0100 | puke | Guest1910 |
| 2023-12-13 06:33:16 +0100 | pyooque | (~puke@user/puke) |
| 2023-12-13 06:33:16 +0100 | Guest1910 | (~puke@user/puke) (Killed (erbium.libera.chat (Nickname regained by services))) |
| 2023-12-13 06:33:16 +0100 | pyooque | puke |
| 2023-12-13 06:42:20 +0100 | evj | (~evj@206.174.176.219) |
| 2023-12-13 06:44:57 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-12-13 06:45:21 +0100 | califax | (~califax@user/califx) |
| 2023-12-13 06:46:26 +0100 | akegalj | (~akegalj@89-164-125-9.dsl.iskon.hr) |
| 2023-12-13 06:51:07 +0100 | <phma> | I'm preparing a library package for first release. It consists of two modules which I expect people to import, seven internal modules, a main program, two modules used by the main program, and a test suite. |
| 2023-12-13 06:51:39 +0100 | <phma> | Do the internal modules count as API for the purpose of changing the version number? |
| 2023-12-13 07:01:24 +0100 | td_ | (~td@i53870903.versanet.de) (Ping timeout: 252 seconds) |
| 2023-12-13 07:03:26 +0100 | td_ | (~td@i5387093E.versanet.de) |
| 2023-12-13 07:06:18 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-12-13 07:07:01 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2023-12-13 07:07:14 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-12-13 07:07:23 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2023-12-13 07:08:30 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2023-12-13 07:12:24 +0100 | tri_ | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2023-12-13 07:13:10 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2023-12-13 07:16:30 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2023-12-13 07:17:09 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-12-13 07:17:22 +0100 | zetef | (~quassel@95.77.17.251) |
| 2023-12-13 07:19:11 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2023-12-13 07:19:18 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-12-13 07:19:44 +0100 | euleritian | (~euleritia@dynamic-046-114-201-065.46.114.pool.telefonica.de) |
| 2023-12-13 07:20:39 +0100 | dove | inedia |
| 2023-12-13 07:21:31 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-12-13 07:22:00 +0100 | zetef | (~quassel@95.77.17.251) (Client Quit) |
| 2023-12-13 07:22:56 +0100 | zetef | (~quassel@95.77.17.251) |
| 2023-12-13 07:24:51 +0100 | Guest92 | (~Guest92@97-120-63-104.ptld.qwest.net) |
| 2023-12-13 07:25:18 +0100 | Guest92 | (~Guest92@97-120-63-104.ptld.qwest.net) (Client Quit) |
| 2023-12-13 07:37:39 +0100 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: BRB) |
| 2023-12-13 07:40:02 +0100 | Pixi` | (~Pixi@user/pixi) |
| 2023-12-13 07:41:17 +0100 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2023-12-13 07:43:21 +0100 | Pixi__ | (~Pixi@user/pixi) (Ping timeout: 268 seconds) |
| 2023-12-13 07:45:57 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2023-12-13 07:46:12 +0100 | lottaquestions | (~nick@2607:fa49:503d:b200:8455:7551:a8b5:adb1) (Quit: Konversation terminated!) |
| 2023-12-13 07:49:22 +0100 | igemnace | (~ian@user/igemnace) |
| 2023-12-13 07:52:40 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-12-13 08:01:03 +0100 | danza | (~danza@151.35.242.228) |
| 2023-12-13 08:03:53 +0100 | <haskellbridge> | 06<sm> hmm.. if they're exposed, ie visible in the haddocks on hackage, I think they do, even if you call them Foor.Internal.Bar |
| 2023-12-13 08:04:00 +0100 | <haskellbridge> | 06<sm> if not exposed, then no |
| 2023-12-13 08:04:18 +0100 | acidjnk_new | (~acidjnk@p200300d6e72b9355dc7c5b25c70fbc45.dip0.t-ipconnect.de) |
| 2023-12-13 08:04:36 +0100 | mikess | (~sam@user/mikess) |
| 2023-12-13 08:08:49 +0100 | Inst | (~Inst@129.126.215.52) |
| 2023-12-13 08:08:55 +0100 | <Inst> | lol, I'm out in sunny Singapore, and I'm dressed for Beijing |
| 2023-12-13 08:09:04 +0100 | <Inst> | nope, don't worry, have no intent to meet anyone here :3 |
| 2023-12-13 08:09:26 +0100 | <Inst> | Anyways, do you guys know how to debug this issue with ghcup? |
| 2023-12-13 08:09:39 +0100 | <Inst> | /usr/bin/ld.gold: error: cannot find -lgmp |
| 2023-12-13 08:09:56 +0100 | <mauke> | install libgmp? |
| 2023-12-13 08:10:53 +0100 | <danza> | are you a nomading haskeller now Inst? |
| 2023-12-13 08:13:01 +0100 | euleritian | (~euleritia@dynamic-046-114-201-065.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-12-13 08:13:20 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-12-13 08:13:25 +0100 | <Inst> | it should be working |
| 2023-12-13 08:14:33 +0100 | <Inst> | “Kiyoaki Matsugae was caught by unpredictable love, Isao Iinuma by destiny, Ying Chan by the flesh. And you?” (p206) |
| 2023-12-13 08:14:40 +0100 | <Inst> | @danza |
| 2023-12-13 08:14:40 +0100 | <lambdabot> | Unknown command, try @list |
| 2023-12-13 08:14:43 +0100 | <Inst> | Sorry about being neglectful |
| 2023-12-13 08:15:15 +0100 | mechap | (~mechap@user/mechap) (Quit: WeeChat 4.1.2) |
| 2023-12-13 08:15:39 +0100 | <Inst> | and no, it's not the streamer, although she got back to me ("I'm learning foreign languages, but I'll also take up an interest in computer science" [after I sent her HTDP, SICP, various Haskell books, some Py books) |
| 2023-12-13 08:15:47 +0100 | <Inst> | something darker |
| 2023-12-13 08:16:08 +0100 | <phma> | sm: how do I make them visible or not? It's not on Hackage yet; I haven't even tagged a release. |
| 2023-12-13 08:16:10 +0100 | <danza> | “Kiyoaki Matsugae was caught by unpredictable love, Isao Iinuma by destiny, Ying Chan by the flesh. And you?” |
| 2023-12-13 08:16:22 +0100 | <danza> | don't know... Mishima? |
| 2023-12-13 08:17:21 +0100 | <Inst> | yayaya |
| 2023-12-13 08:17:35 +0100 | <Inst> | god I love you guys, best culture ever <3 |
| 2023-12-13 08:18:25 +0100 | <haskellbridge> | 06<sm> phma: you list each module in the cabal file as either an exposed file or other file (IIRC) |
| 2023-12-13 08:18:25 +0100 | evj | (~evj@206.174.176.219) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2023-12-13 08:18:32 +0100 | <haskellbridge> | 06<sm> other are hidden |
| 2023-12-13 08:19:06 +0100 | <phma> | sm: what do I do in package.yaml? |
| 2023-12-13 08:19:30 +0100 | <haskellbridge> | 06<sm> it's similar there.. check the hpack readme |
| 2023-12-13 08:19:38 +0100 | <phma> | ok |
| 2023-12-13 08:20:01 +0100 | <haskellbridge> | 06<sm> https://github.com/sol/hpack#library-fields |
| 2023-12-13 08:21:41 +0100 | danza | (~danza@151.35.242.228) (Ping timeout: 240 seconds) |
| 2023-12-13 08:22:15 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2023-12-13 08:22:45 +0100 | euleritian | (~euleritia@dynamic-046-114-201-065.46.114.pool.telefonica.de) |
| 2023-12-13 08:22:50 +0100 | <mauke> | https://www.youtube.com/watch?v=Z2NXAk-XkoQ |
| 2023-12-13 08:34:53 +0100 | danza | (~danza@151.37.248.30) |
| 2023-12-13 08:35:25 +0100 | <ski> | > (map getZipList . getZipList . sequenceA . ZipList . map ZipList) [[0,1,2],[3,4,5],[6,7,8]] -- iqubic, "If both the Travesable and the Applicative are [], then sequenceA ~ transpose, right?" |
| 2023-12-13 08:35:26 +0100 | <lambdabot> | [[0,3,6],[1,4,7],[2,5,8]] |
| 2023-12-13 08:35:51 +0100 | <danza> | what did you refer to with "it's not the streamer [...] something darker"? Inst |
| 2023-12-13 08:38:47 +0100 | Inst | (~Inst@129.126.215.52) (Remote host closed the connection) |
| 2023-12-13 08:39:11 +0100 | Inst | (~Inst@129.126.215.52) |
| 2023-12-13 08:47:58 +0100 | todi | (~todi@p5dca55c4.dip0.t-ipconnect.de) |
| 2023-12-13 08:49:38 +0100 | <danza> | what did you refer to with "it's not the streamer [...] something darker"? Inst (repeating because i think your connection was down) |
| 2023-12-13 08:53:26 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2023-12-13 08:56:29 +0100 | finsternis | (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 2023-12-13 09:04:45 +0100 | danza | (~danza@151.37.248.30) (Ping timeout: 268 seconds) |
| 2023-12-13 09:07:16 +0100 | Inst | (~Inst@129.126.215.52) (Ping timeout: 276 seconds) |
| 2023-12-13 09:07:41 +0100 | akegalj_ | (~akegalj@89-164-125-9.dsl.iskon.hr) |
| 2023-12-13 09:09:39 +0100 | akegalj | (~akegalj@89-164-125-9.dsl.iskon.hr) (Ping timeout: 256 seconds) |
| 2023-12-13 09:14:47 +0100 | akegalj | (~akegalj@89-164-125-9.dsl.iskon.hr) |
| 2023-12-13 09:18:14 +0100 | akegalj_ | (~akegalj@89-164-125-9.dsl.iskon.hr) (Ping timeout: 260 seconds) |
| 2023-12-13 09:23:24 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2023-12-13 09:25:43 +0100 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 268 seconds) |
| 2023-12-13 09:26:45 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
| 2023-12-13 09:29:06 +0100 | euleritian | (~euleritia@dynamic-046-114-201-065.46.114.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2023-12-13 09:29:15 +0100 | euleritian | (~euleritia@dynamic-046-114-206-233.46.114.pool.telefonica.de) |
| 2023-12-13 09:35:49 +0100 | CiaoSen | (~Jura@2a05:5800:283:6400:ca4b:d6ff:fec1:99da) |
| 2023-12-13 09:36:12 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-12-13 09:40:18 +0100 | Igloo | (~ian@matrix.chaos.earth.li) (Ping timeout: 256 seconds) |
| 2023-12-13 09:40:26 +0100 | Igloo | (~ian@matrix.chaos.earth.li) |
| 2023-12-13 09:40:30 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-12-13 09:46:29 +0100 | dhil | (~dhil@2001:8e0:2014:3100:706c:432e:aa50:9843) |
| 2023-12-13 09:48:57 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:21a7:e3e2:1963:5573) (Remote host closed the connection) |
| 2023-12-13 09:52:15 +0100 | danza | (~danza@151.47.248.114) |
| 2023-12-13 09:53:25 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 276 seconds) |
| 2023-12-13 09:54:43 +0100 | ricardo1 | (~ricardo@84.16.179.218) |
| 2023-12-13 10:02:01 +0100 | danza | (~danza@151.47.248.114) (Ping timeout: 245 seconds) |
| 2023-12-13 10:02:40 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2023-12-13 10:04:35 +0100 | gmg | (~user@user/gehmehgeh) |
| 2023-12-13 10:06:56 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2023-12-13 10:09:28 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 255 seconds) |
| 2023-12-13 10:14:08 +0100 | danse-nr3 | (~danse@151.47.248.114) |
| 2023-12-13 10:14:46 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-12-13 10:15:55 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-12-13 10:16:23 +0100 | phma | (phma@2001:5b0:211c:d228:5342:e754:aa9:bcd5) (Read error: Connection reset by peer) |
| 2023-12-13 10:17:30 +0100 | phma | (phma@2001:5b0:210f:1c58:794a:9822:66f3:ee9) |
| 2023-12-13 10:20:12 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:21a7:e3e2:1963:5573) |
| 2023-12-13 10:21:19 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Remote host closed the connection) |
| 2023-12-13 10:21:42 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-12-13 10:23:21 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Remote host closed the connection) |
| 2023-12-13 10:23:44 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-12-13 10:24:41 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Client Quit) |
| 2023-12-13 10:25:46 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 245 seconds) |
| 2023-12-13 10:29:14 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-12-13 10:31:00 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-12-13 10:33:47 +0100 | __monty__ | (~toonn@user/toonn) |
| 2023-12-13 10:35:23 +0100 | mikess | (~sam@user/mikess) (Ping timeout: 264 seconds) |
| 2023-12-13 10:40:31 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:6a4a:4e65:9f38:1ca8) |
| 2023-12-13 10:44:50 +0100 | ft | (~ft@p4fc2ae2b.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-12-13 10:45:46 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-12-13 10:49:19 +0100 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-12-13 10:49:55 +0100 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-12-13 10:52:09 +0100 | chele | (~chele@user/chele) |
| 2023-12-13 11:04:57 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-12-13 11:05:54 +0100 | zetef | (~quassel@95.77.17.251) |
| 2023-12-13 11:08:28 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2023-12-13 11:08:52 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 255 seconds) |
| 2023-12-13 11:10:39 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2023-12-13 11:14:34 +0100 | nickiminjaj | (~nickiminj@188.146.121.4) |
| 2023-12-13 11:14:34 +0100 | nickiminjaj | (~nickiminj@188.146.121.4) (Changing host) |
| 2023-12-13 11:14:34 +0100 | nickiminjaj | (~nickiminj@user/laxhh) |
| 2023-12-13 11:14:56 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2023-12-13 11:17:44 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2023-12-13 11:18:04 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-12-13 11:18:31 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2023-12-13 11:21:00 +0100 | xxpor | (~xxpor@user/xxpor) (Ping timeout: 252 seconds) |
| 2023-12-13 11:21:01 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 2023-12-13 11:21:22 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-12-13 11:22:42 +0100 | Guest53 | (~Guest53@91.191.23.62) |
| 2023-12-13 11:22:46 +0100 | xxpor | (~xxpor@user/xxpor) |
| 2023-12-13 11:23:05 +0100 | nickiminjaj | (~nickiminj@user/laxhh) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-12-13 11:23:26 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-12-13 11:25:06 +0100 | Guest53 | (~Guest53@91.191.23.62) (Client Quit) |
| 2023-12-13 11:28:29 +0100 | mobivme | (~mobivme@112.201.111.217) (Remote host closed the connection) |
| 2023-12-13 11:29:09 +0100 | nickiminjaj | (~nickiminj@user/laxhh) |
| 2023-12-13 11:31:03 +0100 | nickiminjaj | (~nickiminj@user/laxhh) (Client Quit) |
| 2023-12-13 11:32:35 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2023-12-13 11:44:53 +0100 | nickiminjaj | (~nickiminj@user/laxhh) |
| 2023-12-13 11:45:40 +0100 | Core9733 | (~rosco@42.153.143.37) |
| 2023-12-13 11:46:43 +0100 | nickiminjaj | (~nickiminj@user/laxhh) (Client Quit) |
| 2023-12-13 11:47:43 +0100 | Core5463 | (~rosco@42.153.140.26) |
| 2023-12-13 11:49:08 +0100 | Core2998 | (~rosco@42.153.138.176) |
| 2023-12-13 11:49:24 +0100 | rosco | (~rosco@2001:e68:5411:21b:709e:ff04:8b05:a76c) (Ping timeout: 268 seconds) |
| 2023-12-13 11:49:41 +0100 | Core9733 | (~rosco@42.153.143.37) (Ping timeout: 240 seconds) |
| 2023-12-13 11:51:01 +0100 | yeiskomp | (~yeiskomp@176.254.244.83) (Ping timeout: 246 seconds) |
| 2023-12-13 11:52:11 +0100 | Core5463 | (~rosco@42.153.140.26) (Ping timeout: 264 seconds) |
| 2023-12-13 11:52:50 +0100 | nickiminjaj | (~nickiminj@188.146.121.4) |
| 2023-12-13 11:52:50 +0100 | nickiminjaj | (~nickiminj@188.146.121.4) (Changing host) |
| 2023-12-13 11:52:50 +0100 | nickiminjaj | (~nickiminj@user/laxhh) |
| 2023-12-13 11:54:45 +0100 | nickiminjaj | (~nickiminj@user/laxhh) (Client Quit) |
| 2023-12-13 11:58:20 +0100 | arkoinad | (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2023-12-13 12:00:48 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:aa35:dd6a:db0e:f331) |
| 2023-12-13 12:04:31 +0100 | CiaoSen | (~Jura@2a05:5800:283:6400:ca4b:d6ff:fec1:99da) (Ping timeout: 245 seconds) |
| 2023-12-13 12:04:38 +0100 | AndreasK | (sid320732@id-320732.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-12-13 12:04:46 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2023-12-13 12:06:24 +0100 | euleritian | (~euleritia@dynamic-046-114-206-233.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-12-13 12:06:42 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2023-12-13 12:09:10 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2023-12-13 12:12:11 +0100 | coot_ | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-12-13 12:12:35 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 264 seconds) |
| 2023-12-13 12:13:05 +0100 | coot_ | coot |
| 2023-12-13 12:13:57 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-12-13 12:15:54 +0100 | nahawand | (~nahawand@176.254.244.83) |
| 2023-12-13 12:16:09 +0100 | xff0x | (~xff0x@2405:6580:b080:900:3d4b:a7c1:9ee2:6814) |
| 2023-12-13 12:25:43 +0100 | rosco | (~rosco@42.153.128.9) |
| 2023-12-13 12:25:48 +0100 | nickiminjaj | (~nickiminj@188.146.121.4) |
| 2023-12-13 12:25:48 +0100 | nickiminjaj | (~nickiminj@188.146.121.4) (Changing host) |
| 2023-12-13 12:25:48 +0100 | nickiminjaj | (~nickiminj@user/laxhh) |
| 2023-12-13 12:26:18 +0100 | Core2998 | (~rosco@42.153.138.176) (Ping timeout: 260 seconds) |
| 2023-12-13 12:26:43 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-12-13 12:29:33 +0100 | nickiminjaj | (~nickiminj@user/laxhh) (Client Quit) |
| 2023-12-13 12:30:12 +0100 | rosco | (~rosco@42.153.128.9) (Client Quit) |
| 2023-12-13 12:31:09 +0100 | actioninja | (~actioninj@user/actioninja) (Quit: see ya mane) |
| 2023-12-13 12:36:03 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds) |
| 2023-12-13 12:43:06 +0100 | arkoinad | (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-12-13 12:43:19 +0100 | zetef | (~quassel@95.77.17.251) (Remote host closed the connection) |
| 2023-12-13 12:44:02 +0100 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:85cf:2f10:75d0:1ac9) (Ping timeout: 260 seconds) |
| 2023-12-13 12:46:00 +0100 | nickiminjaj | (~nickiminj@user/laxhh) |
| 2023-12-13 12:47:48 +0100 | nickiminjaj | (~nickiminj@user/laxhh) (Client Quit) |
| 2023-12-13 12:55:23 +0100 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:c769:b1a6:f76f:83d) |
| 2023-12-13 12:59:05 +0100 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 268 seconds) |
| 2023-12-13 13:00:13 +0100 | euleritian | (~euleritia@dynamic-046-114-206-233.46.114.pool.telefonica.de) |
| 2023-12-13 13:00:37 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 276 seconds) |
| 2023-12-13 13:00:55 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 2023-12-13 13:04:15 +0100 | euleritian | (~euleritia@dynamic-046-114-206-233.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-12-13 13:04:34 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2023-12-13 13:05:16 +0100 | Joao003 | (~Joao003@190.108.99.230) |
| 2023-12-13 13:05:19 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2023-12-13 13:06:18 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-12-13 13:06:22 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2023-12-13 13:09:43 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 240 seconds) |
| 2023-12-13 13:12:27 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-12-13 13:12:28 +0100 | CiaoSen | (~Jura@2a05:5800:283:6400:ca4b:d6ff:fec1:99da) |
| 2023-12-13 13:14:48 +0100 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:c769:b1a6:f76f:83d) (Ping timeout: 268 seconds) |
| 2023-12-13 13:17:02 +0100 | mikess | (~sam@user/mikess) |
| 2023-12-13 13:22:33 +0100 | AlexNoo | (~AlexNoo@178.34.162.199) (Read error: Connection reset by peer) |
| 2023-12-13 13:22:55 +0100 | AlexNoo | (~AlexNoo@178.34.162.199) |
| 2023-12-13 13:24:01 +0100 | nickiminjaj | (~nickiminj@188.146.121.4) |
| 2023-12-13 13:24:01 +0100 | nickiminjaj | (~nickiminj@188.146.121.4) (Changing host) |
| 2023-12-13 13:24:01 +0100 | nickiminjaj | (~nickiminj@user/laxhh) |
| 2023-12-13 13:29:36 +0100 | danse-nr3 | (~danse@151.47.248.114) (Ping timeout: 268 seconds) |
| 2023-12-13 13:33:41 +0100 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 245 seconds) |
| 2023-12-13 13:34:05 +0100 | euleritian | (~euleritia@dynamic-046-114-206-233.46.114.pool.telefonica.de) |
| 2023-12-13 13:39:27 +0100 | mikess | (~sam@user/mikess) (Ping timeout: 260 seconds) |
| 2023-12-13 13:44:07 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 260 seconds) |
| 2023-12-13 13:44:25 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:6a4a:4e65:9f38:1ca8) (Ping timeout: 246 seconds) |
| 2023-12-13 13:48:21 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2023-12-13 13:48:39 +0100 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
| 2023-12-13 14:00:42 +0100 | edr | (~edr@user/edr) |
| 2023-12-13 14:03:01 +0100 | xff0x | (~xff0x@2405:6580:b080:900:3d4b:a7c1:9ee2:6814) (Ping timeout: 255 seconds) |
| 2023-12-13 14:04:06 +0100 | danse-nr3 | (~danse@151.57.236.15) |
| 2023-12-13 14:05:07 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2023-12-13 14:05:08 +0100 | xff0x | (~xff0x@ai085147.d.east.v6connect.net) |
| 2023-12-13 14:05:37 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-12-13 14:06:59 +0100 | danse-nr3 | (~danse@151.57.236.15) (Remote host closed the connection) |
| 2023-12-13 14:07:23 +0100 | danse-nr3 | (~danse@151.57.236.15) |
| 2023-12-13 14:08:10 +0100 | nickiminjaj | (~nickiminj@user/laxhh) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-12-13 14:14:38 +0100 | euleritian | (~euleritia@dynamic-046-114-206-233.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-12-13 14:14:46 +0100 | Inst | (~Inst@129.126.215.52) |
| 2023-12-13 14:14:55 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-12-13 14:21:21 +0100 | dispater- | (~dispater@mail.brprice.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-12-13 14:21:21 +0100 | orcus | (~orcus@mail.brprice.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-12-13 14:23:06 +0100 | dispater | (~dispater@mail.brprice.uk) |
| 2023-12-13 14:23:36 +0100 | orcus | (~orcus@mail.brprice.uk) |
| 2023-12-13 14:23:37 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:758:f9b3:d025:26bb) |
| 2023-12-13 14:24:31 +0100 | nickiminjaj | (~nickiminj@188.146.121.4) |
| 2023-12-13 14:24:31 +0100 | nickiminjaj | (~nickiminj@188.146.121.4) (Changing host) |
| 2023-12-13 14:24:31 +0100 | nickiminjaj | (~nickiminj@user/laxhh) |
| 2023-12-13 14:25:25 +0100 | kuribas | (~user@ptr-17d51eo8wtq6h7gqwo0.18120a2.ip6.access.telenet.be) |
| 2023-12-13 14:29:22 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-12-13 14:29:31 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-12-13 14:35:02 +0100 | rosco | (~rosco@42.153.128.9) |
| 2023-12-13 14:35:02 +0100 | rosco | (~rosco@42.153.128.9) (Client Quit) |
| 2023-12-13 14:35:23 +0100 | rosco | (~rosco@42.153.128.9) |
| 2023-12-13 14:40:06 +0100 | dispater | (~dispater@mail.brprice.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-12-13 14:40:06 +0100 | orcus | (~orcus@mail.brprice.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-12-13 14:40:50 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2023-12-13 14:43:13 +0100 | dispater | (~dispater@mail.brprice.uk) |
| 2023-12-13 14:43:28 +0100 | dispater | (~dispater@mail.brprice.uk) (Client Quit) |
| 2023-12-13 14:45:14 +0100 | dispater | (~dispater@mail.brprice.uk) |
| 2023-12-13 14:45:44 +0100 | orcus | (~orcus@mail.brprice.uk) |
| 2023-12-13 14:47:01 +0100 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2023-12-13 14:55:53 +0100 | hasevil | (~hasevil@host-138-37-254-126.qmul.ac.uk) |
| 2023-12-13 14:57:48 +0100 | igemnace | (~ian@user/igemnace) |
| 2023-12-13 14:58:06 +0100 | <hasevil> | Hey guys, Is there a way to selectively insert values in a list of a custom type from another list of custom types. |
| 2023-12-13 14:58:11 +0100 | <hasevil> | WIP code https://paste.tomsmeding.com/aJC39Oow |
| 2023-12-13 14:58:12 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3241-bb55-cd5d-3ba7-e22e-8475.rev.sfr.net) |
| 2023-12-13 14:58:53 +0100 | dwt_ | (~dwt_@2601:2c6:8381:e5c:945:c021:4cfd:54e5) |
| 2023-12-13 15:00:00 +0100 | <carbolymer> | but do you want to get them out later? |
| 2023-12-13 15:00:25 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:758:f9b3:d025:26bb) (Ping timeout: 256 seconds) |
| 2023-12-13 15:02:10 +0100 | dwt__ | (~dwt_@2601:2c6:8381:e5c:186c:2b2e:4114:8cc0) (Ping timeout: 260 seconds) |
| 2023-12-13 15:06:02 +0100 | <hasevil> | carbolymer: ? |
| 2023-12-13 15:06:42 +0100 | nickiminjaj | (~nickiminj@user/laxhh) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-12-13 15:07:51 +0100 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-12-13 15:10:46 +0100 | Inst | (~Inst@129.126.215.52) (Ping timeout: 245 seconds) |
| 2023-12-13 15:11:51 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2023-12-13 15:12:27 +0100 | xigua | (~xigua@user/xigua) (Remote host closed the connection) |
| 2023-12-13 15:12:39 +0100 | euleritian | (~euleritia@dynamic-046-114-206-233.46.114.pool.telefonica.de) |
| 2023-12-13 15:12:56 +0100 | xigua | (~xigua@user/xigua) |
| 2023-12-13 15:15:46 +0100 | CiaoSen | (~Jura@2a05:5800:283:6400:ca4b:d6ff:fec1:99da) (Ping timeout: 245 seconds) |
| 2023-12-13 15:18:02 +0100 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.1.1) |
| 2023-12-13 15:18:55 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 240 seconds) |
| 2023-12-13 15:19:45 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-12-13 15:21:19 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-12-13 15:22:01 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 245 seconds) |
| 2023-12-13 15:22:36 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2023-12-13 15:22:48 +0100 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-12-13 15:24:55 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 2023-12-13 15:26:24 +0100 | Inst | (~Inst@129.126.215.52) |
| 2023-12-13 15:27:03 +0100 | nickiminjaj | (~nickiminj@user/laxhh) |
| 2023-12-13 15:30:19 +0100 | hasevil | (~hasevil@host-138-37-254-126.qmul.ac.uk) (Ping timeout: 255 seconds) |
| 2023-12-13 15:33:45 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-12-13 15:42:30 +0100 | cheater | (~Username@user/cheater) |
| 2023-12-13 15:44:29 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 15:48:19 +0100 | qqq | (~qqq@92.43.167.61) (Ping timeout: 276 seconds) |
| 2023-12-13 15:50:56 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 2023-12-13 15:51:10 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 15:51:18 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 15:51:22 +0100 | Inst_ | (~Inst@129.126.215.52) |
| 2023-12-13 15:53:51 +0100 | Inst | (~Inst@129.126.215.52) (Ping timeout: 260 seconds) |
| 2023-12-13 15:58:47 +0100 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 264 seconds) |
| 2023-12-13 15:59:28 +0100 | qqq | (~qqq@92.43.167.61) |
| 2023-12-13 16:01:41 +0100 | thegeekinside | (~thegeekin@189.217.90.224) (Remote host closed the connection) |
| 2023-12-13 16:06:31 +0100 | waleee | (~waleee@h-176-10-144-38.na.cust.bahnhof.se) |
| 2023-12-13 16:15:08 +0100 | nickiminjaj | (~nickiminj@user/laxhh) (Quit: Textual IRC Client: www.textualapp.com) |
| 2023-12-13 16:16:43 +0100 | zetef | (~quassel@95.77.17.251) |
| 2023-12-13 16:28:58 +0100 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-12-13 16:29:59 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2023-12-13 16:30:18 +0100 | thegeekinside | (~thegeekin@189.217.90.224) (Remote host closed the connection) |
| 2023-12-13 16:32:34 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-12-13 16:32:56 +0100 | euleritian | (~euleritia@dynamic-046-114-206-233.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-12-13 16:33:52 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-12-13 16:35:13 +0100 | danse-nr3 | (~danse@151.57.236.15) (Ping timeout: 246 seconds) |
| 2023-12-13 16:36:03 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-12-13 16:39:25 +0100 | liamzy__ | (~Inst@129.126.215.52) |
| 2023-12-13 16:40:18 +0100 | danse-nr3 | (~danse@151.57.236.15) |
| 2023-12-13 16:41:59 +0100 | Inst_ | (~Inst@129.126.215.52) (Ping timeout: 256 seconds) |
| 2023-12-13 16:43:31 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3241-bb55-cd5d-3ba7-e22e-8475.rev.sfr.net) (Remote host closed the connection) |
| 2023-12-13 16:43:51 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3241-bb55-cd5d-3ba7-e22e-8475.rev.sfr.net) |
| 2023-12-13 16:46:11 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 2023-12-13 16:46:18 +0100 | nickiminjaj | (~nickiminj@user/laxhh) |
| 2023-12-13 16:47:12 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 16:51:33 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 252 seconds) |
| 2023-12-13 16:51:37 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 256 seconds) |
| 2023-12-13 16:53:12 +0100 | liamzy__ | (~Inst@129.126.215.52) (Ping timeout: 252 seconds) |
| 2023-12-13 16:54:57 +0100 | akegalj | (~akegalj@89-164-125-9.dsl.iskon.hr) (Ping timeout: 268 seconds) |
| 2023-12-13 16:55:05 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
| 2023-12-13 16:57:35 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2023-12-13 16:57:42 +0100 | euleritian | (~euleritia@dynamic-046-114-206-233.46.114.pool.telefonica.de) |
| 2023-12-13 16:59:42 +0100 | fendor | (~fendor@2a02:8388:1605:d100:6189:ab4:a618:faec) |
| 2023-12-13 17:00:28 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 276 seconds) |
| 2023-12-13 17:03:43 +0100 | xxpor | (~xxpor@user/xxpor) (Ping timeout: 276 seconds) |
| 2023-12-13 17:05:08 +0100 | xxpor | (~xxpor@user/xxpor) |
| 2023-12-13 17:05:32 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2023-12-13 17:07:07 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 17:08:08 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 17:13:56 +0100 | <haskellbridge> | 12<Celestial> you can match on your list like `[str1, str2, str3]`, which would make the code a lot cleaner for a start |
| 2023-12-13 17:14:19 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Read error: Connection reset by peer) |
| 2023-12-13 17:14:48 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 17:17:05 +0100 | euleritian | (~euleritia@dynamic-046-114-206-233.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-12-13 17:17:24 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-12-13 17:17:35 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-12-13 17:18:26 +0100 | nickiminjaj | (~nickiminj@user/laxhh) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-12-13 17:18:28 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-12-13 17:20:11 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 260 seconds) |
| 2023-12-13 17:20:46 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 260 seconds) |
| 2023-12-13 17:22:08 +0100 | Inst | (~Inst@129.126.215.52) |
| 2023-12-13 17:26:49 +0100 | akegalj | (~akegalj@95.168.101.194) |
| 2023-12-13 17:28:36 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:d089:d9f6:fddd:8cbc) |
| 2023-12-13 17:32:03 +0100 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2023-12-13 17:33:47 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 17:34:00 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 17:34:41 +0100 | akegalj | (~akegalj@95.168.101.194) (Ping timeout: 256 seconds) |
| 2023-12-13 17:34:46 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-12-13 17:35:28 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-12-13 17:35:35 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-12-13 17:36:19 +0100 | gmg | (~user@user/gehmehgeh) |
| 2023-12-13 17:37:11 +0100 | nickiminjaj | (~nickiminj@188.146.121.4) |
| 2023-12-13 17:37:11 +0100 | nickiminjaj | (~nickiminj@188.146.121.4) (Changing host) |
| 2023-12-13 17:37:11 +0100 | nickiminjaj | (~nickiminj@user/laxhh) |
| 2023-12-13 17:37:52 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-12-13 17:37:55 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2023-12-13 17:42:42 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 252 seconds) |
| 2023-12-13 17:43:03 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 268 seconds) |
| 2023-12-13 17:43:44 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:21a7:e3e2:1963:5573) (Remote host closed the connection) |
| 2023-12-13 17:43:59 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c0d1:ef99:e080:d9) |
| 2023-12-13 17:44:52 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 17:44:54 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2023-12-13 17:45:46 +0100 | waleee | (~waleee@h-176-10-144-38.na.cust.bahnhof.se) (Ping timeout: 245 seconds) |
| 2023-12-13 17:45:55 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 17:46:53 +0100 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-12-13 17:48:20 +0100 | nickiminjaj | (~nickiminj@user/laxhh) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-12-13 17:50:05 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 240 seconds) |
| 2023-12-13 17:50:46 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 268 seconds) |
| 2023-12-13 17:54:58 +0100 | nickiminjaj | (~nickiminj@user/laxhh) |
| 2023-12-13 17:59:40 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-12-13 18:02:23 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 264 seconds) |
| 2023-12-13 18:02:50 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 18:03:58 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 18:06:13 +0100 | danse-nr3 | (~danse@151.57.236.15) (Ping timeout: 246 seconds) |
| 2023-12-13 18:07:05 +0100 | danse-nr3 | (~danse@151.19.224.159) |
| 2023-12-13 18:08:38 +0100 | Inst_ | (~Inst@129.126.215.52) |
| 2023-12-13 18:08:48 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c0d1:ef99:e080:d9) (Remote host closed the connection) |
| 2023-12-13 18:09:06 +0100 | AlexZenon | (~alzenon@178.34.162.199) (Ping timeout: 252 seconds) |
| 2023-12-13 18:09:21 +0100 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2023-12-13 18:10:31 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds) |
| 2023-12-13 18:10:49 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 256 seconds) |
| 2023-12-13 18:11:23 +0100 | Inst | (~Inst@129.126.215.52) (Ping timeout: 264 seconds) |
| 2023-12-13 18:12:55 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds) |
| 2023-12-13 18:13:40 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 18:15:13 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 18:15:15 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2023-12-13 18:15:28 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2023-12-13 18:15:29 +0100 | euleritian | (~euleritia@dynamic-046-114-206-233.46.114.pool.telefonica.de) |
| 2023-12-13 18:19:22 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 256 seconds) |
| 2023-12-13 18:19:42 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-12-13 18:19:55 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 260 seconds) |
| 2023-12-13 18:21:29 +0100 | aruns | (~aruns@user/aruns) |
| 2023-12-13 18:26:59 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 18:27:10 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-12-13 18:27:29 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 18:29:35 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-12-13 18:30:25 +0100 | AlexZenon | (~alzenon@178.34.162.199) |
| 2023-12-13 18:33:33 +0100 | evj | (~evj@206.174.176.219) |
| 2023-12-13 18:35:23 +0100 | danse-nr3 | (~danse@151.19.224.159) (Ping timeout: 264 seconds) |
| 2023-12-13 18:35:36 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3241-bb55-cd5d-3ba7-e22e-8475.rev.sfr.net) (Remote host closed the connection) |
| 2023-12-13 18:35:56 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3241-bb55-cd5d-3ba7-e22e-8475.rev.sfr.net) |
| 2023-12-13 18:40:50 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-12-13 18:42:20 +0100 | evj | (~evj@206.174.176.219) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2023-12-13 18:42:26 +0100 | nickiminjaj | (~nickiminj@user/laxhh) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-12-13 18:43:32 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c0d1:ef99:e080:d9) |
| 2023-12-13 18:43:55 +0100 | evj | (~evj@206.174.176.219) |
| 2023-12-13 18:47:40 +0100 | evj | (~evj@206.174.176.219) (Client Quit) |
| 2023-12-13 18:49:01 +0100 | Core3973 | (~rosco@42.153.129.114) |
| 2023-12-13 18:50:12 +0100 | nickiminjaj | (~nickiminj@user/laxhh) |
| 2023-12-13 18:50:27 +0100 | Core3973 | (~rosco@42.153.129.114) (Client Quit) |
| 2023-12-13 18:50:43 +0100 | rosco | (~rosco@42.153.128.9) (Ping timeout: 260 seconds) |
| 2023-12-13 18:52:15 +0100 | nickiminjaj | (~nickiminj@user/laxhh) (Client Quit) |
| 2023-12-13 18:55:11 +0100 | tomku | (~tomku@user/tomku) (Ping timeout: 264 seconds) |
| 2023-12-13 18:55:11 +0100 | evj | (~evj@206.174.176.219) |
| 2023-12-13 18:55:37 +0100 | tomku | (~tomku@user/tomku) |
| 2023-12-13 18:56:23 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-12-13 18:56:39 +0100 | evj | (~evj@206.174.176.219) (Client Quit) |
| 2023-12-13 18:57:12 +0100 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-49-67-70-103-21.dsl.bell.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-12-13 18:57:29 +0100 | Inst_ | (~Inst@129.126.215.52) (Remote host closed the connection) |
| 2023-12-13 18:57:31 +0100 | pieguy128 | (~pieguy128@67.70.103.21) |
| 2023-12-13 18:58:52 +0100 | euleritian | (~euleritia@dynamic-046-114-206-233.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-12-13 18:59:09 +0100 | Putonlalla | (~Putonlall@it-cyan.it.jyu.fi) (Ping timeout: 252 seconds) |
| 2023-12-13 18:59:10 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-12-13 18:59:13 +0100 | nickiminjaj | (~nickiminj@188.146.121.4) |
| 2023-12-13 18:59:13 +0100 | nickiminjaj | (~nickiminj@188.146.121.4) (Changing host) |
| 2023-12-13 18:59:13 +0100 | nickiminjaj | (~nickiminj@user/laxhh) |
| 2023-12-13 19:00:03 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:aa35:dd6a:db0e:f331) (Remote host closed the connection) |
| 2023-12-13 19:01:38 +0100 | danza | (~danza@151.19.224.159) |
| 2023-12-13 19:01:57 +0100 | __monty__ | (~toonn@user/toonn) (Ping timeout: 256 seconds) |
| 2023-12-13 19:02:28 +0100 | __monty__ | (~toonn@user/toonn) |
| 2023-12-13 19:02:31 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c0d1:ef99:e080:d9) (Remote host closed the connection) |
| 2023-12-13 19:02:37 +0100 | evj | (~evj@206.174.176.219) |
| 2023-12-13 19:04:59 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c0d1:ef99:e080:d9) |
| 2023-12-13 19:08:43 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-12-13 19:09:34 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2023-12-13 19:10:09 +0100 | euleritian | (~euleritia@dynamic-046-114-206-233.46.114.pool.telefonica.de) |
| 2023-12-13 19:12:25 +0100 | kuribas | (~user@ptr-17d51eo8wtq6h7gqwo0.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2023-12-13 19:15:07 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c0d1:ef99:e080:d9) (Remote host closed the connection) |
| 2023-12-13 19:19:23 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:d089:d9f6:fddd:8cbc) (Ping timeout: 256 seconds) |
| 2023-12-13 19:20:10 +0100 | euleritian | (~euleritia@dynamic-046-114-206-233.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-12-13 19:20:16 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2023-12-13 19:20:28 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2023-12-13 19:21:14 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-12-13 19:21:49 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c0d1:ef99:e080:d9) |
| 2023-12-13 19:26:07 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-12-13 19:26:33 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 2023-12-13 19:27:17 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 19:27:44 +0100 | mikess | (~sam@user/mikess) |
| 2023-12-13 19:31:11 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 245 seconds) |
| 2023-12-13 19:31:47 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 260 seconds) |
| 2023-12-13 19:32:47 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-12-13 19:38:25 +0100 | nickiminjaj | (~nickiminj@user/laxhh) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-12-13 19:39:17 +0100 | ft | (~ft@p4fc2ae2b.dip0.t-ipconnect.de) |
| 2023-12-13 19:45:01 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 19:45:21 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:bbf8:d7e7:a0fd:a7ff) |
| 2023-12-13 19:45:40 +0100 | iqubic | (~avi@2601:602:9502:c70:589:c039:227d:3881) (Remote host closed the connection) |
| 2023-12-13 19:45:53 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 19:46:50 +0100 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Ping timeout: 260 seconds) |
| 2023-12-13 19:47:07 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-13 19:50:05 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 240 seconds) |
| 2023-12-13 19:50:29 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 240 seconds) |
| 2023-12-13 19:52:46 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2023-12-13 19:52:54 +0100 | d34df00d | (~d34df00d@2600:1702:4f1b:7c10::43) |
| 2023-12-13 19:52:57 +0100 | <d34df00d> | Hi! |
| 2023-12-13 19:53:25 +0100 | <d34df00d> | How do I lens-golf a `Lens' a b` into a `Lens' (Maybe a) (Maybe b)`? Or a Getter instead of a Lens', if that's simpler. |
| 2023-12-13 19:53:34 +0100 | evj | (~evj@206.174.176.219) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2023-12-13 19:53:34 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-12-13 19:54:01 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c0d1:ef99:e080:d9) (Remote host closed the connection) |
| 2023-12-13 19:54:11 +0100 | evj | (~evj@206.174.176.219) |
| 2023-12-13 19:56:18 +0100 | <glguy> | > Just ('a','b') ^? folded . _2 |
| 2023-12-13 19:56:20 +0100 | <lambdabot> | Just 'b' |
| 2023-12-13 19:56:46 +0100 | <glguy> | > Just ('a','b') %~ mapped . _2 $ succ |
| 2023-12-13 19:56:48 +0100 | <lambdabot> | error: |
| 2023-12-13 19:56:48 +0100 | <lambdabot> | • Couldn't match type ‘Maybe (Char, Char)’ |
| 2023-12-13 19:56:48 +0100 | <lambdabot> | with ‘((a1 -> f1 b1) -> Identity (f0 a0 -> f1 (f0 b0))) |
| 2023-12-13 19:57:19 +0100 | <glguy> | It's been a while since I lensed |
| 2023-12-13 19:57:31 +0100 | <d34df00d> | I wish I didn't have to lens. |
| 2023-12-13 19:58:34 +0100 | <glguy> | > over (mapped . _2) succ (Just ('a','b')) |
| 2023-12-13 19:58:35 +0100 | <lambdabot> | Just ('a','c') |
| 2023-12-13 19:59:15 +0100 | <glguy> | ah! |
| 2023-12-13 19:59:15 +0100 | <glguy> | > mapped . _2 %~ succ $ Just ('a','b') |
| 2023-12-13 19:59:17 +0100 | <lambdabot> | Just ('a','c') |
| 2023-12-13 19:59:28 +0100 | <d34df00d> | gosh |
| 2023-12-13 19:59:45 +0100 | <d34df00d> | I only need to get the field anyway, so I'll probably stick with folded. |
| 2023-12-13 19:59:47 +0100 | <d34df00d> | and ^? |
| 2023-12-13 19:59:50 +0100 | <d34df00d> | Whatever that all means. |
| 2023-12-13 19:59:50 +0100 | <glguy> | but you can't quite get a lens because you couldn't replace the Nothing with some Just b and get a sensible Just a |
| 2023-12-13 20:01:09 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 20:01:28 +0100 | <ncf> | (note that that's `Lens' (Maybe a) b`, not `Lens' (Maybe a) (Maybe b)`) |
| 2023-12-13 20:02:34 +0100 | <d34df00d> | Eh. |
| 2023-12-13 20:02:55 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 20:03:40 +0100 | <d34df00d> | Yeah, doesn't type check. |
| 2023-12-13 20:03:53 +0100 | <ncf> | er, Fold' (Maybe a) b i guess |
| 2023-12-13 20:04:10 +0100 | <ncf> | or Traversal' (Maybe a) b if you use traversed |
| 2023-12-13 20:04:31 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds) |
| 2023-12-13 20:05:27 +0100 | <d34df00d> | So if I have `foo :: Lens' Env (Maybe Field)` and `bar :: Lens' Field Subfield`, how do I get a Getter (or something that can be passed to `view`, say) that'll take me from Env to Maybe Subfield? |
| 2023-12-13 20:05:27 +0100 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:c769:b1a6:f76f:83d) |
| 2023-12-13 20:06:55 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2023-12-13 20:07:39 +0100 | <ncf> | one way is to do foo.folded.bar as glguy suggested, which gets you a Fold' Env Subfield, from which you can get a function Env -> Maybe Subfield using `preview` |
| 2023-12-13 20:07:58 +0100 | Guest40 | (~Guest40@2401:4900:1cb8:c5b:c8df:fb65:915b:3258) |
| 2023-12-13 20:08:44 +0100 | <kaol> | https://github.com/frasertweedale/hs-jose/pull/120 I wrote some Haskell. We needed JWE support at work and I had spare time to expand on it. |
| 2023-12-13 20:08:50 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 260 seconds) |
| 2023-12-13 20:08:53 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-12-13 20:09:37 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 276 seconds) |
| 2023-12-13 20:09:47 +0100 | <d34df00d> | Ah, preview was missing! |
| 2023-12-13 20:10:02 +0100 | nickiminjaj | (~nickiminj@user/laxhh) |
| 2023-12-13 20:10:25 +0100 | Guest40 | (~Guest40@2401:4900:1cb8:c5b:c8df:fb65:915b:3258) (Client Quit) |
| 2023-12-13 20:13:22 +0100 | <d34df00d> | ncf: glguy: thank you folks. |
| 2023-12-13 20:14:42 +0100 | <haskellbridge> | 12<Celestial> (I don't know anything about lenses really, so please excuse my ignorance) |
| 2023-12-13 20:14:42 +0100 | <haskellbridge> | 12<Celestial> is there not some way to "combine" these using something like `view bar <$> view foo`? |
| 2023-12-13 20:15:05 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 20:15:35 +0100 | <ncf> | d34df00d: another way is foo.pre(folded.bar), which gets you a Getter' Env (Maybe Subfield) which you can use with (^.) |
| 2023-12-13 20:16:04 +0100 | <monochrom> | kaol: Methinks they missed the opportunity of naming it "hose" instead of "jose". >:) |
| 2023-12-13 20:16:53 +0100 | <d34df00d> | I really really need to catch up on lenses, especially since the code base I'm working on rn relies on them somewhat. |
| 2023-12-13 20:17:02 +0100 | <ncf> | another way is what Celestial suggests, i.e. just get the field and then fmap your other getter on it |
| 2023-12-13 20:17:12 +0100 | <kaol> | It wouldn't be doing favors for discoverability. Several other languages have libraries that have jose in their names. |
| 2023-12-13 20:17:21 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 20:17:40 +0100 | <monochrom> | :( |
| 2023-12-13 20:17:54 +0100 | <kaol> | Yeah, I'm no fun. |
| 2023-12-13 20:20:33 +0100 | Putonlalla | (~Putonlall@it-cyan.it.jyu.fi) |
| 2023-12-13 20:21:41 +0100 | <kaol> | I'm a bit surprised that nobody else had yet had a go at adding JWE support. But I guess open source means that sometimes that someone just has to be you. |
| 2023-12-13 20:21:55 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds) |
| 2023-12-13 20:22:02 +0100 | <monochrom> | Yeah absolutely. |
| 2023-12-13 20:22:19 +0100 | <monochrom> | Well, under the volunteer model. |
| 2023-12-13 20:22:20 +0100 | <kaol> | https://xkcd.com/2347/ |
| 2023-12-13 20:22:37 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 276 seconds) |
| 2023-12-13 20:23:27 +0100 | harshmahajan | (~harshmaha@2401:4900:1cb8:c5b:c8df:fb65:915b:3258) |
| 2023-12-13 20:23:45 +0100 | <monochrom> | You know, the corporate model suffers the equivalent problem one-company-going-bust-collapses-everything. |
| 2023-12-13 20:24:40 +0100 | harshmahajan | (~harshmaha@2401:4900:1cb8:c5b:c8df:fb65:915b:3258) (Client Quit) |
| 2023-12-13 20:24:43 +0100 | nickiminjaj | (~nickiminj@user/laxhh) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-12-13 20:25:59 +0100 | nickiminjaj | (~nickiminj@188.146.121.4) |
| 2023-12-13 20:25:59 +0100 | nickiminjaj | (~nickiminj@188.146.121.4) (Changing host) |
| 2023-12-13 20:25:59 +0100 | nickiminjaj | (~nickiminj@user/laxhh) |
| 2023-12-13 20:27:28 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c0d1:ef99:e080:d9) |
| 2023-12-13 20:27:42 +0100 | rosco | (~rosco@42.153.128.116) |
| 2023-12-13 20:29:10 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 20:30:10 +0100 | araujo | (~araujo@45.146.54.162) (Ping timeout: 268 seconds) |
| 2023-12-13 20:30:27 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 20:31:23 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Ping timeout: 255 seconds) |
| 2023-12-13 20:33:26 +0100 | araujo | (~araujo@45.131.194.36) |
| 2023-12-13 20:33:50 +0100 | nickiminjaj | (~nickiminj@user/laxhh) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-12-13 20:34:17 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c0d1:ef99:e080:d9) (Remote host closed the connection) |
| 2023-12-13 20:34:32 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c0d1:ef99:e080:d9) |
| 2023-12-13 20:36:11 +0100 | nickiminjaj | (~nickiminj@user/laxhh) |
| 2023-12-13 20:36:49 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) |
| 2023-12-13 20:38:23 +0100 | danza | (~danza@151.19.224.159) (Ping timeout: 264 seconds) |
| 2023-12-13 20:39:55 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 260 seconds) |
| 2023-12-13 20:39:59 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 256 seconds) |
| 2023-12-13 20:42:58 +0100 | rosco | (~rosco@42.153.128.116) (Quit: Gotta go.) |
| 2023-12-13 20:45:10 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 20:47:23 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-12-13 20:47:38 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 20:49:43 +0100 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 260 seconds) |
| 2023-12-13 20:49:54 +0100 | euleritian | (~euleritia@dynamic-046-114-107-160.46.114.pool.telefonica.de) |
| 2023-12-13 20:53:23 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 264 seconds) |
| 2023-12-13 20:53:46 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 20:54:02 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 260 seconds) |
| 2023-12-13 20:54:10 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-12-13 20:54:13 +0100 | nickiminjaj | (~nickiminj@user/laxhh) (Read error: Connection reset by peer) |
| 2023-12-13 20:54:39 +0100 | nickiminjaj | (~nickiminj@188.146.121.4) |
| 2023-12-13 20:54:39 +0100 | nickiminjaj | (~nickiminj@188.146.121.4) (Changing host) |
| 2023-12-13 20:54:39 +0100 | nickiminjaj | (~nickiminj@user/laxhh) |
| 2023-12-13 20:55:09 +0100 | euleritian | (~euleritia@dynamic-046-114-107-160.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-12-13 20:55:10 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2023-12-13 20:55:26 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-12-13 20:57:29 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-12-13 21:00:03 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 21:05:21 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 245 seconds) |
| 2023-12-13 21:06:47 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c0d1:ef99:e080:d9) (Remote host closed the connection) |
| 2023-12-13 21:08:33 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection) |
| 2023-12-13 21:08:37 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 21:08:54 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2023-12-13 21:09:47 +0100 | nickiminjaj | (~nickiminj@user/laxhh) (Quit: Textual IRC Client: www.textualapp.com) |
| 2023-12-13 21:11:49 +0100 | zetef | (~quassel@95.77.17.251) |
| 2023-12-13 21:11:50 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c0d1:ef99:e080:d9) |
| 2023-12-13 21:13:11 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 264 seconds) |
| 2023-12-13 21:13:20 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 268 seconds) |
| 2023-12-13 21:15:15 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 21:16:26 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 21:17:15 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:bbf8:d7e7:a0fd:a7ff) (Ping timeout: 256 seconds) |
| 2023-12-13 21:20:59 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 264 seconds) |
| 2023-12-13 21:21:13 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 256 seconds) |
| 2023-12-13 21:22:35 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c0d1:ef99:e080:d9) (Remote host closed the connection) |
| 2023-12-13 21:25:42 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-12-13 21:26:46 +0100 | <ggVGc> | what is haskellbridge bridging with? |
| 2023-12-13 21:27:00 +0100 | <geekosaur> | #haskell-irc:matrix.org |
| 2023-12-13 21:27:03 +0100 | <ggVGc> | Haven't kpt up with the times |
| 2023-12-13 21:27:06 +0100 | <ggVGc> | ah, right, makes sense |
| 2023-12-13 21:27:27 +0100 | <ggVGc> | Was hoping it wasn't a discord channel... |
| 2023-12-13 21:27:59 +0100 | <geekosaur> | yeh, I'm only doing matrix, at least so far |
| 2023-12-13 21:28:22 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 21:29:41 +0100 | mobivme | (~mobivme@112.201.111.217) |
| 2023-12-13 21:33:10 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 256 seconds) |
| 2023-12-13 21:34:35 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2023-12-13 21:37:45 +0100 | CiaoSen | (~Jura@2a05:5800:283:6400:ca4b:d6ff:fec1:99da) |
| 2023-12-13 21:40:23 +0100 | <haskellbridge> | 12<Celestial> hello from matrix side :) |
| 2023-12-13 21:43:06 +0100 | Square | (~Square@user/square) |
| 2023-12-13 21:44:20 +0100 | __monty_1 | (~toonn@user/toonn) |
| 2023-12-13 21:45:20 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 21:45:36 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 21:46:20 +0100 | __monty__ | (~toonn@user/toonn) (Ping timeout: 268 seconds) |
| 2023-12-13 21:49:07 +0100 | <EvanR> | operator here, we're working on getting you out of the matrix |
| 2023-12-13 21:49:46 +0100 | <monochrom> | hee hee |
| 2023-12-13 21:50:37 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-12-13 21:50:46 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Remote host closed the connection) |
| 2023-12-13 21:50:57 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-12-13 21:51:38 +0100 | evj | (~evj@206.174.176.219) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2023-12-13 21:52:04 +0100 | <haskellbridge> | 12<Celestial> I will take the purple pill (im grinding the red and blue pills into dist and putting them back into one pill) |
| 2023-12-13 21:52:27 +0100 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-12-13 21:52:46 +0100 | <haskellbridge> | 12<Celestial> s/dist/dust |
| 2023-12-13 21:52:57 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 252 seconds) |
| 2023-12-13 21:53:10 +0100 | <monochrom> | Um that should give you two pills... |
| 2023-12-13 21:53:19 +0100 | evj | (~evj@206.174.176.219) |
| 2023-12-13 21:53:30 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 252 seconds) |
| 2023-12-13 21:53:35 +0100 | <exarkun> | some always ends up on the floor |
| 2023-12-13 21:53:47 +0100 | <monochrom> | But I guess you can then run the Banach-Tarski theorem backwards and transform two into one. |
| 2023-12-13 21:54:07 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2023-12-13 21:54:35 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 264 seconds) |
| 2023-12-13 21:54:56 +0100 | <haskellbridge> | 12<Celestial> one big pill |
| 2023-12-13 21:55:08 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c0d1:ef99:e080:d9) |
| 2023-12-13 21:55:18 +0100 | <dolio> | You can't run the Banach-Tarski theorem. :þ |
| 2023-12-13 21:55:48 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-13 21:56:40 +0100 | <monochrom> | But I think a better pun would be to continue the matrix...operator... line and make a superposed qubit pill (1/sqrt(2))red + (1/sqrt(2))blue. |
| 2023-12-13 21:57:44 +0100 | <monochrom> | "Grinding into dust is so classical and passe"... |
| 2023-12-13 21:58:03 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 268 seconds) |
| 2023-12-13 21:58:44 +0100 | zetef | (~quassel@5.2.182.98) |
| 2023-12-13 21:59:35 +0100 | biberu | (~biberu@user/biberu) |
| 2023-12-13 22:03:42 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 22:04:47 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 22:09:31 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 260 seconds) |
| 2023-12-13 22:09:38 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 260 seconds) |
| 2023-12-13 22:10:42 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-12-13 22:11:45 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 22:11:57 +0100 | evj | (~evj@206.174.176.219) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2023-12-13 22:15:23 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 22:15:30 +0100 | evj | (~evj@206.174.176.219) |
| 2023-12-13 22:15:55 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3241-bb55-cd5d-3ba7-e22e-8475.rev.sfr.net) (Remote host closed the connection) |
| 2023-12-13 22:16:14 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3241-bb55-cd5d-3ba7-e22e-8475.rev.sfr.net) |
| 2023-12-13 22:18:55 +0100 | evj | (~evj@206.174.176.219) (Client Quit) |
| 2023-12-13 22:19:21 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 252 seconds) |
| 2023-12-13 22:20:20 +0100 | evj | (~evj@206.174.176.219) |
| 2023-12-13 22:21:02 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3241-bb55-cd5d-3ba7-e22e-8475.rev.sfr.net) (Remote host closed the connection) |
| 2023-12-13 22:21:04 +0100 | darchitect | (~darchitec@host86-191-124-92.range86-191.btcentralplus.com) (Quit: WeeChat 4.1.1) |
| 2023-12-13 22:23:04 +0100 | evj | (~evj@206.174.176.219) (Client Quit) |
| 2023-12-13 22:23:11 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-12-13 22:24:37 +0100 | evj | (~evj@206.174.176.219) |
| 2023-12-13 22:24:52 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 268 seconds) |
| 2023-12-13 22:26:40 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:39e7:96a1:5110:7e1) |
| 2023-12-13 22:26:51 +0100 | evj | (~evj@206.174.176.219) (Client Quit) |
| 2023-12-13 22:29:17 +0100 | apache2 | (apache2@anubis.0x90.dk) (Remote host closed the connection) |
| 2023-12-13 22:29:28 +0100 | apache2 | (apache2@anubis.0x90.dk) |
| 2023-12-13 22:29:31 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 22:31:45 +0100 | evj | (~evj@206.174.176.219) |
| 2023-12-13 22:32:21 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 22:36:01 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 256 seconds) |
| 2023-12-13 22:36:38 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 256 seconds) |
| 2023-12-13 22:37:55 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2023-12-13 22:45:29 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 22:46:01 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 22:48:22 +0100 | araujo | (~araujo@45.131.194.36) (Ping timeout: 260 seconds) |
| 2023-12-13 22:50:59 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 264 seconds) |
| 2023-12-13 22:51:28 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 276 seconds) |
| 2023-12-13 22:51:59 +0100 | waldo | (~waldo@user/waldo) (Quit: waldo) |
| 2023-12-13 22:53:27 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2023-12-13 22:54:37 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2023-12-13 22:54:58 +0100 | igemnace | (~ian@user/igemnace) |
| 2023-12-13 22:55:28 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 22:56:45 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 23:01:47 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2023-12-13 23:04:05 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 240 seconds) |
| 2023-12-13 23:04:59 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 252 seconds) |
| 2023-12-13 23:06:23 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-12-13 23:06:45 +0100 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2023-12-13 23:07:18 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 23:08:34 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-12-13 23:14:42 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2023-12-13 23:14:53 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 240 seconds) |
| 2023-12-13 23:15:33 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 23:16:20 +0100 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.1.1) |
| 2023-12-13 23:17:40 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 23:19:58 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-12-13 23:24:35 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 264 seconds) |
| 2023-12-13 23:24:39 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 260 seconds) |
| 2023-12-13 23:25:07 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-12-13 23:26:53 +0100 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:c769:b1a6:f76f:83d) (Ping timeout: 255 seconds) |
| 2023-12-13 23:27:11 +0100 | evj | (~evj@206.174.176.219) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2023-12-13 23:29:51 +0100 | bratwurst | (~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8) |
| 2023-12-13 23:29:56 +0100 | dhil | (~dhil@2001:8e0:2014:3100:706c:432e:aa50:9843) (Ping timeout: 268 seconds) |
| 2023-12-13 23:31:13 +0100 | __monty_1 | __monty__ |
| 2023-12-13 23:31:50 +0100 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
| 2023-12-13 23:32:42 +0100 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2023-12-13 23:33:33 +0100 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2023-12-13 23:33:41 +0100 | acidjnk_new | (~acidjnk@p200300d6e72b9355dc7c5b25c70fbc45.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-12-13 23:33:52 +0100 | aruns | (~aruns@user/aruns) (Ping timeout: 256 seconds) |
| 2023-12-13 23:43:45 +0100 | jargon | (~jargon@32.sub-174-238-226.myvzw.com) |
| 2023-12-13 23:44:28 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-12-13 23:45:30 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) |
| 2023-12-13 23:47:12 +0100 | EvanR | (~EvanR@user/evanr) |
| 2023-12-13 23:50:49 +0100 | bratwurst | (~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8) (Quit: Leaving) |
| 2023-12-13 23:52:30 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2023-12-13 23:53:07 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-12-13 23:54:46 +0100 | michalz | (~michalz@185.246.207.218) |
| 2023-12-13 23:55:06 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 260 seconds) |
| 2023-12-13 23:56:58 +0100 | acidjnk_new | (~acidjnk@p200300d6e72b9302dc7c5b25c70fbc45.dip0.t-ipconnect.de) |
| 2023-12-13 23:57:06 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-12-13 23:58:48 +0100 | michalz | (~michalz@185.246.207.218) (Client Quit) |
| 2023-12-13 23:58:55 +0100 | bratwurst | (~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8) |